Smart Bound Selection for the Verification of UML/OCL Class Diagrams.

Robert Clarisó Carlos A. González Jordi Cabot

Published in: IEEE Trans. Software Eng. (2019)

Keyphrases

class diagrams
uml class diagrams
class diagram
sequence diagrams
uml diagrams
object oriented
activity diagrams
description logics
petri net
model checking
reverse engineering
databases
software design
object oriented systems