Supporting Reuse of Event-B Developments through Generic Instantiation.

Renato Silva Michael J. Butler

Published 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