Sciweavers

Share
UTP
2010

On Modelling User Observations in the UTP

11 years 5 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic techniques for calculating a user’s observations of a system and, in turn, for identifying the information that a user can deduce about the system’s behaviour from those observations. To demonstrate how this approach can be applied in practical software development, we propose some alternative refinement relations that offer greater flexibility than classical refinement by utilising knowledge of the observational abilities of users.
Michael J. Banks, Jeremy L. Jacob
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where UTP
Authors Michael J. Banks, Jeremy L. Jacob
Comments (0)
books