abstractionBCCSdomain modelsformal specificationsLarchmodel-based specificationsObj3Object-Zproperty-oriented specificationstemporal logicVDMZ
Temporal logic (03B44) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
- Software engineering 1. Abstraction and modelling.
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
- Formal methods of analysis of system properties
- Bounding pandemic spread by heat spread
- Software specifcation methods. On overview using a case study.
- A Formal Method for the Abstract Specification of Software
- scientific article; zbMATH DE number 1200752 (Why is no real title available?)
- Specifying Software
- scientific article; zbMATH DE number 1942449 (Why is no real title available?)
- scientific article; zbMATH DE number 1949580 (Why is no real title available?)
- scientific article; zbMATH DE number 2010596 (Why is no real title available?)
- scientific article; zbMATH DE number 194792 (Why is no real title available?)
- scientific article; zbMATH DE number 1395608 (Why is no real title available?)
- What causes a system to satisfy a specification?
- Modelling Systems
This page was built for publication: Specification of software systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625100)
