Loading...
Thumbnail Image
Item

Contexts, refinement and determinism

Abstract
In this paper we have been influenced by those who take an “engineering view” of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on their design. Specifically, we have borrowed from the testing work of Hennessy, de Nicola and van Glabbeek, e.g. [13, 5, 21, 40, 39]. Here we concentrate on one fundamental part of the engineering view and where consideration of it leads. The aspects we are concerned with are computational entities in contexts, observed by users. This leads to formalising design steps that are often left informal, and that in turn gives insights into non-determinism and ultimately leads to being able to use refinement in situations where existing techniques fail.
Type
Journal Article
Type of thesis
Series
Citation
Reeves, S. & Streader, D. (2010). Contexts, refinement and determinism. Science of Computer Programming, available online 6 December 2010.
Date
2010
Publisher
Elsevier
Degree
Supervisors
Rights
This is an author’s accepted version of an article published in the journal: Science of Computer Programming. © 2010 Elsevier.