Domain modelling: a foundation for software development

DOI10.1007/978-3-031-40436-8_7MaRDI QIDQ6535830zbMATH OpenFDO

Authors Dines Bjørner

Publication date 28 February 2024

Full work available at URL https://doi.org/10.1007/978-3-031-40436-8_7

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• A process calculus BigrTiMo of mobile systems and its formal semantics
• A UTP approach for rTiMo
• Communicating sequential processes
• Domain endurants. An analysis and description process model
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• Duration calculus. A formal approach to real-time systems.
• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• scientific article; zbMATH DE number 3833274 (Why is no real title available?)
• scientific article; zbMATH DE number 5668423 (Why is no real title available?)
• scientific article; zbMATH DE number 5762567 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 53101 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2161254 (Why is no real title available?)
• scientific article; zbMATH DE number 194513 (Why is no real title available?)
• scientific article; zbMATH DE number 795680 (Why is no real title available?)
• scientific article; zbMATH DE number 1390334 (Why is no real title available?)
• Logics of specification languages
• LSCs: Breathing life into message sequence charts
• Manifest domains: analysis and description
• On mereologies in computing science
• Program verification and system dependability
• Statecharts: a visual formalism for complex systems
• The logical systems of Lesniewski
• The NDB database specified in the RAISE specification language
• The Vienna development method: The meta-language
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Towards a formal description of Ada

This page was built for publication: Domain modelling: a foundation for software development

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