Title :
Computational support for the process of software requirement specification
Author :
Esteca, A.M.N. ; Simonato, A. ; de Souza, R.C.G. ; Valencio, Carlos Roberto ; Garcia, Rogerio Eduardo ; Tronco, Mario Luiz ; dos Anjos Borges, V.
Author_Institution :
Depto de Cienc. de Comput. e Estatistica, Inst. de Biociencias, Sao Jose, Brazil
Abstract :
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these activities, several computational tools have been available in the market, although it is still possible to find a lack of resources related to some activities. In this context, this paper proposes the inclusion of a module to aid in the requirements specification to a tool called Requirements Elicitation Support Tool. This module allows to specify requirements in accordance with IEEE 830 standard, thus contributing to the documentation of the requirements established for a software system, besides supporting the learning of concepts related to the requirements specification, which improves the skills of users of the tool.
Keywords :
formal specification; formal verification; software houses; software quality; software standards; software tools; system documentation; IEEE 830 standard; computational support; computational tools; module inclusion; product quality; requirement documentation; requirement elicitation support tool; requirement engineering; software industry; software requirement specification process; software system; Abstracts; Erbium; HTML; Java; Portable document format; Software; Unified modeling language; IEEE 830; software quality; software requirements specification; support tool;
Conference_Titel :
Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En
Conference_Location :
Medellin
Print_ISBN :
978-1-4673-0794-9
DOI :
10.1109/CLEI.2012.6427195
