scientific article; zbMATH DE number 1200752

zbMATH Open0907.68120MaRDI QIDQ4210110FDOQ4210110

Authors:

Publication date: 21 September 1998

Title of this publication is not available (Why is that?)

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.

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)

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.
• Title not available (Why is that?)
• Rigorous software development. An introduction to program verification.
• Title not available (Why is that?)
• Logics of specification languages
• Title not available (Why is that?)
• Software specifcation methods. On overview using a case study.
• Principles of abstract interpretation

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)