Login / Signup
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Ana Fernández Vilas
Ana Belén Barragáns-Martínez
Published in:
EUROMICRO (2002)
Keyphrases
</>
formal specification
information retrieval
object oriented design
information systems
image database
information retrieval systems
reverse engineering
relevance feedback
object oriented
business process
test collection
model checking
document retrieval