 | 2007 |
|---|
| 19 |       | 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 | | 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 | | Martin Gogolla,
Jörn Bohling,
Mark Richters:
Validation of UML and OCL Models by Automatic Snapshot Generation.
UML 2003: 265-279 |
| 2002 |
|---|
| 15 | | Martin Gogolla,
Mark Richters:
Development of UML Descriptions with USE.
EurAsia-ICT 2002: 228-238 |
| 14 | | Mark Richters,
Martin Gogolla:
OCL: Syntax, Semantics, and Tools.
Object Modeling with the OCL 2002: 42-68 |
| 13 | | 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 | | 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 | | 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 |
