Search the dblp DataBase
Martin Gogolla :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Uwe Hohenstein , Martin Gogolla A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. [Citation Graph (12, 34)][DBLP ] ER, 1988, pp:129-148 [Conf ] Hans-Dieter Ehrich , Udo W. Lipeck , Martin Gogolla Specification, Semantics, and Enforcement of Dynamic Database Constraints. [Citation Graph (11, 16)][DBLP ] VLDB, 1984, pp:301-308 [Conf ] Gregor Engels , Martin Gogolla , Uwe Hohenstein , Klaus Hülsmann , Perdita Löhr-Richter , Gunter Saake , Hans-Dieter Ehrich Conceptual modelling of database applications using extended ER model. [Citation Graph (10, 0)][DBLP ] Data Knowl. Eng., 1992, v:9, n:, pp:157-204 [Journal ] Martin Gogolla , Uwe Hohenstein Towards a Semantic View of an Extended Entity-Relationship Model. [Citation Graph (10, 41)][DBLP ] ACM Trans. Database Syst., 1991, v:16, n:3, pp:369-416 [Journal ] Hans-Dieter Ehrich , Klaus Drosten , Martin Gogolla Towards an Algebraic Semantics for Database Specification. [Citation Graph (4, 0)][DBLP ] DS-2, 1986, pp:119-135 [Conf ] Martin Gogolla , Rudolf Herzig , Stefan Conrad , Grit Denker , Nikolaos Vlachantonis Integrating the ER Approach in an OO Environment. [Citation Graph (3, 28)][DBLP ] ER, 1993, pp:376-389 [Conf ] Nikolaos Vlachantonis , Rudolf Herzig , Martin Gogolla , Grit Denker , Stefan Conrad , Hans-Dieter Ehrich Towards Reliable Information Systems: The KorSo Approach [Citation Graph (2, 0)][DBLP ] CAiSE, 1993, pp:463-482 [Conf ] Rudolf Herzig , Martin Gogolla Transforming Conceptual Data Models into an Object Model. [Citation Graph (2, 29)][DBLP ] ER, 1992, pp:280-298 [Conf ] Martin Gogolla , Stefan Conrad , Rudolf Herzig Sketching Concepts and Computational Model of TROLL light . [Citation Graph (1, 0)][DBLP ] DISCO, 1993, pp:17-32 [Conf ] Rudolf Herzig , Martin Gogolla A SQL-like Query Calculus for Object-Oriented Database Systems. [Citation Graph (1, 0)][DBLP ] ISOOMS, 1994, pp:20-39 [Conf ] Martin Gogolla Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. [Citation Graph (1, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:259-274 [Conf ] Udo W. Lipeck , Hans-Dieter Ehrich , Martin Gogolla Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. [Citation Graph (1, 0)][DBLP ] TFAIS, 1985, pp:145-157 [Conf ] Martin Gogolla , Mark Richters On Constraints and Queries in UML. [Citation Graph (1, 0)][DBLP ] UML Workshop, 1997, pp:109-121 [Conf ] Martin Gogolla , Stefan Conrad , Grit Denker , Rudolf Herzig , Nikolaos Vlachantonis A Development Environment for an Object Specification Language. [Citation Graph (1, 8)][DBLP ] IEEE Trans. Knowl. Data Eng., 1995, v:7, n:3, pp:505-508 [Journal ] Martin Gogolla Benefits and Problems of Formal Methods. [Citation Graph (0, 0)][DBLP ] Ada-Europe, 2004, pp:1-15 [Conf ] Gregor Engels , Martin Gogolla Error Handling in Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] ADT, 1982, pp:- [Conf ] Martin Gogolla Algebraic Specification of Subsorts. [Citation Graph (0, 0)][DBLP ] ADT, 1983, pp:- [Conf ] Martin Gogolla A Final Algebra Semantics for Errors and Exceptions. [Citation Graph (0, 0)][DBLP ] ADT, 1984, pp:89-103 [Conf ] Martin Gogolla Exception Handling and Subsorts. [Citation Graph (0, 0)][DBLP ] ADT, 1986, pp:- [Conf ] Martin Gogolla , Ingo Claßen An Object-Oriented Design for the ACT ONE Environment. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:359-366 [Conf ] Martin Gogolla , Rudolf Herzig An Algebraic Development Technique for Information Systems. [Citation Graph (0, 0)][DBLP ] AMAST, 1995, pp:446-460 [Conf ] Oliver Radfelder , Martin Gogolla On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. [Citation Graph (0, 0)][DBLP ] Advanced Visual Interfaces, 2000, pp:292-295 [Conf ] Martin Gogolla Partially Ordered Sorts in Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] CAAP, 1984, pp:139-154 [Conf ] Grit Denker , Martin Gogolla Translating TROLL light Concepts to Maude. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1992, pp:173-187 [Conf ] Hans-Dieter Ehrich , Martin Gogolla , Amílcar Sernadas Objects and their Specification. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1991, pp:40-65 [Conf ] Martin Gogolla , Maura Cerioli What is an Abstract Data Type, after all? [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1994, pp:499-523 [Conf ] Martin Gogolla , Rudolf Herzig An Algebraic Semantics for the Object Specification Language TROLL light . [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1994, pp:290-396 [Conf ] Rudolf Herzig , Martin Gogolla An Animator for the Object Specification Language TROLL light. [Citation Graph (0, 0)][DBLP ] COODBSE, 1994, pp:156-170 [Conf ] Ralf Kollmann , Martin Gogolla Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. [Citation Graph (0, 0)][DBLP ] CSMR, 2001, pp:58-67 [Conf ] Ralf Kollmann , Martin Gogolla Metric-Based Selective Representation of UML Diagrams. [Citation Graph (0, 0)][DBLP ] CSMR, 2002, pp:89-98 [Conf ] Martin Gogolla An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. [Citation Graph (0, 0)][DBLP ] Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf ] Martin Gogolla Tales of ER and RE Syntax and Semantics. [Citation Graph (0, 0)][DBLP ] Transformation Techniques in Software Engineering, 2005, pp:- [Conf ] Arne Lindow , Martin Gogolla Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke. [Citation Graph (0, 0)][DBLP ] DeLFI, 2004, pp:393-394 [Conf ] Fabian Büttner , Hanna Bauerdick , Martin Gogolla Towards Transformation of Integrity Constraints and Database States. [Citation Graph (0, 0)][DBLP ] DEXA Workshops, 2005, pp:823-828 [Conf ] Heino Gärtner , Martin Gogolla Lassy - A System for Analyzing Grammatical Dependencies in Latin. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1996, pp:275-284 [Conf ] Martin Gogolla Towards Schema Queries for Semantic Data Models. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1995, pp:274-283 [Conf ] Martin Gogolla , Anne Kathrin Huge , Bodo Randt Stepwise Re-Enginieering and Development of Object-Oriented Database Schemata. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1998, pp:943-948 [Conf ] Martin Gogolla Parameterizing Object Specifications. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:126-137 [Conf ] Martin Gogolla , Stuart Kent , Tom Mens , Mark Richters , Oliver Radfelder Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:45-49 [Conf ] Martin Gogolla , Mark Richters , Oliver Radfelder What Is the Current State of UML Semantics? What Are the Reference Documents. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:40-41 [Conf ] Martin Gogolla A Declarative Query Approach to Object Identification. [Citation Graph (0, 27)][DBLP ] OOER, 1995, pp:65-76 [Conf ] Martin Gogolla , Bernd Meyer , Gerd Westerman Drafting Extended Entity-Relationship Schemas with QUEER. [Citation Graph (0, 30)][DBLP ] ER, 1991, pp:561-585 [Conf ] Mark Richters , Martin Gogolla On Formalizing the UML Object Constraint Language OCL. [Citation Graph (0, 13)][DBLP ] ER, 1998, pp:449-464 [Conf ] Paul Ziemann , Martin Gogolla OCL Extended with Temporal Logic. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2003, pp:351-357 [Conf ] Karsten Sohr , Gail-Joon Ahn , Martin Gogolla , Lars Migge Specification and Validation of Authorisation Constraints Using UML and OCL. [Citation Graph (0, 0)][DBLP ] ESORICS, 2005, pp:64-79 [Conf ] Martin Gogolla , Mark Richters Development of UML Descriptions with USE. [Citation Graph (0, 0)][DBLP ] EurAsia-ICT, 2002, pp:228-238 [Conf ] Fabian Büttner , Martin Gogolla Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:398-413 [Conf ] Stefan Conrad , Grit Denker , Martin Gogolla , Rudolf Herzig , Nikolaos Vlachantonis , Hans-Dieter Ehrich Zur Entwicklung zuverlässiger Informationssysteme in KorSo. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1993, pp:464-469 [Conf ] Arne Lindow , Martin Gogolla , Mark Richters Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 2001, pp:662-676 [Conf ] Martin Gogolla Zur Übersetzung eines ER-Kalküls nach PROLOG. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1989, pp:- [Conf ] Martin Gogolla , Ulrich Karge Zur formalen Semantik von SQL. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1990, pp:27-29 [Conf ] Martin Gogolla Graph Transformations on the UML Metamodel. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:359-372 [Conf ] Mark Richters , Martin Gogolla A Web-based Animator for Validating Object Specifications. [Citation Graph (0, 0)][DBLP ] IDEAS, 1997, pp:211-219 [Conf ] Sabine Kuske , Martin Gogolla , Ralf Kollmann , Hans-Jörg Kreowski An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. [Citation Graph (0, 0)][DBLP ] IFM, 2002, pp:11-28 [Conf ] Hans-Dieter Ehrich , Franz Regensburger , Wolfgang Grieskamp , Carola Gerke , Rudolf Herzig , Martin Gogolla , Grit Denker , Ernst-Rüdiger Olderog Korso Reference Languages - Concepts and Application Domains. [Citation Graph (0, 0)][DBLP ] KORSO Book, 1995, pp:150-172 [Conf ] Martin Gogolla , Stefan Conrad , Grit Denker , Rudolf Herzig TROLL light - The Language and its Development Environment. [Citation Graph (0, 0)][DBLP ] KORSO Book, 1995, pp:205-222 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Modellierung, 2004, pp:281-282 [Conf ] Jean Bézivin , Fabian Büttner , Martin Gogolla , Frédéric Jouault , Ivan Kurtev , Arne Lindow Model Transformations? Transformation Models! [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:440-453 [Conf ] Dan Chiorean , Birgit Demuth , Martin Gogolla , Jos Warmer OCL for (Meta-)Models in Multiple Application Domains. [Citation Graph (0, 0)][DBLP ] MoDELS Workshops, 2006, pp:152-158 [Conf ] Martin Gogolla , Mark Richters Expressing UML Class Diagrams Properties with OCL. [Citation Graph (0, 0)][DBLP ] Object Modeling with the OCL, 2002, pp:85-114 [Conf ] Mark Richters , Martin Gogolla OCL: Syntax, Semantics, and Tools. [Citation Graph (0, 0)][DBLP ] Object Modeling with the OCL, 2002, pp:42-68 [Conf ] Stefan Conrad , Martin Gogolla , Rudolf Herzig Safe Derivations in Object Hierarchies. [Citation Graph (0, 0)][DBLP ] OOIS, 1994, pp:306-319 [Conf ] Fabian Büttner , Oliver Radfelder , Arne Lindow , Martin Gogolla Digging into the Visitor Pattern. [Citation Graph (0, 0)][DBLP ] SEKE, 2004, pp:135-141 [Conf ] Martin Gogolla On Parametric Algebraic Specifications with Clean Error Handling. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1987, pp:81-95 [Conf ] Mark Richters , Martin Gogolla A Web-based Animator for Object Specifications in a Persistent Environment. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:867-870 [Conf ] Martin Gogolla , Klaus Drosten , Udo W. Lipeck , Hans-Dieter Ehrich Algebraic and operational semantics of exceptions and errors. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1983, pp:141-151 [Conf ] Thomas Baar , Dan Chiorean , Alexandre L. Correa , Martin Gogolla , Heinrich Hußmann , Octavian Patrascoiu , Peter H. Schmitt , Jos Warmer Tool Support for OCL and Related Formalisms - Needs and Trends. [Citation Graph (0, 0)][DBLP ] MoDELS Satellite Events, 2005, pp:1-9 [Conf ] Krzysztof Czarnecki , Jean-Marie Favre , Martin Gogolla , Tom Mens Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). [Citation Graph (0, 0)][DBLP ] MoDELS Satellite Events, 2005, pp:151-158 [Conf ] Hanna Bauerdick , Martin Gogolla , Fabian Gutsche Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. [Citation Graph (0, 0)][DBLP ] UML, 2004, pp:188-196 [Conf ] Jean Bézivin , Thomas Baar , Tracy Gardner , Martin Gogolla , Reiner Hähnle , Heinrich Hußmann , Octavian Patrascoiu , Peter H. Schmitt , Jos Warmer OCL and Model Driven Engineering. [Citation Graph (0, 0)][DBLP ] UML Satellite Activities, 2004, pp:67-75 [Conf ] Martin Gogolla , Jörn Bohling , Mark Richters Validation of UML and OCL Models by Automatic Snapshot Generation. [Citation Graph (0, 0)][DBLP ] UML, 2003, pp:265-279 [Conf ] Martin Gogolla , Brian Henderson-Sellers Analysis of UML Stereotypes within the UML Metamodel. [Citation Graph (0, 0)][DBLP ] UML, 2002, pp:84-99 [Conf ] Martin Gogolla , Mark Richters Transformation Rules for UML Class Diagrams. [Citation Graph (0, 0)][DBLP ] UML, 1998, pp:92-106 [Conf ] Martin Gogolla , Oliver Radfelder , Mark Richters Towards Three-Dimensional Animation of UML Diagrams. [Citation Graph (0, 0)][DBLP ] UML, 1999, pp:489-502 [Conf ] Martin Gogolla , Paul Sammut , Jon Whittle Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). [Citation Graph (0, 0)][DBLP ] UML Satellite Activities, 2004, pp:43-51 [Conf ] Mark Richters , Martin Gogolla Validating UML Models and OCL Constraints. [Citation Graph (0, 0)][DBLP ] UML, 2000, pp:265-277 [Conf ] Mark Richters , Martin Gogolla A Metamodel for OCL. [Citation Graph (0, 0)][DBLP ] UML, 1999, pp:156-171 [Conf ] Martin Gogolla , Mark Richters On combining semiformal and formal object specification techniques. [Citation Graph (0, 0)][DBLP ] WADT, 1997, pp:238-252 [Conf ] Ralf Kollmann , Martin Gogolla Application of UML Associations and Their Adornments in Design Recovery. [Citation Graph (0, 0)][DBLP ] WCRE, 2001, pp:81-0 [Conf ] Bernd Meyer , Gerd Westerman , Martin Gogolla Drafting ER and OO Schemas in Prototype Environments. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 1996, v:19, n:3, pp:201-240 [Journal ] Martin Gogolla A note on the translation of SQL tuple calculus. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1990, v:40, n:, pp:231-235 [Journal ] Martin Gogolla , Hans-Dieter Ehrich Algebraic Specification with subsorts using declarations. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1983, v:21, n:, pp:31-38 [Journal ] Stefan Conrad , Grit Denker , Martin Gogolla , Rudolf Herzig , Nikolaos Vlachantonis , Hans-Dieter Ehrich Entwicklung zuverlässiger Informationssysteme. [Citation Graph (0, 0)][DBLP ] EMISA Forum, 1995, v:5, n:2, pp:25-33 [Journal ] Fabian Büttner , Martin Gogolla Realizing UML Metamodel Transformations with AGG. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:31-42 [Journal ] Martin Gogolla , Paul Ziemann , Sabine Kuske Towards an Integrated Graph Based Semantics for UML. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal ] Paul Ziemann , Martin Gogolla Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Paul Ziemann , Karsten Hölscher , Martin Gogolla From UML Models to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:17-33 [Journal ] Paul Ziemann , Karsten Hölscher , Martin Gogolla Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:263-280 [Journal ] Annika Wagner , Martin Gogolla Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:26, n:3/4, pp:407-431 [Journal ] Martin Gogolla Fundamentals and Pragmatics of an Entity-Relationship Approach. [Citation Graph (0, 0)][DBLP ] GI Datenbank Rundbrief, 1994, v:13, n:, pp:86- [Journal ] Stefan Conrad , Martin Gogolla An Annotated Bibliography on Object-Orientation and Deduction. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 1992, v:21, n:1, pp:123-132 [Journal ] Martin Gogolla A Note on the Translation of SQL to Tuple Calculus. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 1990, v:19, n:1, pp:18-22 [Journal ] Martin Gogolla Editorial for the Speccial Issue UML 2001 Conference. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2002, v:1, n:2, pp:83-85 [Journal ] Martin Gogolla , Jörn Bohling , Mark Richters Validating UML and OCL models in USE by automatic snapshot generation. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2005, v:4, n:4, pp:386-398 [Journal ] Martin Gogolla , Klaus Drosten , Udo W. Lipeck , Hans-Dieter Ehrich Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:34, n:, pp:289-313 [Journal ] Karsten Hölscher , Paul Ziemann , Martin Gogolla On translating UML models into graph transformation systems. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2006, v:17, n:1, pp:78-105 [Journal ] From Graph Transformation to OCL Using USE. [Citation Graph (, )][DBLP ] On Scenario Synchronization. [Citation Graph (, )][DBLP ] Model Development in the UML-based Specification Environment (USE). [Citation Graph (, )][DBLP ] Verifying UML/OCL models using Boolean satisfiability. [Citation Graph (, )][DBLP ] Exploring ER and RE syntax and semantics with metamodel object diagrams. [Citation Graph (, )][DBLP ] Zur Validierung von Kompositionsstrukturen in UML mit USE. [Citation Graph (, )][DBLP ] 7th International Workshop on Ocl4All: Modelling Systems with OCL. [Citation Graph (, )][DBLP ] A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. [Citation Graph (, )][DBLP ] Eighth International Workshop on OCL Concepts and Tools. [Citation Graph (, )][DBLP ] On Integrating OCL and Triple Graph Grammars. [Citation Graph (, )][DBLP ] Educators' Symposium at MODELS 2009. [Citation Graph (, )][DBLP ] On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. [Citation Graph (, )][DBLP ] Essentials of the 5th Educators' Symposium at MODELS 2009. [Citation Graph (, )][DBLP ] Teaching Modeling: Why, When, What? [Citation Graph (, )][DBLP ] Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. [Citation Graph (, )][DBLP ] Precise Model-Driven Transformations Based on Graphs and Metamodels. [Citation Graph (, )][DBLP ] Consistency, Independence and Consequences in UML and OCL Models. [Citation Graph (, )][DBLP ] Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.650secs