DocumentCode
3459957
Title
Visualisation of refinements
Author
Robinson, Neil J. ; Fidge, Colin
Author_Institution
Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
fYear
2001
fDate
2001
Firstpage
244
Lastpage
251
Abstract
Animation tools have proven to be effective as a means of visualising formal specifications. Specifications that might otherwise be impenetrable can be communicated to a wide range of people involved in the software development process. The authors argue that animation can also aid understanding of formal program development or refinement. We examine two case studies that demonstrate the effectiveness of visualisations generated from a specification animation tool for improving the understanding of refinements
Keywords
computer animation; formal specification; program visualisation; reverse engineering; animation tools; case studies; formal program development understanding; formal specification visualisation; refinement understanding; refinement visualisation; software development process; specification animation tool; Animation; Australia; Concrete; Formal specifications; Image converters; Logic; Programming profession; Software tools; Specification languages; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. Proceedings. 2001 Australian
Conference_Location
Canberra, ACT
ISSN
1530-0803
Print_ISBN
0-7695-1254-2
Type
conf
DOI
10.1109/ASWEC.2001.948518
Filename
948518
Link To Document