Martin Gogolla

• Martin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML, Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), 2002, (BibTeX entry).
• Martin Gogolla, Francesco Parisi-Presicce: State Diagrams in UML: A Formal Semantics using Graph Transformations, PSMT - Workshop on Precise Semantics for Software Modeling Techniques, 1998, (BibTeX entry).
• Martin Gogolla, Mark Richters: On Constraints and Queries in UML, Workshop "Einsatz, Bewertung und Stand der Unified Modeling Language (UML)", 1997, (BibTeX entry).
• Martin Gogolla, Mark Richters: Equivalence Rules for UML Class Diagrams, UML'98: Beyond the Notation - International Workshop (Preliminary Proceedings), 1998, (BibTeX entry).
• Martin Gogolla, Mark Richters: Transformation Rules for UML Class Diagrams, UML'98: Beyond the Notation - International Workshop (Final Proceedings), 1998, (BibTeX entry).
• Mark Richters, Martin Gogolla: A Metamodel for OCL, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• Martin Gogolla, Oliver Radfelder, Mark Richters: Towards Three-Dimensional Animation of UML Diagrams, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• Mark Richters, Martin Gogolla: Validating UML Models and OCL Constraints, Third International Conference on the Unified Modeling Language: UML 2000, 2000, (BibTeX entry).
• Hanna Bauerdick, Martin Gogolla, Fabian Gutsche: Detecting OCL Traps in the UML 2.0 Superstructure An Experience Report, Seventh International Conference on the Unified Modeling Language - the Language and its applications, 2004, (BibTeX entry).
• Fabian Büttner, Martin Gogolla: On Generalization and Overriding in UML 2.0, OCL and Model Driven Engineering, 2004, (BibTeX entry).
• Martin Gogolla, Jörn Bohling, Mark Richters: Validation of UML and OCL Models by Automatic Snapshot Generation, Sixth International Conference on the Unified Modeling Language - the Language and its applications, 2003, (BibTeX entry).
• Martin Gogolla, Brian Henderson-Sellers: Analysis of UML Stereotypes within the UML Metamodel, Fifth International Conference on the Unified Modeling Language - the Language and its applications, 2002, (BibTeX entry).
• Mark Richters, Martin Gogolla: Aspect-Oriented Monitoring of UML and OCL Constraints, The 4th AOSD Modeling With UML Workshop, 2003, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: An Extension of OCL with Temporal Logic, Workshop on Critical Systems Development with UML, 2002, (BibTeX entry).
• Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann: Metamodel Transformation of Data Models, Workshop in Software Model Engineering, 2002, (BibTeX entry).
• Mark Richters, Martin Gogolla: OCL: Syntax, Semantics, and Tools , Springer, 2002, (BibTeX entry).
• Martin Gogolla, Mark Richters: Expressing UML Class Diagrams Properties with OCL, Springer, 2002, (BibTeX entry).
• Franck Barbier, Brian Henderson-Sellers, Andreas L. Opdahl, Martin Gogolla: The Whole-Part Relationship in the Unified Modeling Language: A New Approach, Idea Publishing Group, 2001, (BibTeX entry).
• Fabian Büttner, Martin Gogolla: Realizing UML Metamodel Transformations with AGG, Elsevier, 2004, (BibTeX entry).
• Martin Gogolla, Mark Richters: On Combining Semi-Formal and Formal Object Specification Techniques, Springer, 1998, (BibTeX entry).
• Martin Gogolla: UML for the Impatient, 1998, (BibTeX entry).
• Martin Gogolla, Oliver Radfelder, Mark Richters: A UML Semantics FAQ - The View from Bremen, University of Brighton, 1999, (BibTeX entry).
• Martin Gogolla, Mark Richters: Definition von UML mit UML und OCL: Ein Überblick zum Stand der Technik, Universität Koblenz-Landau, Fachbereich Informatik, 2000, (BibTeX entry).
• Martin Gogolla, Ralf Kollmann: Re-Documentation of Java with UML Class Diagrams, Reengineering Forum, Burlington, Massachusetts, 2000, (BibTeX entry).
• Martin Gogolla: Graph Transformations on the UML Metamodel, Carleton Scientific, Waterloo, Ontario, Canada, 2000, (BibTeX entry).
• Martin Gogolla, Oliver Radfelder, Ralf Kollmann, Mark Richters: Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel, LMU München, Informatik-Bericht Nr. 0006, 2000, (BibTeX entry).
• Martin Gogolla: Formal Methods versus UML's OCL, Dagstuhl-Seminar-Report 308, 2001, (BibTeX entry).
• Martin Gogolla: Using OCL for Defining Precise, Domain-Specific UML Stereotypes, Centre for Advanced Software Engineering Research (CAESER), University of New South Wales, Sydney, 2001, (BibTeX entry).
• Martin Gogolla, Mark Richters: Development of UML Descriptions with USE, Springer, 2002, (BibTeX entry).
• Martin Gogolla, Arne Lindow: Transforming Data Models with UML, IOS Press, 2003, (BibTeX entry).
• Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann: Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung, Gesellschaft für Informatik, 2004, (BibTeX entry).
• Martin Gogolla, Paul Ziemann: Checking BART Test Scenarios with UML's Object Constraint Language, Kluwer Academic Publishers, 2004, (BibTeX entry).
• Ralf Kollmann, Martin Gogolla: Capturing Dynamic Program Behaviour with UML Collaboration Diagrams, IEEE Computer Society, 2001, (BibTeX entry).
• Ralf Kollmann, Martin Gogolla: Selektive Darstellung von Programmstrukturen mit UML, Universität Koblenz, Technischer Bericht, http://www.uni-koblenz.de/~ist/WSR2001, 2001, (BibTeX entry).
• Ralf Kollmann, Martin Gogolla: Application of the UML Associations and Their Adornments in Design Recovery, IEEE Computer Society, 2001, (BibTeX entry).
• Ralf Kollmann, Martin Gogolla: Metric-Based Selective Representation of UML Diagrams, IEEE Computer Society, 2002, (BibTeX entry).
• Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski: An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation, Springer, 2002, (BibTeX entry).
• Arne Lindow, Martin Gogolla: Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke, German Informatics Society, 2004, (BibTeX entry).
• Oliver Radfelder, Martin Gogolla: On Better Understanding UML Diagrams through Interactive Three-Dimensional Visualization and Animation, ACM Press, New York, 2000, (BibTeX entry).
• Mark Richters, Martin Gogolla: On Formalizing the UML Object Constraint Language OCL, Springer, 1998, (BibTeX entry).
• Mark Richters, Martin Gogolla: On the Need for a Precise OCL Semantics, Colorado State University, Fort Collins, Colorado, 1999, (BibTeX entry).
• Mark Richters, Martin Gogolla: Validierung von UML-Modellen und OCL-Bedingungen, LMU München, Informatik-Bericht Nr. 0005, 2000, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study, Elsevier, 2003, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: An OCL Extension for Formulating Temporal Constraints, 2003, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic, Springer, 2003, (BibTeX entry).
• Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations, Elsevier, 2005, (BibTeX entry).
• Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems, Elsevier, 2005, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.