Specifications as Search Keys for Software Libraries.
Eugene J. RollinsJeannette M. WingPublished in: ICLP (1991)
Keyphrases
- search space
- search algorithm
- written in natural language
- high level
- search efficiency
- software architecture
- search queries
- search strategies
- search strategy
- software systems
- software development
- neural network
- design patterns
- information retrieval systems
- formal specification
- search tools
- digital libraries
- bug localization
- information systems