Consistency Checking and Visualization of OCL Constraints
Authors:
- Gabriele TaentzerGTGabriele Taentzer
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 294-308
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Consistency Checking and Visualization of OCL ConstraintsLecture Notes in Computer Science, 2000
- Handbook of Graph Grammars and Computing by Graph Transformation1999
- Mixing Visual and Textual Constraint Languages1999
- A Metamodel for OCLLecture Notes in Computer Science, 1999
- Reasoning with spider diagrams1999
- Formalizing spider diagrams1999
- On Formalizing the UML Object Constraint Language OCL1998
- Constraint diagrams1997
- Handbook of Graph Grammars and Computing by Graph Transformation1997