A Practical Event-B Refinement Method Based on a UML-Driven Development Process.

Thiago C. de Sousa Paulo Sérgio Muniz Silva Colin F. Snook

Published in: ABZ (2012)

Keyphrases

development process
software engineering
case study
databases
planning process
database
machine learning
information systems
user interface
object oriented
software systems
software quality