Domain Engineering

DOI10.1007/978-1-84882-736-3_1zbMath1194.68100OpenAlexW4245200586MaRDI QIDQ3557667

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)

Related Items (5)

To every manifest domain a CSP expression -- a rôle for mereology in computer science ⋮ Domain Endurants ⋮ Manifest domains: analysis and description ⋮ A formal approach for the construction and verification of railway control systems ⋮ Compositionality: Ontology and Mereology of Domains

Uses Software

• CafeOBJ

This page was built for publication: Domain Engineering