Inquiry-Based Requirements Analysis
IEEE Software
A toolset to support the construction and animation of formal specifications
Journal of Systems and Software
A proposal for a scenario classification framework
Requirements Engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Computer
Visualisation of Executable Formal Specifications for User Validation
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
Improving the use case driven approach to requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Hi-index | 0.01 |
This paper describes the application of visualisation to the validation of software system requirements. It enhances the popular validation technique of prototyping because the execution of prototypes offer minimalistic or rudimentary presentation styles with little or no regard to customer comprehension. Visualisation enables the results generated by prototype execution to be presented using a rich repertoire of representations and more importantly, using imagery that is borrowed directly from the customer's own domain. This paper presents some of the pertinent issues in applying visualisation to this area, and describes the results of our efforts in developing an approach that visualises prototype execution behaviour.