A Review of Existing Refinement Tools (1994)
| Venue: | 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, ICPR2000 |
| Citations: | 5 - 0 self |
BibTeX
@TECHREPORT{Carrington94areview,
author = {David Carrington and Ian Hayes and Ray Nickson and Geoffrey Watson and Jim Welsh},
title = {A Review of Existing Refinement Tools},
institution = {15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, ICPR2000},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This report examines the requirements for a support tool for the stepwise refinement of program specifications to program code using the refinement calculus. This calculus, which was developed independently by Back, Morgan and Morris, is described briefly and the requirements for a tool to support the major roles of refinement are outlined. These broad requirements are expanded to identify more specific functionality, and some existing tools are compared within this functional framework. After a general comparison, five selected case studies are described, which are used for a more detailed and specific comparison. The results of these comparisons are then classified to identify common and distinctive features of the two major tools. Finally the results obtained are summarized in terms of consequences for the generic program refinement tool project.
