Defining and applying measures of distance between specifications

Lamia Labed Jilani, Jules Desharnais, Ali Mili

Research output: Contribution to journalArticlepeer-review

30 Scopus citations


The measures of functional distances between relational program specifications were defined using mathematical techniques. Distances were measured using values in a partially ordered sets that were used to capture various aspects of similarity between requirements specification. The definition of these measures of distances were correlated with pragmatic decisions that arose in the practice of software engineering and were used as a basis for quantifying these decisions. Statistical relationships were highlighted and were used as blueprints for computer assisted tools that supported these decisions.

Original languageEnglish (US)
Pages (from-to)673-703
Number of pages31
JournalIEEE Transactions on Software Engineering
Issue number8
StatePublished - Aug 2001
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software


  • COTS integration
  • Distance metrics
  • Formal specifications
  • Lattices
  • Relational specifications
  • Relations
  • Software adaptation
  • Software libraries


Dive into the research topics of 'Defining and applying measures of distance between specifications'. Together they form a unique fingerprint.

Cite this