An Abductive Approach for Analysing Event-Based Requirements Specifications.
Alessandra RussoRob MillerBashar NuseibehJeff KramerPublished in: ICLP (2002)
Keyphrases
- functional requirements
- written in natural language
- high level
- user requirements
- class diagram
- delay insensitive
- software requirements
- design requirements
- event driven
- explanation based learning
- domain theory
- abductive reasoning
- requirements engineering
- plan recognition
- real time
- development process
- event detection
- logic programming
- software engineering
- website
- search engine
- artificial intelligence
- information retrieval