Generating interactive documents for domain-specific validation of formal models.
Fabian VuChristopher HappeMichael LeuschelPublished in: Int. J. Softw. Tools Technol. Transf. (2024)
Keyphrases
- formal models
- domain specific
- formal model
- rule based systems
- process model
- domain independent
- information retrieval
- document collections
- web documents
- general purpose
- xml documents
- document retrieval
- interactive retrieval
- information retrieval systems
- user queries
- metadata
- text documents
- document classification
- document analysis
- retrieval systems
- ranked list
- user interaction
- knowledge based systems
- decision making
- document clustering
- relation extraction
- multi document summarization
- keywords