ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.

Manuel Clavel Marina Egea

Published in: AMAST (2006)

Keyphrases

class diagrams
uml class diagrams
class diagram
sequence diagrams
uml diagrams
activity diagrams
petri net
object oriented
description logics
intermediate representation
software design
case study
requirements analysis
reasoning systems
test cases
databases
goal oriented
artificial intelligence