On modelling user observations in the UTP

DOI10.1007/978-3-642-16690-7_4MaRDI QIDQ3055740zbMATH OpenOpenAlexFDO

Authors Michael J. Banks, Jeremy L. Jacob

Publication date 9 November 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-16690-7_4

zbMATH Keywords

co-operating and independent refinementdistributed testinginformation flowmulti-user systemsUTP

Mathematics Subject Classification ID

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

Recommendations

• A Relational Investigation of UTP Designs and Prescriptions
• Unifying Theories of Objects
• UTP and Sustainability
• Unifying theories of confidentiality
• Integrated Formal Methods

Cited in

(2)

• Data-driven modelling and probabilistic analysis of interactive software usage
• scientific article; zbMATH DE number 108421 (Why is no real title available?)

This page was built for publication: On modelling user observations in the UTP

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