DocumentCode
1519298
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
Volume
27
Issue
8
fYear
2001
fDate
8/1/2001 12:00:00 AM
Firstpage
673
Lastpage
703
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.940565
Filename
940565
Link To Document