Proceedings IEEE Joint International Conference on Requirements Engineering (2002)
Sept. 9, 2002 to Sept. 13, 2002
Pascal Fenkam , Technical University of Vienna
Harald Gall , Technical University of Vienna
Mehdi Jazayeri , Technical University of Vienna
We present an approach to requirements validation in which the formal specification of the requirements is directly interpreted and the results are visually presented to the customer through a graphical user interface, relying on the customer to visually validate the specified requirements. The communication between the user interface and the specification interpreter is accomplished through CORBA. The approach supports the cooperation of customers and developers in eliciting and validating the requirements. We present a case study of the application of the technique to the validation of a generic access control component. The use of CORBA has the advantage that any CORBA-compliant language can be used for the user interface, independently of the implementation of the specification interpreter. The contributions of the paper are 1) the presentation of a case study of the visual requirement validation technique, 2) the revision and improvement of a previously presented visual validation technique, and 3) the application of requirements validation to a reusable component.
M. Jazayeri, H. Gall and P. Fenkam, "Visual Requirements Validation: Case Study in a Corba-Supported Environment," Proceedings IEEE Joint International Conference on Requirements Engineering(RE), Essen, Germany, 2002, pp. 81.