Checking General Safety Criteria on UML Statecharts.

Zsigmond Pap István Majzik András Pataricza

Published in: SAFECOMP (2001)

Keyphrases

special case
class diagrams
closely related
multi criteria
conceptual modeling
software systems
database design
information systems
database systems
evaluation criteria
object oriented modeling
uml models