DocumentCode
3233107
Title
Animation of data refinements
Author
Robinson, Neil J. ; Fidge, Colin
Author_Institution
Software Verification Res. Centre, Queensland Univ., Qld., Australia
fYear
2002
fDate
2002
Firstpage
137
Lastpage
146
Abstract
Refinement is the process of deriving verifiably-correct software from its specification. In practice, however refinement steps are complex and difficult to prove correct. We show how animation can be used to provide insights into the correctness, or otherwise, of refinement steps for the most general form of data refinement in which the whole system design can be changed in a single step.
Keywords
formal specification; formal verification; refinement calculus; visual programming; data refinement animation; formal specification; refinement calculator; system design; verifiably-correct software; Animation; Concrete; Documentation; Formal specifications; Programming profession; Refining; Software libraries; Specification languages; System testing; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2002. Ninth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1850-8
Type
conf
DOI
10.1109/APSEC.2002.1182983
Filename
1182983
Link To Document