Requirements validation based on the visualisation of executable formal specifications
MEHMET BÜLENT ÖZCAN, Paul Parry, Ian Morrey, J. I. A. Siddiqi · 2002
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.