A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML.

Published in: VVEIS (2004)

Keyphrases

class diagrams
consistency checking
object oriented
uml class diagrams
unified modeling language
software development
data sets
information systems
data model
state space
software systems
finite state machines
sequence diagrams
class diagram
uml activity diagrams