Domain Science and Engineering [E-Book] : A Foundation for Software Development / by Dines Bjørner.
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...
Saved in:
Full text |
|
Personal Name(s): | Bjørner, Dines, author |
Edition: |
1st edition 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
XVIII, 401 pages 44 illustrations, 19 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030734848 |
DOI: |
10.1007/978-3-030-73484-8 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Monographs in Theoretical Computer Science. An EATCS Series
|
Subject (LOC): |
- 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.