On the use of visualization in formal requirements specification Export

@proceedings{dulac02, abstract = {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.}, address = {Essen, Germany}, author = {Dulac, N. and Viguier, T. and Leveson, N. and Storey, M. A.}, citeulike-article-id = {368122}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1048507}, journal = {Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on}, keywords = {litmap, requirements, visualization}, pages = {71--80}, posted-at = {2005-10-27 20:25:32}, priority = {0}, title = {On the use of visualization in formal requirements specification}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1048507}, year = {2002} }

TY - CONF ID - dulac02 L3 - citeulike-article-id:368122 N2 - 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. JF - Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on AD - Essen, Germany EP - 80 TI - On the use of visualization in formal requirements specification SP - 71 KW - litmap KW - requirements KW - visualization AU - Dulac, N AU - Viguier, T AU - Leveson, N AU - Storey, MA PY - 2002/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1048507 ER -