scientific article; zbMATH DE number 1200752

MaRDI QIDQ4210110zbMATH OpenFDO

Authors

Publication date 21 September 1998

zbMATH Keywords

abstract data typesalgebraic specificationbagcompletenesscorrectnessdeadlock-freedomfinite state machinegeneric functionlambda calculusLarchLarch/C++moduleOBJ3postconditionpreconditionpredicateprogram specificationschemaset theorytautologytemporal logicVDM, Z

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification of software systems.
• scientific article; zbMATH DE number 1350767
• Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.

Cited in

(13)

• Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
• Rigorous software development. An introduction to program verification.
• 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
• Logics of specification languages
• Software specifcation methods. On overview using a case study.
• scientific article; zbMATH DE number 3905823 (Why is no real title available?)
• scientific article; zbMATH DE number 1189004 (Why is no real title available?)
• scientific article; zbMATH DE number 1200750 (Why is no real title available?)
• scientific article; zbMATH DE number 1350767 (Why is no real title available?)
• Specifying Software
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• What causes a system to satisfy a specification?
• Principles of abstract interpretation

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210110)