2007 |
19 | EE | Martin Gogolla,
Fabian Büttner,
Mark Richters:
USE: A UML-based specification environment for validating UML and OCL.
Sci. Comput. Program. 69(1-3): 27-34 (2007) |
2005 |
18 | EE | Martin Gogolla,
Jörn Bohling,
Mark Richters:
Validating UML and OCL models in USE by automatic snapshot generation.
Software and System Modeling 4(4): 386-398 (2005) |
2004 |
17 | | Martin Gogolla,
Mark Richters,
Jörn Bohling,
Arne Lindow,
Fabian Büttner,
Paul Ziemann:
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.
Modellierung 2004: 281-282 |
2003 |
16 | EE | Martin Gogolla,
Jörn Bohling,
Mark Richters:
Validation of UML and OCL Models by Automatic Snapshot Generation.
UML 2003: 265-279 |
2002 |
15 | EE | Martin Gogolla,
Mark Richters:
Development of UML Descriptions with USE.
EurAsia-ICT 2002: 228-238 |
14 | EE | Mark Richters,
Martin Gogolla:
OCL: Syntax, Semantics, and Tools.
Object Modeling with the OCL 2002: 42-68 |
13 | EE | Martin Gogolla,
Mark Richters:
Expressing UML Class Diagrams Properties with OCL.
Object Modeling with the OCL 2002: 85-114 |
2001 |
12 | | Arne Lindow,
Martin Gogolla,
Mark Richters:
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.
GI Jahrestagung (1) 2001: 662-676 |
2000 |
11 | EE | Mark Richters,
Martin Gogolla:
Validating UML Models and OCL Constraints.
UML 2000: 265-277 |
1999 |
10 | | Martin Gogolla,
Mark Richters,
Oliver Radfelder:
What Is the Current State of UML Semantics? What Are the Reference Documents.
ECOOP Workshops 1999: 40-41 |
9 | | Martin Gogolla,
Stuart Kent,
Tom Mens,
Mark Richters,
Oliver Radfelder:
Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).
ECOOP Workshops 1999: 45-49 |
8 | | Mark Richters,
Martin Gogolla:
A Metamodel for OCL.
UML 1999: 156-171 |
7 | | Martin Gogolla,
Oliver Radfelder,
Mark Richters:
Towards Three-Dimensional Animation of UML Diagrams.
UML 1999: 489-502 |
1998 |
6 | EE | Mark Richters,
Martin Gogolla:
On Formalizing the UML Object Constraint Language OCL.
ER 1998: 449-464 |
5 | | Martin Gogolla,
Mark Richters:
Transformation Rules for UML Class Diagrams.
UML 1998: 92-106 |
1997 |
4 | | Mark Richters,
Martin Gogolla:
A Web-based Animator for Validating Object Specifications.
IDEAS 1997: 211-219 |
3 | | Mark Richters,
Martin Gogolla:
A Web-based Animator for Object Specifications in a Persistent Environment.
TAPSOFT 1997: 867-870 |
2 | | Martin Gogolla,
Mark Richters:
On Constraints and Queries in UML.
UML Workshop 1997: 109-121 |
1 | | Martin Gogolla,
Mark Richters:
On combining semiformal and formal object specification techniques.
WADT 1997: 238-252 |