ReqViz: a Tool to Visualize Requirements

{teyseyre,mcampo}@exa.unicen.edu.ar Abstract. This paper presents a prototype tool to animate and visualize require-ments called R EQVIZ. In essence, this tool takes a Z specification as input andgenerates a visualization as output, through which, users can validate requirements. The prototype was developed based on architectural design driven by pat-terns. This process brings benefits that impact directly on understanding, reuse, evolution, analysis and documentation management of the system.This tool aims to help to achieve a more effective requirement validation using visualization techniques that reduce the communication gap between the customerand developer: the system is described in a way that the costumer can understand. The requirements are stated by the developer in a formal language, in particularZ, because formal specification languages enables us to denote them unambiguously. Also visualization techniques were developed using 3D graphics takingadvantage of this kind of presentations