The variety of variables in computer-aided real-time programming (2002)
| Venue: | Refine 2002: Proceedings of the BCS/FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Wildman02thevariety,
author = {Luke Wildman and Colin Fidge},
title = {The variety of variables in computer-aided real-time programming},
booktitle = {Refine 2002: Proceedings of the BCS/FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science},
year = {2002},
publisher = {Elsevier}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and we have developed an interactive support tool based on these extensions. Via a case study, this paper shows how the tool helps the programmer by supporting the many forms of variables used in the theory. These include simple state variables as in the untimed calculus, timed-trace variables that model the evolution of properties over time, and auxiliary variables that exist to support formal reasoning only. 1
Citations
| 237 | Refinement Calculus, A Systematic Introduction - Back, Wright - 1998 |
| 22 | The Refinement Calculator: Proof Support for Program Refinement - Butler, Grundy, et al. - 1997 |
| 13 | Timing constraint analysis - Grundon, Hayes, et al. - 1998 |
| 11 | The deadline command - Fidge, Hayes, et al. - 1998 |
| 10 | Separating timing and calculation in real-time refinement - Hayes - 1998 |
| 5 | A Program Refinement Tool. Formal Aspects of Computing 10 - Carrington, Hayes, et al. - 1998 |
| 5 | Real-time program refinement using auxiliary variables - Hayes - 2000 |
