Slide 1 1 Formal Specifications for Complex Systems (236368) Tutorial #7 OCL Object Constraint Language Slide 2 236368 Emilia Katz, Shahar Dag2 OCL Added to UML class diagrams…
