Title :
Defining and applying measures of distance between specifications
Author :
Jilani, Lamia Labed ; Desharnais, Jules ; Mili, Ali
Author_Institution :
Inst. de Recherches en Sci., Inf. et Telecommun., Ariana, Tunisia
fDate :
8/1/2001 12:00:00 AM
Abstract :
Echoing Louis Pasteur´s quote, 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. The authors present a mathematical basis for measuring distances between specifications and show how their measures of distance can be used to address concrete problems that arise in the practice of software engineering
Keywords :
formal specification; software metrics; systems analysis; concrete problems; mathematical basis; requirements specifications; software engineering; specification distance measures; Application software; Arithmetic; Computer Society; Concrete; Kernel; Lattices; Software engineering; Software libraries; Software measurement; Upper bound;
Journal_Title :
Software Engineering, IEEE Transactions on
