Forever software

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    1 Citation (Scopus)
    3 Downloads (Pure)

    Abstract

    Any attempt to explain software engineering to a lay audience soon falls back on analogy: building software is like building a bridge, a car, a television set. A large part of the established practice within software engineering is also based on this premise. However, the analogy is false in some important ways, and herein originate many of the problems that have bugged the software industry since its birth.
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    Subtitle of host publication6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1
    EditorsTiziana Margaria, Bernhard Steffen
    Place of PublicationBerlin
    PublisherSpringer
    Pages535-537
    Number of pages3
    ISBN (Electronic)978-3-662-45234-9
    ISBN (Print)978-3-662-45233-2
    DOIs
    Publication statusPublished - Oct 2014
    Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014 - Corfu, Greece
    Duration: 8 Oct 201411 Oct 2014
    Conference number: 6

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume8802
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014
    Abbreviated titleISOLA
    CountryGreece
    CityCorfu
    Period8/10/1411/10/14

    Keywords

    • EWI-25144
    • IR-93154
    • METIS-309596

    Fingerprint Dive into the research topics of 'Forever software'. Together they form a unique fingerprint.

  • Cite this

    Rensink, A. (2014). Forever software. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1 (pp. 535-537). (Lecture Notes in Computer Science; Vol. 8802). Berlin: Springer. https://doi.org/10.1007/978-3-662-45234-9