On the Use of Visualization in Formal Requirements Specification

Authors:
Nicolas Dulac;Thomas Viguier;Nancy G. Leveson;Margaret-Anne D. Storey
Affiliations:
-;-;-;-
Venue:
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Year:
2002

Citing 0
Cited 10

The Evaluation of Large, Complex UML Analysis and Design Models

Proceedings of the 26th International Conference on Software Engineering
Making embedded software reuse practical and safe

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Temporal skeletons for verifying time

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Research Directions in Requirements Engineering

FOSE '07 2007 Future of Software Engineering
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
XML-based requirements engineering for an electronic clearinghouse

Information and Software Technology
Effects of spatial ability and richness of motion cue on learning in mechanically complex domain

Computers in Human Behavior
An empirical evaluation of multi-media based learning of a procedural task

Computers in Human Behavior
Visualising larger state spaces in ProB

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Regulatory requirements traceability and analysis using semi-formal specifications

REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality

Quantified Score

Hi-index	0.00

Visualization

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 andunderstanding 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 samplevisualizations we created while trying to understand a formal specification of the MD-11 Flight Management System.