By Topic

Requirements elicitation and formalization through external design and object-oriented specification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Barros, O. ; Dept. de Ingenieria Ind., Chile Univ., Santiago, Chile

Presents an integrated methodology for deriving the requirements of an information system based on the design of the organizational components external to the computer. This methodology, which is supported by CASE software, results in the definition and formal specification of computer objects that satisfy the information system requirements. Such objects can be executed for requirements validation.

Published in:

Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on

Date of Conference:

6-7 Dec 1993