UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing.

Asadullah Shaikh Uffe Kock Wiil

Published in: SIGSOFT FSE (2012)

Keyphrases

class diagram
class diagrams
metamodel
uml class diagrams
modeling language
description logics
expert systems
open source
conceptual model
software design