Event-B patterns and their tool support.

Thai Son Hoang Andreas Fürst Jean-Raymond Abrial

Published in: Softw. Syst. Model. (2013)

Keyphrases

tool support
temporal patterns
software tools
software development
event streams
software projects
data mining techniques
artificial intelligence
data mining
software engineering
design decisions
event types
life cycle
pattern mining
temporal structure
temporal events
information systems