Title :
Requirements validation based on the visualisation of executable formal specifications
Author :
Ozcan, M.B. ; Parry, P.W. ; Morrey, I.C. ; Siddiqi, J.
Author_Institution :
Comput. & Manage. Sci., Sheffield Hallam Univ., UK
Abstract :
This paper reports on ongoing research work to facilitate the user validation process based on executable formal specifications. It embodies a visualisation system which allows software developers to choose an appropriate representation of objects used in a formal specification and create a dynamic and/or static animation of these objects in an interactive and iterative fashion. This paper outlines our approach and illustrates its application in a real-world setting
Keywords :
computer aided software engineering; computer animation; data visualisation; formal specification; formal verification; dynamic animation; executable formal specifications; interactive iterative animation creation; object representation; requirements validation; requirements visualisation; software development; static animation; user validation process; visualisation system; Formal specifications; Visualization;
Conference_Titel :
Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International
Conference_Location :
Vienna
Print_ISBN :
0-8186-8585-9
DOI :
10.1109/CMPSAC.1998.716684
