Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams.

Asadullah Shaikh Uffe Kock Wiil

Published in: IEEE Access (2018)

Keyphrases

class diagrams
uml class diagrams
class diagram
sequence diagrams
object oriented
activity diagrams
uml diagrams
formal methods
metamodel
database
petri net
reverse engineering
intermediate representation
constraint language
model checking
software development
description logics
database systems