Dependency between Obligation and Capability
x:[int]/Ooš§ x![3]
y:[]/I, x:[int]/Ooš§ y?[].x![3]
y:[]/Ic, x:[int]/Ooš§ y?[].x![3]
Previous slide
Next slide
Back to first slide
View graphic version