Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Berlin (2001). https://doi.org/10.1007/978-1-4613-0091-5
Broy, M.: Software and system modeling: structured multi-view modeling, specification, design and implementation. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 309–372. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2297-5_14
Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010)
Broy, M.: A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views. Softw. Syst. Model. 17(2), 365–393 (2017). https://doi.org/10.1007/s10270-017-0619-4
Pohl, K., Broy, M., Daembkes, H., Hönninger, H.: Advanced model-based engineering of embedded systems. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds.) Advanced Model-Based Engineering of Embedded Systems, pp. 3–9. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48003-9_1
Ciupa, I., Pretschner, A., Oriol, M., Leitner, A., Meyer, B.: On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab. 21, 3–28 (2011)
Hoare, C.A.R.: Quicksort. Comput. J. 5(1), 10–15 (1962)
Lockwood, Th.: Design Thinking: Integrating Innovation, Customer Experience and Brand Value. Allworth, New York (2010)
Méndez, F.D., et al.: Artefacts in software engineering: a fundamental positioning. Softw. Syst. Model. 18(5), 2777–2786 (2019)
Parnas, D., Lawford, M.: The role of inspection in software quality assurance. IEEE Trans. Softw. Eng. 29, 674–676 (2003)
Parnas, D.L.: Precise documentation: the key to better software. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 125–148. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-15187-3_8
Parnas, D.L.: The secret history of information hiding. In: Broy, M., Denert, E. (eds.) Software Pioneers, pp. 398–409. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-59412-0_25
Schwaber, K., Beedle, M.: Agile Software Development with Scrum. Prentice Hall (2002)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Broy, M. (2022). Software System Documentation: Coherent Description of Software System Properties. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022. Lecture Notes in Computer Science, vol 13702. Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-19756-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-19755-0
Online ISBN: 978-3-031-19756-7
eBook Packages: Computer ScienceComputer Science (R0)