Mark Richters

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Enrico Noack, Tino Noack, Vijay Patel, Ingo Schmitt, Mark Richters, Johannes Stamminger, Sonja Sievi
Failure management for cost-effective and efficient spacecraft Operation. AHS (2011)
Martin Gogolla, Fabian Büttner, Mark Richters
USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69 (1-3) (2007)
Martin Gogolla, Jörn Bohling, Mark Richters
Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4 (4) (2005)
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)
Martin Gogolla, Jörn Bohling, Mark Richters
Validation of UML and OCL Models by Automatic Snapshot Generation. UML (2003)
Martin Gogolla, Mark Richters
Expressing UML Class Diagrams Properties with OCL. Object Modeling with the OCL (2002)
Martin Gogolla, Mark Richters
Development of UML Descriptions with USE. EurAsia-ICT (2002)
Martin Gogolla, Mark Richters
OCL: Syntax, Semantics, and Tools. Object Modeling with the OCL (2002)
Arne Lindow, Martin Gogolla, Mark Richters
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. GI Jahrestagung (1) (2001)
Mark Richters, Martin Gogolla
Validating UML Models and OCL Constraints. UML (2000)
Mark Richters, Martin Gogolla
A Metamodel for OCL. UML (1999)
Martin Gogolla, Oliver Radfelder, Mark Richters
Towards Three-Dimensional Animation of UML Diagrams. UML (1999)
Martin Gogolla, Mark Richters, Oliver Radfelder
What Is the Current State of UML Semantics? What Are the Reference Documents. ECOOP Workshops (1999)
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)
Mark Richters, Martin Gogolla
On Formalizing the UML Object Constraint Language OCL. ER (1998)
Martin Gogolla, Mark Richters
Transformation Rules for UML Class Diagrams. UML (1998)
Martin Gogolla, Mark Richters
On Constraints and Queries in UML. UML Workshop (1997)
Mark Richters, Martin Gogolla
A Web-based Animator for Object Specifications in a Persistent Environment. TAPSOFT (1997)
Mark Richters, Martin Gogolla
A Web-based Animator for Validating Object Specifications. IDEAS (1997)
Martin Gogolla, Mark Richters
On combining semiformal and formal object specification techniques. WADT (1997)

Mark Richters.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Mark Richters