Models as documents, documents as models

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

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 languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer, Cham
Pages28-34
Number of pages7
ISBN (Electronic)978-3-031-19756-7
ISBN (Print)978-3-031-19755-0
DOIs
Publication statusPublished - 17 Oct 2022
Event11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
https://2022.isola-conference.org/

Publication series

NameLecture Notes in Computer Science
Volume13702
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Symposium

Symposium11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated titleISOLA'22
Country/TerritoryGreece
Period22/10/2230/10/22
Internet address

Keywords

  • documentation
  • programming
  • modelling

Fingerprint

Dive into the research topics of 'Models as documents, documents as models'. Together they form a unique fingerprint.

Cite this