Semantic distance between specifications

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili

Research output: Contribution to journalArticlepeer-review

14 Scopus citations


We introduce operators that reflect semantic distance between relational specifications. These operators capture the amount of functionality that distinguishes between two specifications (i.e., functional features that appear in one specification but not the other). Applications of semantic distance abound in software engineering, most notably in software reuse.

Original languageEnglish (US)
Pages (from-to)257-276
Number of pages20
JournalTheoretical Computer Science
Issue number1-2
StatePublished - Sep 28 2000
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Semantic distance between specifications'. Together they form a unique fingerprint.

Cite this