Manifest domains: analysis and description

DOI10.1007/S00165-016-0385-ZzbMath1358.68052OpenAlexW2488880159MaRDI QIDQ520235

Dines Bjørner

Publication date: 3 April 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://orbit.dtu.dk/en/publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0

zbMATH Keywords

domain engineeringanalysis \& descriptionmanifest domainsprompt calculi

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

To every manifest domain a CSP expression -- a rôle for mereology in computer science ⋮ Towards leveraging domain knowledge in state-based formal methods

Uses Software

• Rodin
• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures
• A formal approach for the construction and verification of railway control systems
• Foundations of algebraic specification and formal software development.
• Modeling time in computing.
• Statecharts: a visual formalism for complex systems
• The Vienna development method: The meta-language
• Duration calculus. A formal approach to real-time systems.
• Principles of proof scores in CafeOBJ
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• Formal Modelling, Analysis and Verification of Hybrid Systems
• On Mereologies in Computing Science
• Determiners and logic
• Reasoning support for Semantic Web ontology family languages using Alloy
• A formal theory of objects, space and time
• Domain Engineering
• Program Verification and System Dependability
• The B-Book
• Compositionality: Ontology and Mereology of Domains
• Domain Endurants
• A relational model of data for large shared data banks
• Mechanizing Mathematical Reasoning

This page was built for publication: Manifest domains: analysis and description