Manifest domains: analysis and description
From MaRDI portal
Publication:520235
Recommendations
Cites work
- 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 42724 (Why is no real title available?)
- scientific article; zbMATH DE number 46743 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 605917 (Why is no real title available?)
- scientific article; zbMATH DE number 977452 (Why is no real title available?)
- scientific article; zbMATH DE number 1156304 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 795680 (Why is no real title available?)
- scientific article; zbMATH DE number 795688 (Why is no real title available?)
- scientific article; zbMATH DE number 818239 (Why is no real title available?)
- scientific article; zbMATH DE number 1390334 (Why is no real title available?)
- scientific article; zbMATH DE number 2202280 (Why is no real title available?)
- scientific article; zbMATH DE number 970743 (Why is no real title available?)
- A formal approach for the construction and verification of railway control systems
- A formal theory of objects, space and time
- A relational model of data for large shared data banks
- Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
- Determiners and logic
- Domain endurants. An analysis and description process model
- Domain engineering
- 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.
- Formal modelling, analysis and verification of hybrid systems
- Foundations of algebraic specification and formal software development.
- Mechanizing Mathematical Reasoning
- Modeling time in computing.
- On mereologies in computing science
- Principles of proof scores in CafeOBJ
- Program verification and system dependability
- Reasoning support for Semantic Web ontology family languages using Alloy
- Statecharts: a visual formalism for complex systems
- The B-Book
- The Vienna development method: The meta-language
- Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures
Cited in
(7)- scientific article; zbMATH DE number 2161254 (Why is no real title available?)
- Towards leveraging domain knowledge in state-based formal methods
- Domain Analysis and Description – Sorts, Types, Intents
- Domain endurants. An analysis and description process model
- Domain modelling: a foundation for software development
- From Domain to Requirements
- To every manifest domain a CSP expression -- a rôle for mereology in computer science
This page was built for publication: Manifest domains: analysis and description
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520235)