Requirements elicitation and formalization through 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 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.