In:
International Journal of Software Engineering and Knowledge Engineering, World Scientific Pub Co Pte Ltd, Vol. 15, No. 04 ( 2005-08), p. 607-645
Abstract:
In a totally formalized, iterative and incremental software process, each iteration usually implies identifying new requirements, adding them to the current model of the system, checking again the consistency and, in many cases, modifying the model to satisfy all the functional requirements. In this context, the ARIFS (Approximate Retrieval of Incomplete and Formal Specifications) methodology provides a suitable reuse environment (1) to classify, retrieve and adapt formal and incomplete requirements specifications and (2) to reuse the formal verification results linked to them. In this paper, we focus on the first goal describing the classification and retrieval tasks, which are based on functional similarities according to structural and semantic closeness. To this effect, we define four partial ordering relations among reusable components and several measures to quantify functional differences among them. By using these measures, we are able to offer an approximate and efficient retrieval, without formal proofs, and to predict adaptation efforts to satisfy the required functionality.
Type of Medium:
Online Resource
ISSN:
0218-1940
,
1793-6403
DOI:
10.1142/S021819400500249X
Language:
English
Publisher:
World Scientific Pub Co Pte Ltd
Publication Date:
2005
Bookmarklink