A Library of OCL Specification Patterns for Behavioral Specification of Software Components.

Jrg Ackermann, Klaus Turowski

Browse the full CaiSE paper archive.