scientific article; zbMATH DE number 51769

zbMATH Open0758.68046MaRDI QIDQ4002148FDOQ4002148

Authors:

Publication date: 23 January 1993

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

Recommendations

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

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)

Cited In (10)

• Definition and basic properties of the Deva meta-calculus
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Constraining interference in an object-based design method
• Provably correct derivation of algorithms using FermaT
• mural
• Proof by analogy in mural
• Object organisation in software environments for formal methods
• Ours Is to Reason Why
• The connection between two ways of reasoning about partial functions
• 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)