A Roadmap for the Rodin Toolset.

Jean-Raymond Abrial Michael J. Butler Stefan Hallerstede Laurent Voisin

Published in: ABZ (2008)

Keyphrases

development process
model driven engineering
cooperative
information technology
general purpose
program understanding
data sets
metadata
case study