Constructing Reusable Specifications Through Analogy.

Chia-Chu Chiang David Neubart

Published in: SAC (1999)

Keyphrases

software components
delay insensitive
high level
formal specification
control flow
analogical reasoning
machine learning
database systems
data structure
search algorithm
programming language
statistical mechanics