DocumentCode
3369295
Title
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach
Author
Fabbrini, Fabrizio ; Fusani, Mario ; Gnesi, Stefania ; Lami, Giuseppe
Author_Institution
Ist. di Sci. e Tecnologie dell Informazione A.Faedo, Pisa
fYear
2007
fDate
25-31 Aug. 2007
Firstpage
68
Lastpage
68
Abstract
Requirements evolve during the software development process. Requirements specification evolution determines changes both in terms of level of details and style of representation and it brings the requirements from the initial statement of the customer needs towards more detailed documents able to drive the software design, construction and verification. Controlling the evolution of requirements, usually written in natural language, is very important for the success of the whole software project because every step in the evolutionary path of requirements can introduce undesired changes or lacks of information. This paper describes an approach based on the formal concepts analysis that allows a systematic and precise verification of the consistency among different stages of natural language requirements evolution.
Keywords
formal specification; natural language processing; program verification; software architecture; formal concept analysis; formal concepts analysis; natural language requirements evolution; requirements specification evolution; software construction; software design; software development; software project; software verification; Animals; Application software; Humans; Information analysis; Inspection; Natural languages; Personnel; Programming; Software design; Software maintenance;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Advances, 2007. ICSEA 2007. International Conference on
Conference_Location
Cap Esterel
Print_ISBN
0-7695-2937-2
Electronic_ISBN
978-0-7695-2937-0
Type
conf
DOI
10.1109/ICSEA.2007.24
Filename
4299948
Link To Document