Specification with OCL
Monday, 04 January 2010 16:23
Birgit Demuth
Introduction to specification with OCL, largely based on slides by Birgit Demuth, also on this portal.
LaTeX/beamer sources can be obtained from the author Jurriaan Hage. The slides as pdf you can find
here
.