scientific article; zbMATH DE number 1200752

MaRDI QIDQ4210110zbMATH OpenFDO

Authors

Publication date 21 September 1998

zbMATH Keywords

preconditioncompletenesslambda calculusschematemporal logicprogram specificationset theoryabstract data typesmodulefinite state machinecorrectnessalgebraic specificationbagLarchOBJ3predicatedeadlock-freedomtautologypostconditiongeneric functionLarch/C++VDM, Z

Mathematics Subject Classification ID

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

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

(11)

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