Abstract
The measures of functional distances between relational program specifications were defined using mathematical techniques. Distances were measured using values in a partially ordered sets that were used to capture various aspects of similarity between requirements specification. The definition of these measures of distances were correlated with pragmatic decisions that arose in the practice of software engineering and were used as a basis for quantifying these decisions. Statistical relationships were highlighted and were used as blueprints for computer assisted tools that supported these decisions.
Original language | English (US) |
---|---|
Pages (from-to) | 673-703 |
Number of pages | 31 |
Journal | IEEE Transactions on Software Engineering |
Volume | 27 |
Issue number | 8 |
DOIs | |
State | Published - Aug 2001 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Software
Keywords
- COTS integration
- Distance metrics
- Formal specifications
- Lattices
- Relational specifications
- Relations
- Software adaptation
- Software libraries