Abstract
In software engineering, documentation and models are both broad concepts which attract varying approaches and attitudes. Moreover, as the title indicates, they overlap: in some circumstances, an artefact thought of as a model can serve to document a software project, while in others, an artefact thought of as a document can be manipulated by model-driven engineering tools just like any other kind of model. In this short paper we briefly explore these issues and provide pointers to some of the relevant literature.
Original language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II |
Editors | Tiziana Margaria, Bernhard Steffen |
Publisher | Springer, Cham |
Pages | 28-34 |
Number of pages | 7 |
ISBN (Electronic) | 978-3-031-19756-7 |
ISBN (Print) | 978-3-031-19755-0 |
DOIs | |
Publication status | Published - 17 Oct 2022 |
Event | 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 https://2022.isola-conference.org/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 13702 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Symposium
Symposium | 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
---|---|
Abbreviated title | ISOLA'22 |
Country/Territory | Greece |
Period | 22/10/22 → 30/10/22 |
Internet address |
Keywords
- documentation
- programming
- modelling