A Relational Investigation of UTP Designs and Prescriptions

DOI10.1007/11768173_7MaRDI QIDQ5307477zbMATH OpenOpenAlexFDO

Authors Moshe Deutsch, Martin C. Henson

Publication date 14 September 2007

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Integrated Formal Methods
• Unifying Theories of Logic and Specification
• UTP and Sustainability
• Angelic nondeterminism and unifying theories of programming
• Mechanical reasoning about families of UTP theories

Cited in

(2)

• On modelling user observations in the UTP
• Normal design algebra

This page was built for publication: A Relational Investigation of UTP Designs and Prescriptions

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