Traceability of Model RefinementExample 2
a
*
1
X
Y-Set
Y
a2
*
a1
1
1
Only reasonable workaround IMHO: Tool support
Ğrefineğ
Previous slide
Next slide
Back to first slide
View graphic version