Manifest domains: analysis and description

DOI10.1007/S00165-016-0385-ZzbMATH Open1358.68052OpenAlexW2488880159MaRDI QIDQ520235FDOQ520235

Authors: 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

Recommendations

• Domain endurants. An analysis and description process model
• From Domain to Requirements
• scientific article; zbMATH DE number 2161254
• Domain engineering
• scientific article; zbMATH DE number 2079849

zbMATH Keywords

domain engineeringanalysis \& descriptionmanifest domainsprompt calculi

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• Duration calculus. A formal approach to real-time systems.
• Title not available (Why is that?)
• Title not available (Why is that?)
• A relational model of data for large shared data banks
• Title not available (Why is that?)
• The B-Book
• Foundations of algebraic specification and formal software development.
• Determiners and logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program verification and system dependability
• Mechanizing Mathematical Reasoning
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• A formal theory of objects, space and time
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• Title not available (Why is that?)
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• A formal approach for the construction and verification of railway control systems
• 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
• Formal modelling, analysis and verification of hybrid systems
• The Vienna development method: The meta-language
• Principles of proof scores in CafeOBJ
• Title not available (Why is that?)
• On mereologies in computing science
• Title not available (Why is that?)
• Reasoning support for Semantic Web ontology family languages using Alloy
• Domain engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Domain endurants. An analysis and description process model
• Title not available (Why is that?)
• Modeling time in computing.

Cited In (7)

• Towards leveraging domain knowledge in state-based formal methods
• Domain endurants. An analysis and description process model
• From Domain to Requirements
• Title not available (Why is that?)
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Domain Analysis and Description – Sorts, Types, Intents
• Domain modelling: a foundation for software development

Uses Software

• Rodin
• Z

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520235)