Formal methods for evaluating information retrieval in hypertext systems.
Yuri QuintanaMohamed S. KamelRob McGeachyPublished in: SIGDOC (1993)
Keyphrases
- formal methods
- information retrieval
- safety critical
- reactive systems
- model checking
- formal analysis
- artificial intelligence
- retrieval systems
- knowledge based systems
- distributed systems
- formal specification
- security properties
- expert systems
- process algebra
- learning systems
- test collection
- software engineering
- information extraction
- adaptive systems
- database systems
- provably correct