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 language | English (US) |
---|---|
Pages (from-to) | 257-276 |
Number of pages | 20 |
Journal | Theoretical Computer Science |
Volume | 247 |
Issue number | 1-2 |
DOIs | |
State | Published - Sep 28 2000 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science