Title :
Visualisation of refinements
Author :
Robinson, Neil J. ; Fidge, Colin
Author_Institution :
Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
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;
Conference_Titel :
Software Engineering Conference, 2001. Proceedings. 2001 Australian
Conference_Location :
Canberra, ACT
Print_ISBN :
0-7695-1254-2
DOI :
10.1109/ASWEC.2001.948518
