Extracting frame conditions from operation contracts
Modelling
, Model-Driven Development Philipp Niemann
, Frank Hilken
, Martin Gogolla
and Robert Wille
Full Text: PDF
Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-646-6