The generic development language. Presentation and case studies

MaRDI QIDQ690318zbMATH OpenFDO

Authors Matthias Weber, Martin Simons, Christine Lafontaine

Publication date 18 November 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

tools\(\lambda\)-calculusformal specificationprogram developmentautomatic programmingDevahigher-order typedVDM specification

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

• Definition and basic properties of the Deva meta-calculus
• scientific article; zbMATH DE number 1107134
• scientific article; zbMATH DE number 46741
• scientific article; zbMATH DE number 46957
• scientific article; zbMATH DE number 595218

Cited in

(5)

• Definition and basic properties of the Deva meta-calculus
• An approach to literate and structured formal developments
• Structured calculational proof
• scientific article; zbMATH DE number 65528 (Why is no real title available?)
• scientific article; zbMATH DE number 51769 (Why is no real title available?)

This page was built for publication: The generic development language. Presentation and case studies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690318)