Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams.
Asadullah ShaikhUffe Kock WiilNasrullah MemonPublished in: Adv. Softw. Eng. (2011)
Keyphrases
- class diagrams
- uml class diagrams
- class diagram
- sequence diagrams
- uml diagrams
- object oriented systems
- object oriented
- formal methods
- activity diagrams
- tool support
- metadata
- building blocks
- constraint language
- software artifacts
- software development
- description logics
- artificial intelligence
- reverse engineering
- software design
- database
- regression testing
- test cases
- case study