J. ackermann
发表
Formal Description of OCL Specification Patterns for Behavioral Specification of Software Components
J. ackermann,
2005
.
Ralph Riedel,
Wilfried Sihn,
E. Mueller,
2012
.