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