Derrick, J. and Boiten, E.A. (2003) Recent advances in refinement. In: 10th International Workshop on Abstract State Machines, MAR 03-07, 2003, TAORMINA, ITALY.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
In this paper we survey recent work on generalising refinement in a state-based setting. Such generalisations challenge a number of assumptions embedded in the standard formalisation of refinement in a language such as Z, and lead to simulation conditions that allow one to verify a refinement in a number of different contexts.
|Item Type:||Conference or workshop item (Paper)|
|Additional information:||Invited lecture|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing|
|Depositing User:||Mark Wheadon|
|Date Deposited:||24 Nov 2008 18:01|
|Last Modified:||19 Mar 2009 16:10|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/14003 (The current URI for this page, for reference purposes)|
- Depositors only (login required):