|
Volumn 27, Issue 8, 2001, Pages 673-703
|
Defining and applying measures of distance between specifications
a
IEEE
(United States)
|
Author keywords
COTS integration; Distance metrics; Formal specifications; Lattices; Relational specifications; Relations; Software adaptation; Software libraries
|
Indexed keywords
SOFTWARE LIBRARIES;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER SOFTWARE REUSABILITY;
DIGITAL LIBRARIES;
FUNCTION EVALUATION;
PROBLEM SOLVING;
STATISTICAL METHODS;
COMPUTER AIDED SOFTWARE ENGINEERING;
|
EID: 0035418268
PISSN: 00985589
EISSN: None
Source Type: Journal
DOI: 10.1109/32.940565 Document Type: Article |
Times cited : (30)
|
References (61)
|