Concepedia

Martin Gogolla

MG

61

Publications

2.4K

Citations

25

H-Index

1984

Active since

Affiliations

University of Bremen(Current)

Universidad de Málaga

Technische Universität Braunschweig

Martin Gogolla is an author at University of Bremen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignSystems EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationData ModelingProgram Analysis

Publications per year

1984–2024

61

Publications

61

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

Specification Language, Formal Specification, Engineering +15

Validating UML and OCL models in USE by automatic snapshot generation

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

Software Maintenance, Engineering, Ocl Models +17

Validating UML models and OCL constraints

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

Engineering, Automated Reasoning, Verification +9

Conceptual modelling of database applications using an extended ER model

Gregor Engels, Martin Gogolla, Uwe Hohenstein et al. · Data & Knowledge Engineering · 1992 · 108 citations

Database Design, Engineering, Data Science +14

Towards a semantic view of an extended entity-relationship model

Martin Gogolla, Uwe Hohenstein · ACM Transactions on Database Systems · 1991 · 107 citations · Full text

Engineering, Semantics, Semantic Web +19

Rows per page

1–5 of 61