Research Article

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Figure 3

Flowgraph of the model Coach.
370198.fig.003