Consistency checking and visualization of OCL constraints

Constraint diagrams

Stuart Kent · 1997 · 180 citations · Full text

Architecture, Computer Science, Mathematics +17

Reasoning with UML class diagrams

Andy Evans · 2002 · 87 citations

Computing, Computer Science, Formal Methods +16

Formalizing spider diagrams

J. Gil, John Howse, Stuart Kent · 1999 · 65 citations

Computing, Computer Science, Mathematics +15

A metamodel for OCL

Mark Richters, Martin Gogolla · Lecture notes in computer science · 1999 · 50 citations

Engineering, Computer Science, Formal Methods +8

ViewPoint-oriented software development by distributed graph transformation: towards a basis for living with inconsistencies

Michael Goedicke, Torsten Meyer, Gabriele Taentzer · 2003 · 42 citations

Computing, Computer Science, Distributed Systems +9