Definition and basic properties of the Deva meta-calculus

DOI10.1007/BF01212485MaRDI QIDQ688825zbMATH OpenOpenAlexFDO

Authors Matthias Weber

Publication date 13 March 1994

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01212485

zbMATH Keywords

formal software development methodsformal specification of software systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• The generic development language. Presentation and case studies
• scientific article; zbMATH DE number 1006087
• scientific article; zbMATH DE number 50754
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• scientific article; zbMATH DE number 65528

Cites work

• scientific article; zbMATH DE number 3928956 (Why is no real title available?)
• scientific article; zbMATH DE number 3657156 (Why is no real title available?)
• scientific article; zbMATH DE number 3684935 (Why is no real title available?)
• scientific article; zbMATH DE number 50754 (Why is no real title available?)
• scientific article; zbMATH DE number 51769 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• A framework for defining logics
• Logic and Computation

Cited in

(5)

• The generic development language. Presentation and case studies
• scientific article; zbMATH DE number 1664929 (Why is no real title available?)
• An approach to literate and structured formal developments
• scientific article; zbMATH DE number 65528 (Why is no real title available?)
• scientific article; zbMATH DE number 50754 (Why is no real title available?)

Describes a project that uses

Uses Software

• mural
• Automath

This page was built for publication: Definition and basic properties of the Deva meta-calculus

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