TY - GEN
T1 - Software System Documentation
T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
AU - Broy, Manfred
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - Software systems, also those that are part of cyber-physical systems, are represented by data structures and code which are static, syntactic descriptions of complex dynamic behavior. They are complex technical entities, difficult to understand, difficult to develop, difficult to correct, to maintain, to use, to operate, to evolve, to market. For each of these tasks documentation is useful, helpful, and badly needed. In any case, when dealing with software systems, improving understanding and therefore documentation is a key issue. There is a wide range of properties of software systems that have to be described and a huge number of different documentation techniques. This defines the broad spectrum of documentation and also the wide range of documentation in use. To overcome the complexity of software systems and cyber-physical systems abstraction is a key concept. A very helpful and promising form of abstraction is by achieved by carefully selected models that can be used for documentation.
AB - Software systems, also those that are part of cyber-physical systems, are represented by data structures and code which are static, syntactic descriptions of complex dynamic behavior. They are complex technical entities, difficult to understand, difficult to develop, difficult to correct, to maintain, to use, to operate, to evolve, to market. For each of these tasks documentation is useful, helpful, and badly needed. In any case, when dealing with software systems, improving understanding and therefore documentation is a key issue. There is a wide range of properties of software systems that have to be described and a huge number of different documentation techniques. This defines the broad spectrum of documentation and also the wide range of documentation in use. To overcome the complexity of software systems and cyber-physical systems abstraction is a key concept. A very helpful and promising form of abstraction is by achieved by carefully selected models that can be used for documentation.
KW - Documentation
KW - Modeling
KW - Software system properties
KW - Specification
UR - http://www.scopus.com/inward/record.url?scp=85142716093&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-19756-7_2
DO - 10.1007/978-3-031-19756-7_2
M3 - Conference contribution
AN - SCOPUS:85142716093
SN - 9783031197550
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 10
EP - 27
BT - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 22 October 2022 through 30 October 2022
ER -