13 research outputs found
A library of OCL specification patterns for behavioral specification of software components
A library of OCL specification patterns for behavioral specification of software components / J. Ackermann, K. Turowski. - In: Advanced information systems engineering / Eric Dubois ... (eds.). - Berlin [u.a.] : Springer, 2006. - S. S.255-269. – (Lecture notes in computer science ; 4001