Modal Design Algebra

DOI10.1007/11768173_14MaRDI QIDQ5307485zbMATH OpenOpenAlexFDO

Authors Walter Guttmann, Bernhard Möller

Publication date 14 September 2007

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-359395

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Normal design algebra
• The Linear Algebra of UTP
• Integrated Formal Methods
• Algebras of modal operators and partial correctness
• Algebraic Methodology and Software Technology

Cited in

(4)

• A probabilistic theory of designs based on distributions
• The Linear Algebra of UTP
• Algebras for iteration and infinite computations
• Normal design algebra

This page was built for publication: Modal Design Algebra

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