Domain Science and Engineering A Foundation for Software Development
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design speci...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2021, 2021
|
Edition: | 1st ed. 2021 |
Series: | Monographs in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Part I, Setting the Scope
- Concepts
- Philosophy
- Space, Time and Matter
- Logic and Mathematics
- Part II, Domains
- Domains: A Taxonomy: External Qualities
- Domains: An Ontology: Internal Qualities
- Transcendental Deduction
- Domains: A Dynamics Ontology: Perdurants
- Domain Facets
- Part III, Requirements
- Requirements
- Part IV, Closing
- Demos, Simulators, Monitors and Controllers
- Winding Up
- References
- Appendix A: Pipelines Domain: Endurants
- Appendix B: Mereology, A Model
- Appendix C: Four Languages
- Appendix D: An RSL Primer
- Appendix E: Indexes
- List of Figures