Title :
Prototype aided Knowledge Base of Incremental Specification for Evolutionary Complex Systems
Author :
Birudavolu, Sriram
Author_Institution :
Oracle India Private Ltd.
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;
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
DOI :
10.1109/IADCC.2009.4809209
