DocumentCode
2130540
Title
Requirements elicitation and formalization through CASE-supported external design and object-oriented specification
Author
Barros, Oscar
Author_Institution
Dept. de Ingenieria Ind., Chile Univ., Santiago, Chile
fYear
1993
fDate
19-23 Jul 1993
Firstpage
102
Lastpage
113
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on
ISSN
1066-1387
Print_ISBN
0-8186-3480-4
Type
conf
DOI
10.1109/CASE.1993.634811
Filename
634811
Link To Document