Recent advances in refinement

Derrick, John and Boiten, Eerke (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)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/3-540-36498-6_3

Abstract

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: 22 Apr 2014 08:43
Resource URI: http://kar.kent.ac.uk/id/eprint/14003 (The current URI for this page, for reference purposes)
  • Depositors only (login required):