Domain Endurants

DOI10.1007/978-3-642-54624-2_1zbMath1407.68072OpenAlexW2408355395MaRDI QIDQ5403066

Dines Bjørner

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_1

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 ⋮ Manifest domains: analysis and description

Uses Software

• OBJ3

Cites Work

• Domain science and engineering from computer science to the sciences of informatics. II: Science
• The logical systems of Lesniewski
• From Domain to Requirements
• Domain Engineering
• Program Verification and System Dependability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Domain Endurants