Semantic distance between specifications

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

Abstract

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
Volume247
Issue number1-2
DOIs
StatePublished - Sep 28 2000
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this