Domain science and engineering from computer science to the sciences of informatics. II: Science

DOI10.1007/s10559-011-9308-4zbMath1298.68061OpenAlexW4206053158MaRDI QIDQ464883

Dines Bjørner

Publication date: 30 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-011-9308-4

zbMATH Keywords

software engineeringdomain descriptiondomain engineeringdomain modelingsoftware development

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Domain Endurants ⋮ Manifest domains: analysis and description

Uses Software

• CASL
• CafeOBJ
• Maude
• Rodin
• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• A formal theory of objects, space and time
• Compositionality: Ontology and Mereology of Domains
• Modelling Systems

This page was built for publication: Domain science and engineering from computer science to the sciences of informatics. II: Science