Domain modelling: a foundation for software development
From MaRDI portal
Publication:6535830
DOI10.1007/978-3-031-40436-8_7zbMATH Open1547.68114MaRDI QIDQ6535830FDOQ6535830
Authors: Dines Bjørner 
Publication date: 28 February 2024
Recommendations
Cites Work
- Statecharts: a visual formalism for complex systems
- Duration calculus. A formal approach to real-time systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Communicating sequential processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- LSCs: Breathing life into message sequence charts
- Program verification and system dependability
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Vienna development method: The meta-language
- Title not available (Why is that?)
- On mereologies in computing science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Manifest domains: analysis and description
- Domain endurants. An analysis and description process model
- Towards a formal description of Ada
- The logical systems of Lesniewski
- Logics of specification languages
- Title not available (Why is that?)
- The NDB database specified in the RAISE specification language
- A UTP approach for rTiMo
- To every manifest domain a CSP expression -- a rôle for mereology in computer science
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Title not available (Why is that?)
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)
