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.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)