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...

Full description

Bibliographic Details
Main Author: Bjørner, Dines
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