Mark Richters

21 papers A 1C 1Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2011 — conf
Failure management for cost-effective and efficient spacecraft Operation.
AHS
Enrico Noack, Tino Noack, Vijay Patel, Ingo Schmitt, Mark Richters, Johannes Stamminger, Sonja Sievi
2007 J jnl
USE: A UML-based specification environment for validating UML and OCL.
Sci. Comput. Program.
Martin Gogolla, Fabian Büttner, Mark Richters
2005 J jnl
Validating UML and OCL models in USE by automatic snapshot generation.
Softw. Syst. Model.
Martin Gogolla, Jörn Bohling, Mark Richters
2004 — conf
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.
Modellierung
Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann
2003 — conf
Validation of UML and OCL Models by Automatic Snapshot Generation.
UML
Martin Gogolla, Jörn Bohling, Mark Richters
2002 — —
A precise approach to validating UML models and OCL constraints.
Mark Richters
2002 — conf
Development of UML Descriptions with USE.
EurAsia-ICT
Martin Gogolla, Mark Richters
2002 — ch.
Expressing UML Class Diagrams Properties with OCL.
Object Modeling with the OCL
Martin Gogolla, Mark Richters
2002 — ch.
OCL: Syntax, Semantics, and Tools.
Object Modeling with the OCL
Mark Richters, Martin Gogolla
2001 — conf
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.
GI Jahrestagung (1)
Arne Lindow, Martin Gogolla, Mark Richters
2000 — conf
Validating UML Models and OCL Constraints.
UML
Mark Richters, Martin Gogolla
1999 — conf
A Metamodel for OCL.
UML
Mark Richters, Martin Gogolla
1999 — conf
Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).
ECOOP Workshops
Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder
1999 — conf
Towards Three-Dimensional Animation of UML Diagrams.
UML
Martin Gogolla, Oliver Radfelder, Mark Richters
1999 — conf
What Is the Current State of UML Semantics? What Are the Reference Documents.
ECOOP Workshops
Martin Gogolla, Mark Richters, Oliver Radfelder
1998 A conf
On Formalizing the UML Object Constraint Language OCL.
ER
Mark Richters, Martin Gogolla
1998 — conf
Transformation Rules for UML Class Diagrams.
UML
Martin Gogolla, Mark Richters
1997 — conf
A Web-based Animator for Object Specifications in a Persistent Environment.
TAPSOFT
Mark Richters, Martin Gogolla
1997 C conf
A Web-based Animator for Validating Object Specifications.
IDEAS
Mark Richters, Martin Gogolla
1997 — conf
On Constraints and Queries in UML.
UML Workshop
Martin Gogolla, Mark Richters
1997 — conf
On combining semiformal and formal object specification techniques.
WADT
Martin Gogolla, Mark Richters