Analysis By Contract: An Introduction To UMLs Object Constraint Language (ocl) | IEEE Conference Publication | IEEE Xplore