Domain modelling: a foundation for software development
From MaRDI portal
Publication:6535830
Recommendations
Cites work
- scientific article; zbMATH DE number 1696508 (Why is no real title available?)
- scientific article; zbMATH DE number 3833274 (Why is no real title available?)
- scientific article; zbMATH DE number 5668423 (Why is no real title available?)
- scientific article; zbMATH DE number 5762567 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 53101 (Why is no real title available?)
- scientific article; zbMATH DE number 605917 (Why is no real title available?)
- scientific article; zbMATH DE number 2161254 (Why is no real title available?)
- scientific article; zbMATH DE number 194513 (Why is no real title available?)
- scientific article; zbMATH DE number 795680 (Why is no real title available?)
- scientific article; zbMATH DE number 1390334 (Why is no real title available?)
- A UTP approach for rTiMo
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Communicating sequential processes
- Domain endurants. An analysis and description process model
- 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
- Duration calculus. A formal approach to real-time systems.
- LSCs: Breathing life into message sequence charts
- Logics of specification languages
- Manifest domains: analysis and description
- On mereologies in computing science
- Program verification and system dependability
- Statecharts: a visual formalism for complex systems
- The NDB database specified in the RAISE specification language
- The Vienna development method: The meta-language
- The logical systems of Lesniewski
- To every manifest domain a CSP expression -- a rôle for mereology in computer science
- Towards a formal description of Ada
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)
