Kontakt | Impressum | English Englisch
Zur Startseite der Universität Bremen






Foto Gogolla

Herr
Prof. Dr. Martin Gogolla

Fachbereich 03
Mathematik/Informatik Mathematik/Informatik

E-Mail: gogolla@informatik.uni-bremen.de

Zugehörigkeiten | Forschungsthemen | Kooperationen | Projekte | Wissenschaftliche Aktivitäten | Ressourcen


Zugehörigkeiten

Zugehörigkeit zu einem Wissenschaftsschwerpunkt der Universität Bremen
» Minds Media Machines


Zugehörigkeit zu einem universitären Institut
Kürzel Bezeichnung deutsch Bezeichnung englisch Funktion Schlagwörter deutsch Schlagwörter englisch
TZI  Technologie Zentrum Informatik und Informationstechnik  Center for Computing and Communication Technologies  Mitglied     



Zugehörigkeit zur Arbeitsgruppe/zur Professur
Kürzel Bezeichnung deutsch Bezeichnung englisch Fachbereich Schlagwörter deutsch Schlagwörter englisch
AGDBS  Arbeitsgruppe Datenbanksysteme  Research Group for Database Systems  FB03     




Forschungsthemen
Ingenieurwissenschaften
» Informatik


Kooperationen

WissenschaftlerInnen mit Kooperation
Institution Stadt Kategorie Herkunftsland
Koordinierungsstelle für IT-Standards Bremen Non-Profit-Unternehmen/Selbstverwaltungseinrichtung Deutschland
Object Management Group Needham, MA 02494 USA Non-Profit-Unternehmen/Selbstverwaltungseinrichtung Vereinigte Staaten von Amerika
University of Malaga Malaga Hochschule Ausland Spanien
AtlanMod, Ecole des Mines de Nantes, INRIA, LINA Nantes Non-Profit-Unternehmen/Selbstverwaltungseinrichtung Frankreich



Projekte

Bedeutendste Projekte
Kürzel Bezeichnung deutsch Bezeichnung englisch Kooperationspartner Mittelgeber Laufzeit
VV4OCL Entwicklung eines modularen Frameworks für die automatische Validation und Verifikation von UML/OCL-Modellen Development of a modular framework for the automatic validation and verification of UML/OCL models AG Rechnerarchitektur, Universität Bremen DFG 2013 - 2015
XÖV-Support Datenaustausch in der öffentliche Verwaltung Dataexchange in public Administration KOSIT Bund und Land Bremen 2007 - (lau
SEGRAVIS Syntaktische und Semantische Integration Visueller Modellierungstechniken Syntactic and Semantic Integration of Visual Modelling Techniques www.segravis.org/ Drittmittel: EU (Research Training Network) 2002 - 2006
AMUSE Eine Modifikation von USE (A Modification of USE A Modification of USE (AMUSE) Universität Bremen 2002 - 2004
BOS-UML-Tutorial Schulung in UML und OCL Tutorial in UML and OCL Drittmittel: BOS GmbH, Bremen 2001 - 2001
MMISS Multimedia-Instruktion in Sicheren Systemen Multimedia Instruction in Secure Systems Drittmittel: BMBF, Bonn 2001 - 2003
UML-AID-DFG Unified Modeling Language UML - Abstrakte Implementierung und Dokumentation - DFG Unified Modeling Language UML - Abstract Implementation and Documentation - DFG Drittmittel: DFG, Bonn 2000 - 2005
UML-AID-ISP Unified Modeling Language UML - Abstrakte Implementierung und Dokumentation - ISP Unified Modeling Language UML - Abstract Implementation and Documentation - ISP Drittmittel: Land Bremen (ISP) 2000 - 2003
ATLAS-STN Re-Engineering eines Objekt-orientierten Datenbankschemas Re-Engineering of an Object-Oriented Database Schema Drittmittel: ATLAS-STN GmbH, Bremen 1999 - 2001
IDB-SOLID-UMLSpec ID Bremen - Sozialdienstleistungen im Dialog - UML-Spezifikation ID Bremen - Social Contributions in Dialog - UML Specification Drittmittel: ID Bremen GmbH 1999 - 2001
VROOM Virtuelle Realität und Objekt-Orientierte Modellierung Virtual Reality and Object-Oriented Modeling Universität Bremen 1999 - 2001
VWL-IS Verbundwerkstofflabor Informationssystem Compound Material Laboratory Information System Drittmittel: Senator für Wirtschaft und Häfen, Bremen 1998 - 2001
TROLL-light-Animator Entwicklung einer Software-Spezifikationsumgebung für TROLL light Development of a Software Specification Environment for TROLL light http://www.informatik.uni-bremen.de/agbkb/compass/wg_e.htm Drittmittel: EU (ESPRIT BRA) 1997 - 1999
SIGN Software-Implementierung durch Graphische Notation Software Implementation with a Graphical Notation Universität Bremen 1996 - 1998


Mittelgeber der letzten fünf Jahre (Öffentliche Einrichtungen und Stiftungen)
» DFG
» Andere öffentliche Einrichtungen


Expertise
Formal specification of safe and secure systems
Graph grammars and graph transformations
Semantics of languages, especially data base languages
Formal methods in information systems design
Object-oriented software development




Wissenschaftliche Aktivitäten


Publikationen (Hyperlink)
Link (extern): http://www.db.informatik.uni-bremen.de/publications/ http://www.db.informatik.uni-bremen.de/publications/


Bedeutendste Publikationen
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (Herausgeber)
Art
Autor/enLars Hamann, Martin Gogolla
Jahr2013
InProc. Int. Conf. on MODELS (2013)
JahrgangSpringer, LNCS 8107
Seiten488-504
Konferenzbeitrag
 
Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation Policies with UML and OCL
Art
Autor/enKarsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
Jahr2012
InInformation and Software Technology
Jahrgang54
Heft12
Seiten1396-1417
Zeitschriftenaufsatz
 
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
Art
Autor/enMirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
Jahr2012
InSoftware and Systems Modeling
Jahrgang11
Heft2
Seiten165-182
Zeitschriftenaufsatz
 
From UML and OCL to Relational Logic and Back (Herausgeber)
Art
Autor/enMirco Kuhlmann, Martin Gogolla
Jahr2012
InProc. Int. Conf. on MODELS (2012)
HeftSpringer, LNCS 7590
Seiten415-431
Konferenzbeitrag
 
USE: A UML-Based Specification Environment for Validating UML and OCL
Art
Autor/enMartin Gogolla, Fabian Büttner, Mark Richters
Jahr2007
InScience of Computer Programming
Jahrgang69
Seiten27-34
Zeitschriftenaufsatz
 


 

Promotionen (Hyperlink)
Link (extern): http://www.db.informatik.uni-bremen.de/publications/ http://www.db.informatik.uni-bremen.de/publications/



Ressourcen
 




« zurück