On Component-Based Reuse for Event-B.

Andrew Edmunds Colin F. Snook Marina Waldén

Published in: ABZ (2016)

Keyphrases

search algorithm
event detection
news articles
learning objects
news stories
software reuse
event driven
software evolution
event recognition
database
website
decision trees
multi agent systems