Domain Analysis and Description – Sorts, Types, Intents

DOI10.1007/978-3-030-87348-6_3zbMath1520.68017MaRDI QIDQ6488337

Dines Bjørner

Publication date: 13 April 2023

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item
• Manifest domains: analysis and description
• Modeling time in computing.
• The logical systems of Lesniewski
• A UTP approach for rTiMo
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• A formal theory of objects, space and time

This page was built for publication: Domain Analysis and Description – Sorts, Types, Intents