"A Library of OCL Specification Patterns for Behavioral Specification of ..."

Jörg Ackermann, Klaus Turowski (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics