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

  • Authors:
  • Oscar Barros

  • Affiliations:
  • Universidad de Chile, Casilla 2777, Santiago, Chile

  • Venue:
  • IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present on integrated methodology for deriving the requirements of on 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 above requirements. Such objects can be executed for requirements validation.