DocumentCode
3076271
Title
Prototype aided Knowledge Base of Incremental Specification for Evolutionary Complex Systems
Author
Birudavolu, Sriram
Author_Institution
Oracle India Private Ltd.
fYear
2009
fDate
6-7 March 2009
Firstpage
1330
Lastpage
1334
Abstract
Complex software systems, such as telecom OSS/BSS, evolve over the years, based on a stream of incremental specifications. This paper examines the raison d´etre and an approach for building a repository of validating prototypes against key requirements in the incremental specifications, to formalize the specifications in a requirements engineering knowledge base.
Keywords
formal specification; large-scale systems; program verification; software prototyping; evolutionary complex software system; incremental specification; prototype aided knowledge base; requirements engineering; software validation; Costs; Design engineering; Knowledge engineering; Maintenance engineering; Prototypes; Software maintenance; Software prototyping; Software standards; Software systems; Telecommunications;
fLanguage
English
Publisher
ieee
Conference_Titel
Advance Computing Conference, 2009. IACC 2009. IEEE International
Conference_Location
Patiala
Print_ISBN
978-1-4244-2927-1
Electronic_ISBN
978-1-4244-2928-8
Type
conf
DOI
10.1109/IADCC.2009.4809209
Filename
4809209
Link To Document