On the use of visualization in formal requirements specification

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2002-January, Issue , 2002, Pages 71-80

  Dulac, Nicolas ^a   Viguier, Thomas ^a   Leveson, Nancy ^a   Storey, Margaret Anne ^a  

^a Massachusetts Institute of Technology Cambridge   (United States)

Author keywords

Formal methods; Requirements specification; Visualization

Indexed keywords

FLOW VISUALIZATION; FORMAL METHODS; REQUIREMENTS ENGINEERING; SPECIFICATIONS; TAXONOMIES; VISUALIZATION;

COGNITIVE SUPPORT; COMMON MODELS; COMPLEX ENGINEERING SYSTEM; FLIGHT MANAGEMENT SYSTEMS; INDUSTRIAL ACCEPTANCE; REQUIREMENTS SPECIFICATIONS; VISUAL REPRESENTATIONS;

FORMAL SPECIFICATION;

EID: 84948967021     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2002.1048507     Document Type: Conference Paper

References (20)

1. W.R. Ashby, "An Introduction to Cybernetics", John Wiley, 1956.
2. A.F. Blackwell, K.N. Whitley, J. Good, and M. Petre, "Cognitive Factors in Programming with Diagrams", accepted for publication in Artificial Intelligence Review.
3. K. Brade, M. Guzdial, M. Steckel, and E. Soloway, "Whorf: A Visualization Tool for Software Maintenance", presented at 1992 IEEE Workshop on Visual Languages, Seattle, WA, 1992.
4. S. Casner, "A Task-Analytic Approach to the Automated Design of Graphic Presentations", ACM Trans. on Graphics, 10:111-151, April 1991.
5. S. Casner and J.H. Larkin, "Cognitive Efficiency Considerations for Good Graphic Design", 11th Annual Conf. of the Cognitive Science Society, August 1989.
6. Readings in Information visualization, Using Vision to Think, Edited by Card, MacKinlay and Shneiderman, Morgan Kaufmann, 2000.
7. M. Fitter and T.R.G. Green, "When do Diagrams Make Good Programming Languages", Int. Journal of Man-Machine Studies, 11(2):235-261, March 1979.
8. T.R.G Green, "Conditional Programs Statements and their Comprehensibility to Professional Programmers", Journal of Occupational Psychology, 50, 93-109, 1977
9. Edwin Hutchins, James Hollan, and Donald Norman, Direct Manipulation Interfaces, in Donald Norman and Stephen Draper, User Centered System Design, 1986, pp. 87-124
10. M.P.E Heimdahl and M.W. Whalen, "Reduction and Slicing of Hierarchical State Machines", 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997.
11. J.H. Larkin and H.A. Simon, "Why a Diagram is (Sometimes) Worth Ten Thousand Words", Cognitive Science, 11(1):65-99, Jan-Mar 1987.
12. N.G. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specifications", IEEE Trans. on Software Engineering, 2000.
13. N.G. Leveson, "Completeness in Formal Specification Language Design for Process Control Systems'', Formal Methods in Software Practice, Portland, 2000.
14. M Petre, "Why Looking Isn't Always Seeing: Readership Skills and Graphical Programming", Comm. of the ACM, 38(6):33-44, June 1995.
15. D.S. Ranson and D.D. Woods, "Making Automation Activity Visible'', Technical Report 1995-03, Ohio-State University, December 1995.
16. M.-A. Storey, F.D. Fracchia, and H.A. Muller, "Cognitive Design Elements to Support the Construction of a Mental Model during Software Exploration", Journal of Software Systems, 44:171-185, 1999.
17. M.-A. Storey, K. Wong, P. Fong, D. Hooper, K. Hopkins, and H. A. Muller, "On Designing an Experiment to Evaluate a Reverse Engineering Tool", Working Conference on Reverse Engineering, Monterey, CA, 1996.
18. Green T.R.G. and Blackwell, A.F., (1998) A tutorial on cognitive dimensions, http://www.cl.cam.ac.uk/users/afb21/publications/CDt utSep98.pdf
19. P. Zave and M. Jackson, "Where do Operations Come From? A Multiparadigm Specification Technique", IEEE Trans. on Software Engineering, , SE-22(7), July 1996.
20. M.K. Zimmerman, K. Lundqvist, N.G. Leveson, "Investigating the Readability of Formal Requirements Specification Languages", International Conference on Software Engineering, May 2002.