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

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 a CASE software, results in the definition and formal specification of computer objects that satisfy the above requirements. Such objects can be executed for requirements validation.