A Relational Investigation of UTP Designs and Prescriptions

DOI10.1007/11768173_7zbMATH Open1186.68110OpenAlexW1548752695MaRDI QIDQ5307477FDOQ5307477

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

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

Mathematics Subject Classification ID

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

Cited In (2)

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

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)