Composing Event-B Specifications - Case-Study Experience.

Ali Gondal Michael Poppleton Michael J. Butler

Published in: SC@TOOLS (2011)

Keyphrases

case study
event detection
lessons learned
event recognition
real world
business process
high level
software development
learning curve
programming language
knowledge management
user experience
finite state machines
reactive systems
delay insensitive