Concepedia

Mark Richters

MR

9

Publications

1K

Citations

9

H-Index

1999

Active since

Affiliations

University of Bremen(Current)

Mark Richters is an author at University of Bremen specializing in engineering, verification, and formal methods.

Top concepts

Publications per year

1999–2007

9

Publications

9

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

Martin Gogolla, Fabian Büttner, Mark Richters · Science of Computer Programming · 2007 · 439 citations

, , +15

Validating UML and OCL models in USE by automatic snapshot generation

Martin Gogolla, Mark Richters · Software & Systems Modeling · 2005 · 189 citations

, , +17

A Precise Approach to Validating UML Models and OCL Constraints

Mark Richters · 2002 · 142 citations

Validating UML models and OCL constraints

Mark Richters, Martin Gogolla · Lecture notes in computer science · 2000 · 131 citations

, , +9

A metamodel for OCL

Mark Richters, Martin Gogolla · Lecture notes in computer science · 1999 · 50 citations

, , +4

Rows per page

1–5 of 9