Modal Design Algebra

DOI10.1007/11768173_14zbMATH Open1186.68112OpenAlexW1820489854MaRDI QIDQ5307485FDOQ5307485

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)