Issue No.08 - August (2001 vol.27)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.940565
<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>
Formal specifications, relations, relational specifications, lattices, software libraries, COTS integration, software adaptation, distance metrics.
Jules Desharnais, Lamia Labed Jilani, "Defining and Applying Measures of Distance Between Specifications", IEEE Transactions on Software Engineering, vol.27, no. 8, pp. 673-703, August 2001, doi:10.1109/32.940565