Consistency Checking and Visualization of OCL Constraints
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 294-308
- https://doi.org/10.1007/3-540-40011-7_21
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 TransformationPublished by World Scientific Pub Co Pte Ltd ,1999
- Mixing Visual and Textual Constraint LanguagesLecture Notes in Computer Science, 1999
- A Metamodel for OCLLecture Notes in Computer Science, 1999
- Reasoning with spider diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Formalizing spider diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- On Formalizing the UML Object Constraint Language OCLLecture Notes in Computer Science, 1998
- Constraint diagramsPublished by Association for Computing Machinery (ACM) ,1997
- Handbook of Graph Grammars and Computing by Graph TransformationPublished by World Scientific Pub Co Pte Ltd ,1997