Research Article
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Table 11
Description of the examples.
| Example | Classes | Associations | Attributes | Invariants |
| Paper-Researcher | 2 | 2 | 6 | 1 | Coach | 15 | 12 | 2 | 2 | DBLP | 17 | 27 | 38 | 26 | Tracking System | 50 | 60 | 72 | 5 | Script 1 | 100 | 110 | 122 | 2 | Script 2 | 500 | 510 | 522 | 5 | Script 3 | 1000 | 1010 | 1022 | 5 |
|
|