Login / Signup
Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Ana Fernández Vilas
Ana Belén Barragáns-Martínez
Published in:
ICSM (2002)
Keyphrases
</>
formal specification
object oriented design
information retrieval systems
artificial intelligence
model checking
image retrieval
relational databases
image database
query expansion
test collection
key features
formal methods
case retrieval
concurrent systems