scientific article; zbMATH DE number 4766

MaRDI QIDQ4712650zbMATH OpenFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 25 June 1992

zbMATH Keywords

algebraically-based logicsbehavioural equivalencecomplex heterogeneous logicsmethods for proving the correctness of implementation stepsmodel-theoretic and proof-theoretic formulations of general logicrequirements engineeringspecification languagespecification testingsupport formal program developmenttheorem proving in structured specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3936493
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Combining algebraic specifications and procedural tools for correct program development
• scientific article; zbMATH DE number 3872655

Cited in

(4)

• Algebraic specifications are not difficult to write
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• The conical methodology and the evolution of simulation model development
• Combining algebraic specifications and procedural tools for correct program development

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 Q4712650)