Using Formal Specifications for Component Retrieval and Reuse.
John PenixPerry AlexanderPublished in: HICSS (3) (1998)
Keyphrases
- formal specification
- object oriented design
- software components
- software reuse
- specification languages
- case retrieval
- model checking
- image database
- process algebra
- image retrieval
- concurrent systems
- specification language
- query expansion
- information retrieval
- reverse engineering
- information retrieval systems
- formal methods
- retrieval systems
- design methodology
- software development
- relevance feedback
- database
- database design
- software systems
- access control
- case based reasoning
- artificial intelligence