Verifying the Reusability of Software Component Specifications: Framework and Algorithms.

Yih-Feng Hwang David C. Rine

Published in: Inf. Sci. (1998)

Keyphrases

software components
computationally efficient
learning algorithm
probabilistic model
theoretical analysis
software reuse
database
data mining
artificial intelligence
cooperative
computational complexity
software architecture
black box
development environment
specification language
delay insensitive