dblp.uni-trier.dewww.uni-trier.de

Mark Richters

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jörn Bohling [16] [17] [18]
2Fabian Büttner [17] [19]
3Martin Gogolla [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
4Stuart Kent [9]
5Arne Lindow [12] [17]
6Tom Mens [9]
7Oliver Radfelder [7] [9] [10]
8Paul Ziemann [17]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)