Supporting Reuse of Event-B Developments through Generic Instantiation.
Renato SilvaMichael J. ButlerPublished in: ICFEM (2009)
Keyphrases
- event detection
- learning objects
- application specific
- decision support
- database
- software reuse
- event recognition
- search engine
- events occurring
- complex events
- future development
- temporal patterns
- news articles
- domain specific
- multi agent systems
- clustering algorithm
- artificial intelligence
- genetic algorithm
- real world
- data sets