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 language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
| Subtitle of host publication | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1 |
| Editors | Tiziana Margaria, Bernhard Steffen |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 535-537 |
| Number of pages | 3 |
| ISBN (Electronic) | 978-3-662-45234-9 |
| ISBN (Print) | 978-3-662-45233-2 |
| DOIs | |
| Publication status | Published - Oct 2014 |
| Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014 - Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014 Conference number: 6 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 8802 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014 |
|---|---|
| Abbreviated title | ISOLA |
| Country/Territory | Greece |
| City | Corfu |
| Period | 8/10/14 → 11/10/14 |
Keywords
- EWI-25144
- IR-93154
- METIS-309596