Modeling in event-b - system and software engineering by Jean-Raymond Abrial.

Aryldo G. Russo

Published in: ACM SIGSOFT Softw. Eng. Notes (2011)

Keyphrases

software engineering
event detection
data sets
object oriented
artificial intelligence
programming language
software systems
development process
design patterns
software projects
modeling language
modeling method
software reuse