loading...
Animation of Data Refinements
Gold Coast, Australia December 04-December 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182983Ninth Asia-Pacific Software Engineeri ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Neil J. Robinson, Colin Fidge, "Animation of Data Refinements," Asia-Pacific Software Engineering Conference, pp. 137, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2002.1182983,
author = {Neil J. Robinson and Colin Fidge},
title = {Animation of Data Refinements},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2002},
issn = {1530-1362},
pages = {137},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182983},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Animation of Data Refinements
SN - 1530-1362
SP
EP
A1 - Neil J. Robinson,
A1 - Colin Fidge,
PY - 2002
KW - null
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Neil J. Robinson, The University of Queensland
Colin Fidge, The University of Queensland
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.
Citation:
Neil J. Robinson, Colin Fidge, "Animation of Data Refinements," apsec, pp.137, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.