Domain Science and Engineering
portes grátis
Domain Science and Engineering
A Foundation for Software Development
Bjorner, Dines
Springer Nature Switzerland AG
11/2022
401
Mole
Inglês
9783030734862
15 a 20 dias
795
Descrição não disponível.
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
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Foundations of Programming;Domain Science;Domain Engineering;Raise Specification Language (RSL);Specification Languages;Requirements Engineering;Modeling;Ontology;Formal Methods
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
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
