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

    Fingerprint

    Software engineering
    Television receivers
    Railroad cars
    Industry

    Keywords

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

    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
    Rensink, Arend. / Forever software. 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. editor / Tiziana Margaria ; Bernhard Steffen. Berlin : Springer, 2014. pp. 535-537 (Lecture Notes in Computer Science).
    @inproceedings{8893ae1e6bcb472fa1a35c08b085867c,
    title = "Forever software",
    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.",
    keywords = "EWI-25144, IR-93154, METIS-309596",
    author = "Arend Rensink",
    note = "Note: This position paper is included in the backmatter of the online LNCS volume",
    year = "2014",
    month = "10",
    doi = "10.1007/978-3-662-45234-9",
    language = "English",
    isbn = "978-3-662-45233-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "535--537",
    editor = "Tiziana Margaria and Bernhard Steffen",
    booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications",

    }

    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. Lecture Notes in Computer Science, vol. 8802, Springer, Berlin, pp. 535-537, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, Corfu, Greece, 8/10/14. https://doi.org/10.1007/978-3-662-45234-9

    Forever software. / Rensink, Arend.

    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. ed. / Tiziana Margaria; Bernhard Steffen. Berlin : Springer, 2014. p. 535-537 (Lecture Notes in Computer Science; Vol. 8802).

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

    TY - GEN

    T1 - Forever software

    AU - Rensink, Arend

    N1 - Note: This position paper is included in the backmatter of the online LNCS volume

    PY - 2014/10

    Y1 - 2014/10

    N2 - 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.

    AB - 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.

    KW - EWI-25144

    KW - IR-93154

    KW - METIS-309596

    U2 - 10.1007/978-3-662-45234-9

    DO - 10.1007/978-3-662-45234-9

    M3 - Conference contribution

    SN - 978-3-662-45233-2

    T3 - Lecture Notes in Computer Science

    SP - 535

    EP - 537

    BT - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    A2 - Margaria, Tiziana

    A2 - Steffen, Bernhard

    PB - Springer

    CY - Berlin

    ER -

    Rensink A. Forever software. In Margaria T, Steffen B, editors, 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. Berlin: Springer. 2014. p. 535-537. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-45234-9