Event-B Patterns and Their Tool Support.

Thai Son Hoang Andreas Fürst Jean-Raymond Abrial

Published in: SEFM (2009)

Keyphrases

tool support
temporal patterns
pattern mining
software tools
design decisions
data mining techniques
pattern discovery
temporal events
event streams
artificial intelligence
data sets
software engineering
software projects