Proceedings IEEE Joint International Conference on Requirements Engineering (2002)
Sept. 9, 2002 to Sept. 13, 2002
Nicolas Dulac , Massachusetts Institute of Technology
Thomas Viguier , Massachusetts Institute of Technology
Nancy Leveson , Massachusetts Institute of Technology
Margaret-Anne Storey , Massachusetts Institute of Technology
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple visualizations generated from a common model will improve the requirements creation, reviewing and understanding process. Visual representations, when effective, provide cognitive support by highlighting the most relevant interactions and aspects of a specification for a particular use. In this paper, we propose a taxonomy and some preliminary principles for designing visual representations of formal specifications. The taxonomy and principles are illustrated by sample visualizations we created while trying to understand a formal specification of the MD-11 Flight Management System.
Requirements specification, visualization, formal methods
M. Storey, N. Leveson, T. Viguier and N. Dulac, "On the Use of Visualization in Formal Requirements Specification," Proceedings IEEE Joint International Conference on Requirements Engineering(RE), Essen, Germany, 2002, pp. 71.