Semantic distance between specifications

  title={Semantic distance between specifications},
  author={Rym Mili and Jules Desharnais and Marc Frappier and Ali Mili},
  journal={Theor. Comput. Sci.},
We introduce operators that re ect semantic distance between relational speci cations. These operators capture the amount of functionality that distinguishes between two speci cations (i.e., functional features that appear in one speci cation but not the other). Applications of semantic distance abound in software engineering, most notably in software reuse. c © 2000 Elsevier Science B.V. All rights reserved. 

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.
Showing 1-10 of 37 references

Embedding a demonic semi-lattice in a relation algebra

J. Desharnais, N. Belkhither, +4 authors N. Zaguia
Theoret. Comput. Sci. (149) • 1995
View 3 Excerpts
Highly Influenced

Storing and retrieving software component: a re nement based approach

R. Mili, A. Mili, R. Mittermeir
IEEE Trans. Software Eng. 23 (7) • 1997
View 2 Excerpts

A calculus of program construction by parts

M. Frappier, J. Desharnais, A. Mili
SCICOP 26 (1–3), • 1996

Determining the reuse worthiness of a component: empirical and analytical approaches

R. Mili
Ph.D. Dissertation, University of Ottawa, • 1996

Embedding a demonic semilattice in a relation algebra , Theoret

N. Belkhither J. Desharnais, S. Sghaier, +3 authors N. Zaguia
Comput . Sci . • 1995

Speci cation matching of software components

J. M. Wing A. Moorman Zaremski
Proc . SIGSOFT ’ • 1995

Similar Papers

Loading similar papers…