The Community for Technology Leaders
Green Image
ABSTRACT
<p><b>Abstract</b>—Echoing Louis Pasteur's quote,<ref rid="fE06731" type="fn">1</ref> we submit the premise that it is advantageous to define measures of distance between requirements specifications because such measures open up a wide range of possibilities both in theory and in practice. In this paper, we present a mathematical basis for measuring distances between specifications and show how our measures of distance can be used to address concrete problems that arise in the practice of software engineering.</p>
INDEX TERMS
Formal specifications, relations, relational specifications, lattices, software libraries, COTS integration, software adaptation, distance metrics.
CITATION

A. Mili, J. Desharnais and L. L. Jilani, "Defining and Applying Measures of Distance Between Specifications," in IEEE Transactions on Software Engineering, vol. 27, no. , pp. 673-703, 2001.
doi:10.1109/32.940565
90 ms
(Ver 3.3 (11022016))