Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties.
Werner GaubeHeinrich C. MayrPeter C. LockemannPublished in: European Conference on Computer Algebra (2) (1985)
Keyphrases
- formal specification
- efficient retrieval
- query formulation
- semantic search
- information retrieval
- image retrieval
- search algorithm
- search space
- indexing techniques
- object oriented design
- model checking
- design methodology
- specification languages
- databases
- retrieval engine
- object oriented databases
- software components
- document retrieval
- retrieval systems
- information retrieval systems
- data warehouse