Domain engineering

DOI10.1007/978-1-84882-736-3_1MaRDI QIDQ3557667zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 23 April 2010

Published in Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-736-3_1

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2161254
• From Domain to Requirements
• scientific article; zbMATH DE number 2079849
• Software engineering 1. Abstraction and modelling.
• On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook

Cited in

(10)

• Domain endurants. An analysis and description process model
• From Domain to Requirements
• scientific article; zbMATH DE number 2079849 (Why is no real title available?)
• scientific article; zbMATH DE number 2161254 (Why is no real title available?)
• A formal approach for the construction and verification of railway control systems
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Modeling application domains
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Domain engineering

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