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 Verlag
Pages535-537
Number of pages3
ISBN (Electronic)978-3-662-45234-9
ISBN (Print)978-3-662-45233-2
DOIs
StatePublished - Oct 2014
Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014 - Corfu, Greece

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

Research output: ScientificConference contribution

@inbook{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",
isbn = "978-3-662-45233-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "535--537",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications",
address = "Germany",

}

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 Verlag, Berlin, pp. 535-537, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, Corfu, Greece, 8-11 October. DOI: 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 Verlag, 2014. p. 535-537 (Lecture Notes in Computer Science; Vol. 8802).

Research output: ScientificConference contribution

TY - CHAP

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

PB - Springer Verlag

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 Verlag. 2014. p. 535-537. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-662-45234-9