A First Attempt to Express KAOS Refinement Patterns with Event B.
Abderrahman MatoussiFrédéric GervaisRégine LaleauPublished in: ABZ (2008)
Keyphrases
- temporal patterns
- pattern discovery
- goal oriented
- event detection
- event driven
- event streams
- frequent patterns
- design patterns
- temporal relationships
- interesting patterns
- pattern analysis
- temporal events
- complex patterns
- spatial patterns
- neural network
- news articles
- pattern mining
- evolutionary algorithm
- information retrieval