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
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;
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
DOI :
10.1109/ICSEA.2007.24