scientific article; zbMATH DE number 51769

MaRDI QIDQ4002148zbMATH OpenFDO

Authors

Publication date 23 January 1993

zbMATH Keywords

specificationVDM

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Proof by analogy in mural
• scientific article; zbMATH DE number 46957
• The generic development language. Presentation and case studies

Cited in

(10)

• Provably correct derivation of algorithms using FermaT
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Object organisation in software environments for formal methods
• Definition and basic properties of the Deva meta-calculus
• mural
• Constraining interference in an object-based design method
• Proof by analogy in mural
• The connection between two ways of reasoning about partial functions
• Ours Is to Reason Why
• Jape: a calculator for animating proof-on-paper

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