Title :
Requirements elicitation and formalization through CASE-supported external design and object-oriented specification
Author_Institution :
Dept. de Ingenieria Ind., Chile Univ., Santiago, Chile
Abstract :
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
Keywords :
computer aided software engineering; formal specification; formal verification; systems analysis; CASE-supported external design; formal specification; formalization; integrated methodology; object-oriented specification; organizational components; requirements elicitation; requirements validation; Business process re-engineering; Computer aided software engineering; Computer industry; Design methodology; Formal specifications; Humans; Information systems; Management information systems; Object oriented modeling; Terminology;
Conference_Titel :
Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on
Print_ISBN :
0-8186-3480-4
DOI :
10.1109/CASE.1993.634811
