Overview
![]()
REBOUND (REuse Based On UNDerstanding) represented our first
effort at component retrieval. Deveoloped by John Penix,
REBOUND used HOL to automatically derive features and a simple
database to retrieve matches. REBOUND resulted in the
fundamental principle of feature-based retrieval that lies at
the heart of all following prototypes.
The SOCCER and SOCCER II systems fully automated feature
derivation and matching in the PVS theorem proving system and
moved to Rosetta as the component specification language.
SOCCER was a proof-of-concept demonstration while SOCCER II was
the first end-to-end component retrieval prototype developed in
our lab.
The SPARTACAS system represented a major step forward by adding
adaptation to the retrieval process. SPARTACAS implemented
standard black-box adaptation techniques that reuse components
by situating them in adaptation architectures.
Sponsors
This work was sponsored in part by grants from NASA and AFRL.
