Gogolla, Martin
Cited by
Cited by
USE: A UML-based specification environment for validating UML and OCL
M Gogolla, F Büttner, M Richters
Science of Computer Programming 69 (1-3), 27-34, 2007
Validating UML and OCL models in USE by automatic snapshot generation
M Gogolla, J Bohling, M Richters
Software & Systems Modeling 4, 386-398, 2005
On formalizing the UML object constraint language OCL
M Richters, M Gogolla
Conceptual Modeling–ER’98: 17th International Conference on Conceptual …, 1998
Model transformations? Transformation models!
J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow
Model Driven Engineering Languages and Systems, 440-453, 2006
Validating UML models and OCL constraints
M Richters, M Gogolla
≪ UML≫ 2000—The Unified Modeling Language: Advancing the Standard Third …, 2001
Object constraint language (OCL): a definitive guide
J Cabot, M Gogolla
Formal Methods for Model-Driven Engineering: 12th International School on …, 2012
Conceptual modelling of database applications using an extended ER model
G Engels, M Gogolla, U Hohenstein, K Hülsmann, P Löhr-Richter, ...
Data & Knowledge Engineering 9 (2), 157-204, 1992
OCL: Syntax, semantics, and tools
M Richters, M Gogolla
Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002
Towards a semantic view of an extended entity-relationship model
M Gogolla, U Hohenstein
ACM Transactions on Database Systems (TODS) 16 (3), 369-416, 1991
Verifying UML/OCL models using Boolean satisfiability
M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
Using models at runtime to address assurance for self-adaptive systems
BHC Cheng, KI Eder, M Gogolla, L Grunske, M Litoiu, HA Müller, ...
Models@ run. time: foundations, applications, and roadmaps, 101-136, 2014
State diagrams in UML: A formal semantics using graph transformations
M Gogolla, F Parisi-Presicce
Proceedings PSMT 98, 55-72, 1998
From UML and OCL to relational logic and back
M Kuhlmann, M Gogolla
Model Driven Engineering Languages and Systems: 15th International …, 2012
Expressing UML class diagrams properties with OCL
M Gogolla, M Richters
Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002
Extensive validation of OCL models by integrating SAT solving into USE
M Kuhlmann, L Hamann, M Gogolla
Objects, Models, Components, Patterns: 49th International Conference, TOOLS …, 2011
An integrated semantics for UML class, object and state diagrams based on graph transformation
S Kuske, M Gogolla, R Kollmann, HJ Kreowski
Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002
Validation of UML and OCL models by automatic snapshot generation
M Gogolla, J Bohling, M Richters
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
An extended entity-relationship model: fundamentals and pragmatics
M Gogolla
Springer Berlin Heidelberg, 1994
Verification of ATL transformations using transformation models and model finders
F Büttner, M Egea, J Cabot, M Gogolla
Formal Methods and Software Engineering: 14th International Conference on …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20