Mark Richters

According to our database, Mark Richters authored at least 21 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Failure management for cost-effective and efficient spacecraft Operation.

Enrico Noack, Tino Noack, Vijay Patel, Ingo Schmitt, Mark Richters, Johannes Stamminger, Sonja Sievi

Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems, 2011

2007

USE: A UML-based specification environment for validating UML and OCL.

Martin Gogolla, Fabian Büttner, Mark Richters

Sci. Comput. Program., 2007

2005

Validating UML and OCL models in USE by automatic snapshot generation.

Martin Gogolla, Jörn Bohling, Mark Richters

Softw. Syst. Model., 2005

2004

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.

Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003

Validation of UML and OCL Models by Automatic Snapshot Generation.

Martin Gogolla, Jörn Bohling, Mark Richters

Proceedings of the «UML» 2003, 2003

2002

A precise approach to validating UML models and OCL constraints.

Mark Richters

PhD thesis, 2002

OCL: Syntax, Semantics, and Tools.

Mark Richters, Martin Gogolla

Proceedings of the Object Modeling with the OCL, 2002

Expressing UML Class Diagrams Properties with OCL.

Martin Gogolla, Mark Richters

Proceedings of the Object Modeling with the OCL, 2002

Development of UML Descriptions with USE.

Martin Gogolla, Mark Richters

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

2001

Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.

Arne Lindow, Martin Gogolla, Mark Richters

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

Validating UML Models and OCL Constraints.

Mark Richters, Martin Gogolla

Proceedings of the «UML» 2000, 2000

1999

A Metamodel for OCL.

Mark Richters, Martin Gogolla

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Towards Three-Dimensional Animation of UML Diagrams.

Martin Gogolla, Oliver Radfelder, Mark Richters

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

What Is the Current State of UML Semantics? What Are the Reference Documents.

Martin Gogolla, Mark Richters, Oliver Radfelder

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).

Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Transformation Rules for UML Class Diagrams.

Martin Gogolla, Mark Richters

Proceedings of the Unified Modeling Language, 1998

On Formalizing the UML Object Constraint Language OCL.

Mark Richters, Martin Gogolla

Proceedings of the Conceptual Modeling, 1998

1997

On combining semiformal and formal object specification techniques.

Martin Gogolla, Mark Richters

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

On Constraints and Queries in UML.

Martin Gogolla, Mark Richters

Proceedings of the Unified Modeling Language, 1997

A Web-based Animator for Object Specifications in a Persistent Environment.

Mark Richters, Martin Gogolla

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Web-based Animator for Validating Object Specifications.

Mark Richters, Martin Gogolla

Proceedings of the International Database Engineering and Applications Symposium, 1997