Academic Journals Database
Disseminating quality controlled scientific knowledge

An Empirical Study to Specify Requirements Using UML and Z

Author(s): Ana María Potosí | Teresita Cordero

Journal: Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software RACCIS
ISSN 2248-7441

Volume: 1;
Issue: 1;
Start page: 27;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Empirical Study | Requirements Specification | UML | Z Language

This article presents the results of an empirical study which used some UML diagrams –semi-formal modeling– and Z language –formal modeling– to do a specification of system requirements. The results showed the benefits of formal modeling to improve the quality of specification requirements of an information system. In the experiment also was perceived the need for a clear correspondence between the approaches modeling used. This correspondence was established during the experiment, allowing the correct joint specification.
Save time & money - Smart Internet Solutions      Why do you need a reservation system?