Gogolla, Martin
Gogolla, Martin
Professor für Informatik, University of Bremen
E-mail megerősítve itt: informatik.uni-bremen.de
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
5112007
On formalizing the UML object constraint language OCL
M Richters, M Gogolla
International Conference on Conceptual Modeling, 449-464, 1998
2631998
Validating UML and OCL models in USE by automatic snapshot generation
M Gogolla, J Bohling, M Richters
Software & Systems Modeling 4 (4), 386-398, 2005
2622005
Validating UML models and OCL constraints
M Richters, M Gogolla
International Conference on the Unified Modeling Language, 265-277, 2000
2422000
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
2262006
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
1931992
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
1921991
OCL: Syntax, semantics, and tools
M Richters, M Gogolla
Object Modeling with the OCL, 42-68, 2002
1752002
Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie
HD Ehrich, M Gogolla, UW Lipeck
Springer-Verlag, 2013
1692013
Object constraint language (OCL): a definitive guide
J Cabot, M Gogolla
International School on Formal Methods for the Design of Computer …, 2012
1652012
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
1612010
State diagrams in uml: A formal semantics using graph transformations-or diagrams are nice, but graphs are worth their price
M Gogolla, FP Presicce
University of Munich, 1998
1361998
Expressing UML class diagrams properties with OCL
M Gogolla, M Richters
Object Modeling with the OCL, 85-114, 2002
1252002
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, 101-136, 2014
1202014
From UML and OCL to relational logic and back
M Kuhlmann, M Gogolla
International Conference on Model Driven Engineering Languages and Systems …, 2012
1122012
Validation of UML and OCL models by automatic snapshot generation
M Gogolla, J Bohling, M Richters
International Conference on the Unified Modeling Language, 265-279, 2003
1082003
An integrated semantics for UML class, object and state diagrams based on graph transformation
S Kuske, M Gogolla, R Kollmann, HJ Kreowski
International Conference on Integrated Formal Methods, 11-28, 2002
1072002
Extensive validation of OCL models by integrating SAT solving into USE
M Kuhlmann, L Hamann, M Gogolla
International Conference on Modelling Techniques and Tools for Computer …, 2011
1022011
A metamodel for OCL
M Richters, M Gogolla
International Conference on the Unified Modeling Language, 156-171, 1999
1011999
An extended entity-relationship model: fundamentals and pragmatics
M Gogolla
Springer, 1994
991994
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20