Recent advances in refinement

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)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://www.cs.kent.ac.uk/pubs/2003/1680

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: 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):