Publications

Publications of the University of Bremen Database Systems Group

Also available is a version of this bibliography including abstracts. The complete bibliography is available as a gzipped BibTeX file and uncompressed BibTeX file.

[Brüning and Gogolla, 2011]: Jens Brüning and Martin Gogolla. UML Metamodel-based Workflow Modeling and Execution. In Lea Kutvonen, Pontus Johnson, and Pontus Johnson, editors, Proc. Enterprise Distributed Object Computing (EDOC'2011), pages 97-106. IEEE, 2011.
(10 pages, gzipped PostScript: 462kb via HTTP, uncompressed PostScript: 1274kb via HTTP, PDF: 329kb via HTTP)
[Brüning et al., 2011]: Jens Brüning, Lars Hamann, and Andreas Wolff. Extending ASSL: Making UML Metamodel-based Workflows Executable. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(13 pages, gzipped PostScript: 442kb via HTTP, uncompressed PostScript: 1559kb via HTTP, PDF: 228kb via HTTP)
[Büttner and Gogolla, 2011]: Fabian Büttner and Martin Gogolla. Modular Embedding of the Object Constraint Language into a Programming Language. In Adenilso Simao and Carrol Morgan, editors, Proc. 14th Brazilian Symposium on Formal Methods (SBMF'2011), pages 124-139. Springer, Berlin, LNCS 7021, 2011.
(16 pages, gzipped PostScript: 297kb via HTTP, uncompressed PostScript: 733kb via HTTP, PDF: 165kb via HTTP)
[Büttner et al., 2011]: Fabian Büttner, Jordi Cabot, and Martin Gogolla. On Validation of ATL Transformation Rules By Transformation Models. In Harald Cichos, Frederic Fondement, Levi Lucio, and Stephan Weissleder, editors, Proc. Workshop on Model-Driven Engineering, Verification, and Validation (MODEVVA'2011). IEEE, 2011.
(8 pages, gzipped PostScript: 355kb via HTTP, uncompressed PostScript: 1731kb via HTTP, PDF: 283kb via HTTP)
[Cabot et al., 2011]: Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors. Preface for Proc. 11th International Workshop on OCL and Textual Modelling, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2011. Electronic Communications of the EASST, Vol. 44. Satellite Events at the TOOLS'2011 Conference.
[Chimiak-Opoka et al., 2011]: Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, and Edward Willink. OCL Tools Report based on the IDE4OCL Feature Model. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
[Duran et al., 2011]: Francisco Duran, Martin Gogolla, and Manuel Roldan. Tracing Properties of UML and OCL Models with Maude. In Francisco Duran and Vlad Rusu, editors, Proc. Workshop Algebraic Methods in Model-based Software Engineering (AMMSE'2011), pages 81-97. Electronic Proceedings in Theoretical Computer Science, EPTCS 56, 2011.
(19 pages, gzipped PostScript: 2746kb via HTTP, uncompressed PostScript: 23146kb via HTTP, PDF: 331kb via HTTP)
[Gogolla, 2011]: Martin Gogolla. UML and OCL in Conceptual Modeling. In David W. Embley and Bernhard Thalheim, editors, Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges, pages 85-122. Springer, Berlin, 2011.
[Gogolla and Vallecillo, 2011]: Martin Gogolla and Antonio Vallecillo. Tractable Model Transformation Testing. In Robert France, Jochen M. Küster, Behzad Bordbar, and Richard F. Paige, editors, Proc. 7th Int. Conf. Modelling Foundations and Applications (ECMFA'2011), pages 221-235. Springer, Berlin, LNCS 6698, 2011.
(15 pages, gzipped PostScript: 381kb via HTTP, uncompressed PostScript: 2476kb via HTTP)
[Gogolla and Wolff, 2011]: Martin Gogolla and Burkhart Wolff, editors. Proc. 5th Int. Conf. Tests and Proofs (TAP'2011). Springer, LNCS 6706, 2011.
[Gogolla et al., 2011]: Martin Gogolla, Lars Hamann, Jie Xu, and Jun Zhang. Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. In Fabio Gadducci and Leonardo Mariani, editors, Proc. Workshop Graph Transformation and Visual Modeling Techniques (GTVMT'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/53, 2011.
(14 pages, gzipped PostScript: 858kb via HTTP, uncompressed PostScript: 11489kb via HTTP)
[Hamann et al., 2011]: Lars Hamann, Martin Gogolla, and Mirco Kuhlmann. OCL-Based Runtime Monitoring of JVM Hosted Applications. In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors, Proc. Workshop OCL and Textual Modelling (OCL'2011). ECEASST, Electronic Communications, journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(PDF: 2242kb via HTTP)
[Kuhlmann et al., 2011a]: Mirco Kuhlmann, Lars Hamann, and Martin Gogolla. Extensive Validation of OCL Models by Integrating SAT Solving into USE. In Judith Bishop and Antonio Vallecillo, editors, Proc. 49th Int. Conf. Objects, Models, Components, and Patterns (TOOLS'2011), pages 289-305. Springer, Berlin, LNCS 6705, 2011.
(17 pages, gzipped PostScript: 4669kb via HTTP, uncompressed PostScript: 32144kb via HTTP)
[Kuhlmann et al., 2011b]: Mirco Kuhlmann, Lars Hamann, Martin Gogolla, and Fabian Büttner. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. Software and Systems Modeling, 2011. DOI 10.1007/s10270-010-0174-8.
(17 pages, gzipped PostScript: 354kb via HTTP, uncompressed PostScript: 1215kb via HTTP)
[Kuhlmann et al., 2011c]: Mirco Kuhlmann, Karsten Sohr, and Martin Gogolla. Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL . In Jongmoon Baik, Fabio Massacci, and Mohammad Zulkernine, editors, Proc. Secure Software Integration and Reliability Improvement (SSIRI'2011), pages 108-117. IEEE, 2011.
(10 pages, gzipped PostScript: 433kb via HTTP, uncompressed PostScript: 1232kb via HTTP)
[Bezivin et al., 2010]: Jean Bezivin, Robert France, Martin Gogolla, Oystein Haugen, Gabriele Taentzer, and Daniel Varro. Teaching Modeling: Why, When, What? In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 55-62. Springer, Berlin, LNCS 6002, 2010.
(8 pages, gzipped PostScript: 76kb via HTTP, uncompressed PostScript: 156kb via HTTP)
[Brüning et al., 2010]: Jens Brüning, Martin Gogolla, and Peter Forbrig. Modeling and Formally Checking Workflow Properties Using UML and OCL. In Peter Forbrig and Horst Günther, editors, Proc. 9th Int. Conf. Perspectives in Business Informatics Research (BIR'2010), pages 130-145. Springer, Berlin, LNBIP 64, 2010.
(16 pages, gzipped PostScript: 542kb via HTTP, uncompressed PostScript: 1915kb via HTTP)
[Büttner, 2010]: Fabian Büttner. Reusing OCL in the Definition of Imperative Languages. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2010.
[Büttner et al., 2010]: Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, and Arne Lindow. On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 276-290. Springer, Berlin, LNCS 6002, 2010.
(15 pages, gzipped PostScript: 287kb via HTTP, uncompressed PostScript: 8140kb via HTTP)
[Cabot et al., 2010a]: Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, and Alexander Knapp. Ninth International Workshop on The Pragmatics of OCL and other textual specification languages. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009). Springer, Berlin, LNCS, 2010.
(5 pages, gzipped PostScript: 74kb via HTTP, uncompressed PostScript: 157kb via HTTP)
[Cabot et al., 2010b]: Jordi Cabot, Tony Clark, Manuel Clavel, and Martin Gogolla. Tenth International Workshop on OCL and Textual Modelling. In Jürgen Dingel and Arnor Solberg, editors, Workshops and Symposia at 13th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2010), pages 329-333. Springer, Berlin, LNCS 6627, 2010.
[Dang et al., 2010a]: Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla. Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16(17):2293-2312, 2010. .
(20 pages, gzipped PostScript: 1149kb via HTTP, uncompressed PostScript: 14447kb via HTTP)
[Dang et al., 2010b]: Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla. On Scenario Synchronization. In Ahmed Bouajjani and Wei-Ngan Chin, editors, Proc. 8th Int. Symp. Automated Technology for Verification and Analysis (ATVA'2010). Springer, Berlin, LNCS, 2010.
(15 pages, gzipped PostScript: 356kb via HTTP, uncompressed PostScript: 795kb via HTTP, PDF: 479kb via HTTP)
[France and Gogolla, 2010]: Robert France and Martin Gogolla. Essentials of the 5th Educators' Symposium at MODELS 2009. In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), pages 36-39. Springer, Berlin, LNCS 6002, 2010.
(4 pages, gzipped PostScript: 64kb via HTTP, uncompressed PostScript: 129kb via HTTP)
[Gogolla et al., 2010]: Martin Gogolla, Lars Hamann, and Mirco Kuhlmann. Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. In Gordon Fraser and Angelo Gargantini, editors, Proc. 4th Int. Conf. Test and Proof (TAP'2010), pages 38-54. Springer, Berlin, LNCS 6143, 2010.
(17 pages, gzipped PostScript: 321kb via HTTP, uncompressed PostScript: 6366kb via HTTP)
[Hamann and Gogolla, 2010]: Lars Hamann and Martin Gogolla. Improving Model Quality by Validating Constraints with Model Unit Tests. In Levi Lucio, Elisangela Vieira, and Stephan Weissleder, editors, Proc. Workshop on Model-Driven Engineering, Verification, and Validation (MODEVVA'2010), pages 49-55. IEEE, 2010.
[Hamann et al., 2010]: Lars Hamann, Martin Gogolla, and Mirco Kuhlmann. Zur Validierung von Kompositionsstrukturen in UML mit USE. In Gregor Engels, Dimitris Karagiannis, and Heinrich C. Mayr, editors, Proc. Modellierung (MODELLIERUNG'2010), pages 169-177. Gesellschaft für Informatik, LNI P-161, 2010.
(9 pages, gzipped PostScript: 118kb via HTTP, uncompressed PostScript: 3470kb via HTTP)
[Soeken et al., 2010]: Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, and Rolf Drechsler. Verifying UML/OCL Models Using Boolean Satisfiability. In Wolfgang Müller, editor, Proc. Design, Automation and Test in Europe (DATE'2010). IEEE, 2010.
(4 pages, gzipped PostScript: 88kb via HTTP, uncompressed PostScript: 226kb via HTTP)
[Tratt and Gogolla, 2010]: Laurence Tratt and Martin Gogolla, editors. Proc. 3rd Int. Conf. on Model Transformation (ICMT'2010). Springer, LNCS 6142, 2010.
[Büttner and Kuhlmann, 2009]: Fabian Büttner and Mirco Kuhlmann. Shortcomings of the Embedding of OCL into QVT ImperativeOCL. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 263-272. Springer, Berlin, LNCS 5421, 2009.
(10 pages, gzipped PostScript: 550kb via HTTP, uncompressed PostScript: 10798kb via HTTP)
[Cabot et al., 2009]: Jordi Cabot, Martin Gogolla, and Pieter Van Gorp. Eighth International Workshop on OCL Concepts and Tools. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 257-262. Springer, Berlin, LNCS 5421, 2009.
(6 pages, gzipped PostScript: 118kb via HTTP, uncompressed PostScript: 286kb via HTTP)
[Dang and Gogolla, 2009a]: Duc-Hanh Dang and Martin Gogolla. On Integrating OCL and Triple Graph Grammars. In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2008), pages 124-137. LNCS 5421, Springer, Berlin, 2009.
(13 pages, gzipped PostScript: 5555kb via HTTP, uncompressed PostScript: 21481kb via HTTP)
[Dang and Gogolla, 2009b]: Duc-Hanh Dang and Martin Gogolla. Precise Model-Driven Transformations Based on Graphs and Metamodels. In Dang Van Hung and Padmanabhan Krishnan, editors, Proc. 7th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM 2009), pages 307-316. IEEE, 2009.
(10 pages, gzipped PostScript: 497kb via HTTP, uncompressed PostScript: 2639kb via HTTP)
[France and Gogolla, 2009]: Robert France and Martin Gogolla. Educators' Symposium at MODELS 2009. In Andy Schürr and Bran Selic, editors, Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), pages 753-754. Springer, Berlin, LNCS 5795, 2009.
(2 pages, gzipped PostScript: 33kb via HTTP, uncompressed PostScript: 76kb via HTTP)
[Gogolla, 2009a]: Martin Gogolla. Object Constraint Language. In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database Systems, pages 1927-1929. Springer, Berlin, 2009.
[Gogolla, 2009b]: Martin Gogolla. Towards Model Validation and Verification with SAT Techniques. In Bernd Becker, Valeria Bertacoo, Rolf Drechsler, and Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers. IBFI, Schloss Dagstuhl, Germany, 2009. Dagstuhl Seminar Proceedings 09461. 11 pages.
(11 pages, gzipped PostScript: 330kb via HTTP, uncompressed PostScript: 4877kb via HTTP)
[Gogolla, 2009c]: Martin Gogolla. Unified Modeling Language. In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database Systems, pages 3232-3239. Springer, Berlin, 2009.
[Gogolla et al., 2009]: Martin Gogolla, Mirco Kuhlmann, and Lars Hamann. Consistency, Independence and Consequences in UML and OCL Models. In Catherine Dubois, editor, Proc. 3rd Int. Conf. Test and Proof (TAP'2009), pages 90-104. Springer, Berlin, LNCS 5668, 2009.
(16 pages, gzipped PostScript: 206kb via HTTP, uncompressed PostScript: 2441kb via HTTP)
[Kuske et al., 2009]: Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, and Paul Ziemann. Towards an Integrated Graph-Based Semantics for UML. Journal on Software and System Modeling, 8(3):403-422, 2009.
(19 pages, gzipped PostScript: 6533kb via HTTP, uncompressed PostScript: 10475kb via HTTP, PDF: 489kb via HTTP)
[Akehurst et al., 2008]: Dave Akehurst, Martin Gogolla, and Steffen Zschaler, editors. Proc. OCL4ALL - Modelling Systems with OCL, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2008. Electronic Communications of the EASST, Vol. 9. Satellite Events at the MoDELS'2007 Conference.
[Büttner et al., 2008]: Fabian Büttner, Mirco Kuhlmann, Martin Gogolla, Jens Dietrich, Frank Steimke, Andre Pankratz, Alina Stosiek, and Alexander Salomon. MDA Employed in a Joint eGovernment Strategy: An Experience Report. In Terry Bailey, editor, Proc. 3rd ECMDA Workshop ``From Code Centric To Model Centric Software Engineering'' (2008), http://www.esi.es/modelplex/c2m/program.php, 2008. European Software Institute.
(13 pages, gzipped PostScript: 289kb via HTTP, uncompressed PostScript: 711kb via HTTP)
[Dang, 2008]: Duc-Hanh Dang. Triple Graph Grammars and OCL for Validating System Behavior. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, and Gabriele Taentzer, editors, Proc. 4th Int. Conf. Graph Transformations (ICGT'2008). Springer, Berlin, LNCS, 2008.
(3 pages, gzipped PostScript: 52kb via HTTP, uncompressed PostScript: 106kb via HTTP)
[Gogolla, 2008a]: Martin Gogolla. On Horizontal and Vertical Relationships between Models. In Uwe Asmann, Jean Bézivin, Richard Paige, Bernhard Rumpe, and Douglas C. Schmidt, editors, Perspectives Workshop: Model Engineering of Complex Systems (MECS). IBFI, Schloss Dagstuhl, Germany, 2008. Dagstuhl Seminar Proceedings 08331. 4 pages.
(4 pages, gzipped PostScript: 107kb via HTTP, uncompressed PostScript: 1544kb via HTTP)
[Gogolla, 2008b]: Martin Gogolla. Teaching Touchy Transformations. In Michal Smialek, editor, MODELS Educators' Symposium (EDUSYMP'2008), pages 13-25. Warsaw University, ISBN 83-916444-8-0, 2008.
(13 pages, gzipped PostScript: 167kb via HTTP, uncompressed PostScript: 2235kb via HTTP)
[Gogolla et al., 2008a]: Martin Gogolla, Fabian Büttner, and Duc-Hanh Dang. From Graph Transformation to OCL using USE. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), pages 585-586. Springer, Berlin, LNCS 5088, 2008.
(2 pages, gzipped PostScript: 104kb via HTTP, uncompressed PostScript: 1693kb via HTTP)
[Gogolla et al., 2008b]: Martin Gogolla, Fabian Büttner, and Mirco Kuhlmann. System Modeling with USE (UML-based Specification Environment). Genie Logiciel (French Software Engineering Journal), 85:57-58, 2008. ISSN 0295-6322.
(3 pages, gzipped PostScript: 175kb via HTTP, uncompressed PostScript: 528kb via HTTP)
[Gogolla et al., 2008c]: Martin Gogolla, Mirco Kuhlmann, and Fabian Büttner. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. In Krzysztof Czarnecki, editor, Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), pages 446-459. LNCS 5301, Springer, Berlin, 2008.
(15 pages, gzipped PostScript: 160kb via HTTP, uncompressed PostScript: 423kb via HTTP)
[Kuhlmann and Gogolla, 2008a]: Mirco Kuhlmann and Martin Gogolla. Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. Electronic Communications of the EASST, http://eceasst.cs.tu-berlin.de/index.php/eceasst, 9, 2008. UML/MoDELS Workshop on OCL (OCL4ALL'2007), 17 Pages.
(18 pages, gzipped PostScript: 744kb via HTTP, uncompressed PostScript: 4735kb via HTTP)
[Kuhlmann and Gogolla, 2008b]: Mirco Kuhlmann and Martin Gogolla. Modeling and Validating Mondex Scenarios Described in UML and OCL with USE. Formal Aspects of Computing, 20(1):79-100, 2008.
(25 pages, gzipped PostScript: 726kb via HTTP, uncompressed PostScript: 28464kb via HTTP)
[Mustafa et al., 2008]: Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski. Implementing Advanced RBAC Administration Functionality with USE. Electronic Communications of the EASST, http://eceasst.cs.tu-berlin.de/index.php/eceasst, 15, 2008. MoDELS Workshop on OCL (OCL Concepts and Tools 2008), 19 Pages.
(19 pages, gzipped PostScript: 790kb via HTTP, uncompressed PostScript: 1980kb via HTTP)
[Sohr et al., 2008]: Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, and Martin Gogolla. Analysing and Managing Role-Based Access Control Policies. IEEE Transactions on Knowledge and Data Engineering, 2008. Published online 13 March 2008. DOI 10.1109/TKDE.2008.28.
(14 pages, gzipped PostScript: 5437kb via HTTP, uncompressed PostScript: 24166kb via HTTP, PDF: 475kb via HTTP)
[Varro et al., 2008]: Daniel Varro, Mark Asztalos, Denes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiss, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, and Erhard Weinell. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07). Springer, Berlin, LNCS 5088, 2008.
(26 pages, gzipped PostScript: 1011kb via HTTP, uncompressed PostScript: 17896kb via HTTP, PDF: 645kb via HTTP)
[Akehurst et al., 2007]: Dave Akehurst, Martin Gogolla, and Steffen Zschaler. OCL4ALL - Modelling Systems with OCL. In Holger Giese, editor, Satellite Events at the MoDELS'2007 Conference, pages 176-181. Springer, Berlin, LNCS 5002, 2007.
(6 pages, gzipped PostScript: 79kb via HTTP, uncompressed PostScript: 157kb via HTTP)
[Dang, 2007]: Duc-Hanh Dang. Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In Claudia Pons, editor, Proc. Doctoral Symposium ACM/IEEE 10th Int. Conf. Model-Driven Engineering Languages and Systems , http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/, 2007. CEUR Workshop Proceedings, Vol. 262. 5 pages.
(5 pages, gzipped PostScript: 86kb via HTTP, uncompressed PostScript: 181kb via HTTP)
[Gogolla, 2007]: Martin Gogolla. Model Development in the UML-based Specification Environment (USE). In Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa, editors, Methods for Modelling Software Systems (MMOSS). IBFI, Schloss Dagstuhl, Germany, 2007. Dagstuhl Seminar Proceedings 06351. 3 pages.
(3 pages, gzipped PostScript: 60kb via HTTP, uncompressed PostScript: 122kb via HTTP)
[Gogolla et al., 2007]: Martin Gogolla, Fabian Büttner, and Mark Richters. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, 69:27-34, 2007.
(12 pages, gzipped PostScript: 196kb via HTTP, uncompressed PostScript: 3118kb via HTTP)
[Bezivin et al., 2006]: Jean Bezivin, Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev, and Arne Lindow. Model Transformations? Transformation Models! In Oscar Nierstrasz, Jon Whittle, David Harel, and Gianna Reggio, editors, Proc. 9th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2006). LNCS 4199, Springer, Berlin, 2006.
(15 pages, gzipped PostScript: 330kb via HTTP, uncompressed PostScript: 7278kb via HTTP)
[Büttner and Bauerdick, 2006]: Fabian Büttner and Hanna Bauerdick. Realizing UML Model Transformations with USE. In Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors, UML/MoDELS Workshop on OCL (OCLApps'2006), pages 96-110. Technical University of Dresden, Technical Report TUD-FI06, 2006.
(16 pages, gzipped PostScript: 131kb via HTTP, uncompressed PostScript: 421kb via HTTP)
[Büttner and Gogolla, 2006]: Fabian Büttner and Martin Gogolla. Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, and Gregorz Rozenberg, editors, Proc. 3rd Int. Conf. Graph Transformations (ICGT'2006), pages 398-412. LNCS 4178, Springer, Berlin, 2006.
(15 pages, gzipped PostScript: 200kb via HTTP, uncompressed PostScript: 2004kb via HTTP)
[Chiorean et al., 2006a]: Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer. OCL for (Meta-)Models in Multiple Application Domains. In Thomas Kühne, editor, Satellite Events at the MoDELS'2006 Conference, pages 152-158. Springer, Berlin, LNCS 4364, 2006.
(6 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 185kb via HTTP)
[Chiorean et al., 2006b]: Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors. Proc. OCL for (Meta-)Models in Multiple Application Domains, http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2006. Electronic Communications of the EASST, Vol. 5. Satellite Events at the MoDELS'2006 Conference.
[Hölscher et al., 2006]: Karsten Hölscher, Paul Ziemann, and Martin Gogolla. On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing, 17(1):78-105, 2006.
(30 pages, gzipped PostScript: 528kb via HTTP, uncompressed PostScript: 4842kb via HTTP, PDF: 441kb via HTTP)
[Mwatawala et al., 2006]: Maulid W. Mwatawala, Arne Lindow, Martin Gogolla, and Marc De Meyer. Employing the Unified Modeling Language (UML) and Relational Modeling Concepts for the Development of a Schema for Fruit Flies. In Eyas El-Qawasmeh, editor, Proc. 4th Int. Multiconference on Computer Science and Information Technology (CSIT'2006). Applied Science University (ASU), Amman, Jordan, 2006.
(12 pages, gzipped PostScript: 482kb via HTTP, uncompressed PostScript: 2505kb via HTTP)
[Vidacs et al., 2006]: Laszlo Vidacs, Martin Gogolla, and Rudolf Ferenc. From C++ Refactorings to Graph Transformations. In Jean-Marie Favre, Reiko Heckel, and Tom Mens, editors, Proc. ICGT'2006 Workshop Software Evolution and Transformation (SETRA'2006), pages 127-141. Electronic Communications of EASST (European Association of Software Science and Technology), 2006.
(15 pages, gzipped PostScript: 1644kb via HTTP, uncompressed PostScript: 12636kb via HTTP)
[Baar et al., 2005]: Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hu�mann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer. Tool Support for OCL and Related Formalisms - Needs and Trends. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 1-9. Springer, Berlin, LNCS 3844, 2005.
(9 pages, gzipped PostScript: 112kb via HTTP, uncompressed PostScript: 227kb via HTTP, PDF: 129kb via HTTP)
[Büttner, 2005]: Fabian Büttner. Transformation-Based Structure Model Evolution. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 339-340. Springer, Berlin, LNCS 3844, 2005.
(5 pages, gzipped PostScript: 19kb via HTTP, uncompressed PostScript: 67kb via HTTP)
[Büttner et al., 2005]: Fabian Büttner, Hanna Bauerdick, and Martin Gogolla. Towards Transformation of Integrity Constraints and Database States. In Danielle C. Martin, editor, Proc. Dexa'2005 Workshop Logical Aspects and Applications of Integrity Constraints (LAAIC'2005), pages 823-828. IEEE, Los Alamitos, 2005.
(6 pages, gzipped PostScript: 57kb via HTTP, uncompressed PostScript: 190kb via HTTP)
[Czarnecki et al., 2005]: Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, and Tom Mens. Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005 Conference, pages 151-159. Springer, Berlin, LNCS 3844, 2005.
(9 pages, gzipped PostScript: 39kb via HTTP, uncompressed PostScript: 95kb via HTTP)
[Dang, 2005]: Duc-Hanh Dang. On Integrating Triple Graph Grammars and OCL for Model-Driven Development. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2005.
[Ermel et al., 2005]: Claudia Ermel, Karsten Hölscher, Sabine Kuske, and Paul Ziemann. Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. In IEEE, editor, Proc. IEEE Symposium Visual Languages and Human-Centric Computing (VL/HCC'05), pages 125-133, 2005.
(9 pages, gzipped PostScript: 374kb via HTTP, uncompressed PostScript: 948kb via HTTP, PDF: 206kb via HTTP)
[Gogolla, 2005a]: Martin Gogolla. Exploring ER and RE Syntax and Semantics with Metamodel Object Diagrams. In Peter J. Nürnberg, editor, ACM Int. Conf. Proceeding Series (Vol. 214), Proc. Metainformatics Symposium (MIS'2005). ACM Press, New York, 2005. ACM Digital Library, 12 pages.
(12 pages, gzipped PostScript: 223kb via HTTP, uncompressed PostScript: 1000kb via HTTP)
[Gogolla, 2005b]: Martin Gogolla. Tales of ER and RE Syntax and Semantics. In James R. Cordy, Ralf Lämmel, and Andreas Winter, editors, Transformation Techniques in Software Engineering. IBFI, Schloss Dagstuhl, Germany, 2005. Dagstuhl Seminar Proceedings 05161. 51 pages.
(51 pages, gzipped PostScript: 339kb via HTTP, uncompressed PostScript: 1582kb via HTTP)
[Gogolla et al., 2005a]: Martin Gogolla, Jörn Bohling, and Mark Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling, 4(4):386-398, 2005.
(24 pages, gzipped PostScript: 249kb via HTTP, uncompressed PostScript: 731kb via HTTP)
[Gogolla et al., 2005b]: Martin Gogolla, Jean-Marie Favre, and Fabian Büttner. On Squeezing M0, M1, M2, and M3 into a Single Object Diagram. In Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer, editors, Proc. MoDELS'2005 Workshop Tool Support for OCL and Related Formalisms. In: Satellite Events at MoDELS'2005 Conference. Jean-Michel Bruel (Ed.). Springer, LNCS 3844. Long Version: EPFL (Switzerland), Technical Report LGL-REPORT-2005-001, 2005.
(14 pages, gzipped PostScript: 206kb via HTTP, uncompressed PostScript: 4894kb via HTTP)
[Sohr et al., 2005]: Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, and Lars Migge. Specification and Validation of Authorization Constraints using UML and OCL. In Sabrina DeCapitani, Paul F. Syverson, and Dieter Gollmann, editors, Proc. 10th European Symp. Research in Computer Security (ESORICS'2005), pages 64-79. LNCS 3679, Springer, Berlin, 2005.
(16 pages, gzipped PostScript: 791kb via HTTP, uncompressed PostScript: 6131kb via HTTP, PDF: 404kb via HTTP)
[Ziemann, 2005]: Paul Ziemann. An Integrated Operational Semantics for a UML Core Based on Graph Transformation. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2005.
[Bauerdick et al., 2004]: Hanna Bauerdick, Martin Gogolla, and Fabian Gutsche. Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors, Proc. 7th Int. Conf. Unified Modeling Language (UML'2004), pages 188-197. Springer, Berlin, LNCS 3273, 2004.
(10 pages, gzipped PostScript: 52kb via HTTP, uncompressed PostScript: 131kb via HTTP)
[Bezivin et al., 2004]: Jean Bezivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer. OCL and Model Driven Engineering Workshop Report. In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and Applications. UML'2004 Satellite Activities. Revised Selected Papers, pages 67-75. Springer, Berlin, LNCS 3297, 2004.
(9 pages, gzipped PostScript: 31kb via HTTP, uncompressed PostScript: 158kb via HTTP)
[Bisanz et al., 2004]: Stefan Bisanz, Paul Ziemann, and Arne Lindow. Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study. In E. Schnieder and G. Tarnai, editors, Proc. Conf. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT'2004), 2004.
(13 pages, gzipped PostScript: 2325kb via HTTP, uncompressed PostScript: 5587kb via HTTP)
[Büttner and Gogolla, 2004a]: Fabian Büttner and Martin Gogolla. On Generalization and Overriding in UML 2.0. In Jean Bezivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer, editors, Proc. UML'2004 Workshop OCL and Model Driven Engineering, pages 69-69. In: UML - Modeling Languages and Applications. Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez (Eds). LNCS 3297, Springer Verlag. Long version: University of Kent, http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/, 2004.
(15 pages, gzipped PostScript: 155kb via HTTP, uncompressed PostScript: 362kb via HTTP)
[Büttner and Gogolla, 2004b]: Fabian Büttner and Martin Gogolla. Realizing UML Metamodel Transformations with AGG. In Reiko Heckel, editor, Proc. ETAPS Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(12 pages, gzipped PostScript: 560kb via HTTP, uncompressed PostScript: 8829kb via HTTP)
[Büttner et al., 2004]: Fabian Büttner, Oliver Radfelder, Arne Lindow, and Martin Gogolla. Digging into the Visitor Pattern. In Frank Maurer and Günther Ruhe, editors, Proc. IEEE 16th Int. Conf. Software Engineering and Knowlege Engineering (SEKE'2004). IEEE, Los Alamitos, 2004.
(7 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 168kb via HTTP)
[Gogolla, 2004a]: Martin Gogolla. (An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In Jean Bezivin and Reiko Heckel, editors, Proc. Dagstuhl Seminar on Language Engineering for Model-Driven Software Development. Schloss Dagstuhl Int. Conf. and Research Center for Computer Science, http://www.dagstuhl.de/04101/, 2004.
(10 pages, gzipped PostScript: 134kb via HTTP, uncompressed PostScript: 877kb via HTTP)
[Gogolla, 2004b]: Martin Gogolla. Benefits and Problems of Formal Methods. In Albert Llamosi and Alfred Strohmeier, editors, Proc. 9th Int. Conf. Reliable Software Technologies Ada-Europe (RST'2004), pages 1-15. Springer, Berlin, LNCS 3063, 2004.
(15 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 288kb via HTTP)
[Gogolla and Ziemann, 2004]: Martin Gogolla and Paul Ziemann. Checking BART Test Scenarios with UML's Object Constraint Language. In Fabrice Kordon and Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to master the complexity, pages 133-170. Kluwer, 2004.
(38 pages, gzipped PostScript: 193kb via HTTP, uncompressed PostScript: 1089kb via HTTP)
[Gogolla et al., 2004a]: Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, and Paul Ziemann. Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. In Bernhard Rumpe and Wolfgang Hesse, editors, Proc. Modellierung'2004, pages 281-282. Gesellschaft für Informatik, LNI P-45, 2004.
(2 pages, gzipped PostScript: 11kb via HTTP, uncompressed PostScript: 25kb via HTTP)
[Gogolla et al., 2004b]: Martin Gogolla, Paul Sammut, and Jon Whittle. Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and Applications. UML'2004 Satellite Activities. Revised Selected Papers, pages 43-51. Springer, Berlin, LNCS 3297, 2004.
(10 pages, gzipped PostScript: 42kb via HTTP, uncompressed PostScript: 102kb via HTTP)
[Krieg-Brückner et al., 2004]: Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, and George Russell. Semantic Interrelation of Documents via an Ontology. In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche e-Learning Fachtagung Informatik (DeLFI'2004), pages 271-282. Gesellschaft für Informatik, LNI P-52, 2004.
[Lindow and Gogolla, 2004]: Arne Lindow and Martin Gogolla. Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke. In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche e-Learning Fachtagung Informatik (DeLFI'2004), pages 393-394. Gesellschaft für Informatik, LNI P-52, 2004.
(2 pages, gzipped PostScript: 10kb via HTTP, uncompressed PostScript: 24kb via HTTP)
[Ziemann et al., 2004a]: Paul Ziemann, Karsten Hölscher, and Martin Gogolla. Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. In Arnaldo Moura and Alexandre Mota, editors, Proc. Brazilian Symposium on Formal Methods (SBMF'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(15 pages, gzipped PostScript: 178kb via HTTP, uncompressed PostScript: 549kb via HTTP)
[Ziemann et al., 2004b]: Paul Ziemann, Karsten Hölscher, and Martin Gogolla. From UML Models to Graph Transformation Systems. In Mark Minas, editor, Proc. Workshop Visual Languages and Formal Methods (VLFM'2004). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, 2004.
(16 pages, gzipped PostScript: 267kb via HTTP, uncompressed PostScript: 808kb via HTTP)
[Bezivin and Gogolla, 2003]: Jean Bezivin and Martin Gogolla, editors. Proc. 2nd UML Workshop in Software Model Engineering (WiSME'2003). www.metamodel.com, 2003. http://www.metamodel.com/wisme-2003/.
[Gogolla and Lindow, 2003]: Martin Gogolla and Arne Lindow. Transforming Data Models with UML. In Borys Omelayenko and Michel Klein, editors, Knowledge Transformation for the Semantic Web, pages 18-33. IOS Press, Amsterdam, 2003.
(15 pages, gzipped PostScript: 124kb via HTTP, uncompressed PostScript: 1519kb via HTTP)
[Gogolla et al., 2003a]: Martin Gogolla, Jörn Bohling, and Mark Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. In Grady Booch, Perdita Stevens, and Jonathan Whittle, editors, Proc. 6th Int. Conf. Unified Modeling Language (UML'2003), pages 265-279. Springer, Berlin, LNCS 2863, 2003.
(15 pages, gzipped PostScript: 113kb via HTTP, uncompressed PostScript: 462kb via HTTP)
[Gogolla et al., 2003b]: Martin Gogolla, Mark Richters, and Jörn Bohling. Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation. In Jarr Eloff, Andries Engelbrecht, Paula Kotze, and Mariki Eloff, editors, Proc. Annual Research Conf. South African Institute of Computer Scientists and Information Technologists on Enablement through Technology (SAICSIT'2003), pages 248-257. ACM International Conference Proceedings Series, 2003.
(10 pages, gzipped PostScript: 202kb via HTTP, uncompressed PostScript: 2858kb via HTTP)
[Kollmann, 2003]: Ralf Kollmann. Design Recovery Techniques for Object-Oriented Software Systems. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2003.
[Krieg-Brückner et al., 2003]: Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, and Martin Wirsing. MultiMedia Instruction in Safe and Secure Systems. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Proc. 16th Int. Workshop Abstract Data Types (WADT'02), pages 82-117. Springer, LNCS 2755, 2003.
(38 pages, gzipped PostScript: 1452kb via HTTP, uncompressed PostScript: 8909kb via HTTP)
[Radfelder, 2003]: Oliver Radfelder. Dreidimensionale, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, 2003.
[Richters and Gogolla, 2003]: Mark Richters and Martin Gogolla. Aspect-Oriented Monitoring of UML and OCL Constraints. In Omar Aldawud, Mohamed Kande, Grady Booch, Bill Harrison, Dominik Stein, Jeff Gray, Siobhan Clarke, Aida Zakaria, Peri Tarr, and Faisal Akkawi, editors, Proc. UML'2003 Workshop Aspect-Oriented Software Development with UML. Illinois Institute of Technology, Department of Computer Science, http://www.cs.iit.edu/ oaldawud/AOM/index.htm, 2003.
(7 pages, gzipped PostScript: 191kb via HTTP, uncompressed PostScript: 884kb via HTTP)
[Ziemann and Gogolla, 2003a]: Paul Ziemann and Martin Gogolla. An OCL Extension for Formulating Temporal Constraints. Research Report 1/03, Universität Bremen, 2003.
(20 pages, gzipped PostScript: 179kb via HTTP, uncompressed PostScript: 444kb via HTTP)
[Ziemann and Gogolla, 2003b]: Paul Ziemann and Martin Gogolla. OCL Extended with Temporal Logic. In Manfred Broy and Alexandre Zamulin, editors, 5th Int. Conf. Perspectives of System Informatics (PSI'2003), pages 351-357. Springer, Berlin, LNCS 2890, 2003.
(7 pages, gzipped PostScript: 110kb via HTTP, uncompressed PostScript: 231kb via HTTP)
[Ziemann and Gogolla, 2003c]: Paul Ziemann and Martin Gogolla. Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study. In Thomas Arts and Wan Fokkink, editors, Proc. 8th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'2003). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 80, Elsevier, 2003.
(13 pages, gzipped PostScript: 188kb via HTTP, uncompressed PostScript: 695kb via HTTP)
[Gogolla, 2002]: Martin Gogolla. Editorial for the Special Issue on the UML 2001 Conference. Software and System Modeling (SoSyM), 1(2):83-85, 2002.
[Gogolla and Henderson-Sellers, 2002]: Martin Gogolla and Brian Henderson-Sellers. Formal Analysis of UML Stereotypes within the UML Metamodel. In Steve Cook, Heinrich Hussmann, and Jean-Marc Jezequel, editors, Proc. 5th Int. Conf. Unified Modeling Language (UML'2002), pages 84-99. Springer, Berlin, LNCS 2460, 2002.
(15 pages, gzipped PostScript: 235kb via HTTP, uncompressed PostScript: 3535kb via HTTP)
[Gogolla and Richters, 2002]: Martin Gogolla and Mark Richters. Development of UML Descriptions with USE. In Hassan Shafazand and A Min Tjoa, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA'2002), pages 228-238. Springer, Berlin, LNCS 2510, 2002.
(12 pages, gzipped PostScript: 196kb via HTTP, uncompressed PostScript: 5467kb via HTTP)
[Gogolla et al., 2002a]: Martin Gogolla, Arne Lindow, Mark Richters, and Paul Ziemann. Metamodel Transformation of Data Models. In Jean Bezivin and Robert France, editors, Proc. UML'2002 Workshop in Software Model Engineering (WiSME 2002). http://www.metamodel.com/wisme-2002, 2002.
(8 pages, gzipped PostScript: 124kb via HTTP, uncompressed PostScript: 947kb via HTTP)
[Gogolla et al., 2002b]: Martin Gogolla, Paul Ziemann, and Sabine Kuske. Towards an Integrated Graph Based Semantics for UML. In Paolo Bottoni and Mark Minas, editors, Proc. ICGT Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT'2002). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 72, No. 3, Elsevier, 2002.
(16 pages, gzipped PostScript: 95kb via HTTP, uncompressed PostScript: 328kb via HTTP)
[Kollmann and Gogolla, 2002]: Ralf Kollmann and Martin Gogolla. Metric-Based Selective Representation of UML Diagrams. In Tibor Gyimóthy and Fernando Brito e Abreu, editors, Proc. 6th European Conf. Software Maintenance and Reengineering (CSMR'02). IEEE, Los Alamitos, 2002.
(10 pages, gzipped PostScript: 295kb via HTTP, uncompressed PostScript: 1929kb via HTTP)
[Kollmann et al., 2002]: Ralf Kollmann, Petri Selonen, Eleni Stroulia, Tarja Systä, and Albert Zündorf. A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering. In Elizabeth Burd and Arie van Deursen, editors, Proc. 9th Working Conf. Reverse Engineering (WCRE'02). IEEE, Los Alamitos, 2002.
(11 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 391kb via HTTP)
[Kuske et al., 2002]: Sabine Kuske, Martin Gogolla, Ralf Kollmann, and Hans-Jörg Kreowski. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation. In Michael Butler and Kaisa Sere, editors, 3rd Int. Conf. Integrated Formal Methods (IFM'02). Springer, Berlin, LNCS, 2002.
(19 pages, gzipped PostScript: 109kb via HTTP, uncompressed PostScript: 494kb via HTTP)
[Richters, 2002]: Mark Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002.
[Wang et al., 2002]: Rui-Jin Wang, Hui-Chuan Duan, and Martin Gogolla. Unified Modeling Language and Its Application to Modeling. Application Research of Computers, 19(8):80-84, 2002. ISSN 1001-3695.
(5 pages, gzipped PostScript: 1269kb via HTTP, uncompressed PostScript: 3558kb via HTTP)
[Ziemann and Gogolla, 2002]: Paul Ziemann and Martin Gogolla. An Extension of OCL with Temporal Logic. In Jan Jürjens, editor, Proc. UML'2002 Workshop Critical System Development (CSD 2002). Technical Report, Technical University of Munich, 2002.
(10 pages, gzipped PostScript: 139kb via HTTP, uncompressed PostScript: 295kb via HTTP)
[Barbier et al., 2001]: Franck Barbier, Brian Henderson-Sellers, Andreas Opdahl, and Martin Gogolla. The Whole-Part Relationship in Object-Oriented Modeling. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design, and Development Issues, pages 186-209. Idea Group Publishing, Hershey (PA), USA, 2001.
(20 pages, gzipped PostScript: 414kb via HTTP, uncompressed PostScript: 1058kb via HTTP)
[Gogolla, 2001a]: Martin Gogolla. Formal Methods versus UML's OCL. In Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing, editors, Can Formal Methods Cope with Software-Intensive Systems, pages 19-20. Dagstuhl-Seminar-Report 308, 2001.
(2 pages, gzipped PostScript: 60kb via HTTP, uncompressed PostScript: 1314kb via HTTP)
[Gogolla, 2001b]: Martin Gogolla. Using OCL for Defining Precise, Domain-Specific UML Stereotypes. In Aybuke Aurum and Ross Jeffery, editors, Proc. 6th Australian Workshop on Requirements Engineering (AWRE'2001), pages 51-60. Centre for Advanced Software Engineering Research (CAESER), University of New South Wales, Sydney, 2001.
(10 pages, gzipped PostScript: 98kb via HTTP, uncompressed PostScript: 349kb via HTTP)
[Gogolla and Kobryn, 2001]: Martin Gogolla and Cris Kobryn, editors. Proc. 4th Int. Conf. Unified Modeling Language (UML'2001). Springer, LNCS 2185, 2001.
[Gogolla and Richters, 2001]: Martin Gogolla and Mark Richters. Expressing UML Class Diagrams Properties with OCL. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 86-115. Springer, Berlin, LNCS 2263, 2001.
(29 pages, gzipped PostScript: 96kb via HTTP, uncompressed PostScript: 747kb via HTTP)
[Kollmann and Gogolla, 2001a]: Ralf Kollmann and Martin Gogolla. Application of the UML Associations and Their Adornments in Design Recovery. In Peter Aiken and Elizabeth Burd, editors, Proc. 8th Working Conference on Reverse Engineering (WCRE'2001). IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 53kb via HTTP, uncompressed PostScript: 163kb via HTTP)
[Kollmann and Gogolla, 2001b]: Ralf Kollmann and Martin Gogolla. Capturing Dynamic Program Behaviour with UML Collaboration Diagrams. In Pedro Sousa and Jürgen Ebert, editors, Proc. 5th European Conf. Software Maintenance and Reengineering (CSMR'01), pages 58-67. IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 37kb via HTTP, uncompressed PostScript: 137kb via HTTP)
[Kollmann and Gogolla, 2001c]: Ralf Kollmann and Martin Gogolla. Selektive Darstellung von Programmstrukturen mit UML. In Jürgen Ebert and Franz Lehner, editors, Proc. 3. Workshop Software-Reengineering. Universität Koblenz, Technischer Bericht, http://www.uni-koblenz.de/ ist/WSR2001, 2001.
(6 pages, gzipped PostScript: 54kb via HTTP, uncompressed PostScript: 133kb via HTTP)
[Lindow et al., 2001]: Arne Lindow, Martin Gogolla, and Mark Richters. Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen. In K. Bauknecht, W. Brauer, and T. Mück, editors, Proc. GI Jahrestagung (GI'2001), Band 1, Workshop Integrating Diagrammatic and Formal Specification Techniques, pages 662-669. Austrian Computer Society, Wien, 2001.
(8 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 3854kb via HTTP)
[Richters and Gogolla, 2001]: Mark Richters and Martin Gogolla. OCL - Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
(27 pages, gzipped PostScript: 135kb via HTTP, uncompressed PostScript: 524kb via HTTP)
[Warmer et al., 2001]: Jos Warmer, Anneke Kleppe, Tony Clark, Anders Ivner, Jonas Högström, Martin Gogolla, Mark Richters, Heinrich Hussmann, Steffen Zschaler, Simon Johnston, David S. Frankel, and Conrad Bock. Object Constraint Language 2.0. Technical report, Submission to the OMG, 2001.
(155 pages, gzipped PostScript: 889kb via HTTP, uncompressed PostScript: 4317kb via HTTP)
[Gärtner, 2000]: Heino Gärtner. Schematransformationen in objektorientierten Informationssystemen. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Shaker Verlag, Aachen, 2000.
[Gogolla, 2000]: Martin Gogolla. Graph Transformations on the UML Metamodel. In Jose D.P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, and Joe B. Wells, editors, Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GTVMT'2000), pages 359-371. Carleton Scientific, Waterloo, Ontario, Canada, 2000.
(13 pages, gzipped PostScript: 91kb via HTTP, uncompressed PostScript: 371kb via HTTP)
[Gogolla and Kollmann, 2000]: Martin Gogolla and Ralf Kollmann. Re-Documentation of Java with UML Class Diagrams. In Eliot Chikofsky, editor, Proc. 7th Reengineering Forum, Reengineering Week 2000 Zürich, pages REF 41-REF 48. Reengineering Forum, Burlington, Massachusetts, 2000.
(9 pages, gzipped PostScript: 67kb via HTTP, uncompressed PostScript: 199kb via HTTP)
[Gogolla and Richters, 2000]: Martin Gogolla and Mark Richters. Definition von UML mit UML und OCL: Ein Überblick zum Stand der Technik. In Mario Jeckle, Bernhard Rumpe, Andy Schürr, and Andreas Winter, editors, Proc. 7. GROOM-Workshop ``UML - Erweiterungen (Profile) und Konzepte der Metamodellierung''. Universität Koblenz-Landau, Fachbereich Informatik, 2000. Auch: Softwaretechnik-Trends, 20:2, 2000, ISSN 0720-8928.
(2 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 38kb via HTTP)
[Gogolla et al., 2000]: Martin Gogolla, Oliver Radfelder, Ralf Kollmann, and Mark Richters. Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel. In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa, editors, Proc. UML'00 Workshop Dynamic Behaviour in UML Models, pages 57-62. LMU München, Informatik-Bericht Nr. 0006, 2000.
(6 pages, gzipped PostScript: 44kb via HTTP, uncompressed PostScript: 153kb via HTTP)
[Huge, 2000]: Anne Kathrin Huge. Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Shaker Verlag, Aachen, 2000.
[Radfelder and Gogolla, 2000]: Oliver Radfelder and Martin Gogolla. On Better Understanding UML Diagrams through Interactive Three-Dimensional Visualization and Animation. In Vito Di Gesu, Stefano Levialdi, and Laura Tarantino, editors, Proc. Advanced Visual Interfaces (AVI'2000), pages 292-295. ACM Press, New York, 2000.
(4 pages, gzipped PostScript: 526kb via HTTP, uncompressed PostScript: 851kb via HTTP)
[Radfelder et al., 2000]: Oliver Radfelder, Martin Gogolla, and Volker Behr. Entwurf und Implementierung eines Internet-basierten Material-Informationssystems. Interner Bericht, Universität Bremen, Fachbereich 3, 2000.
(28 pages, gzipped PostScript: 319kb via HTTP, uncompressed PostScript: 969kb via HTTP)
[Richters and Gogolla, 2000a]: Mark Richters and Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), pages 265-277. Springer, Berlin, LNCS 1939, 2000.
(13 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 377kb via HTTP)
[Richters and Gogolla, 2000b]: Mark Richters and Martin Gogolla. Validierung von UML-Modellen und OCL-Bedingungen. In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and Wolfgang Reif, editors, Proc. GI'2000 Workshop Rigorose Entwicklung software-intensiver Systeme, pages 21-32. LMU München, Informatik-Bericht Nr. 0005, 2000.
(12 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 328kb via HTTP)
[Astesiano et al., 1999]: Egidio Astesiano, Andy Evans, Robert France, Guy Geniloud, Martin Gogolla, Brian Henderson Sellers, John Howse, Heinrich Hussmann, Shusaku Iida, Stuart Kent, Alain Le Guennec, Tom Mens, Richard Mitchell, Oliver Radfelder, Gianna Reggio, Mark Richters, Bernhard Rumpe, Perdita Stevens, Klaas van den Berg, Pim van den Broek, and Roel Wieringa. UML Semantics FAQ. In Ana Moreira and Serge Demeyer, editors, ECOOP'99 Workshop Reader, pages 33-56. Springer, Berlin, LNCS 1743, 1999.
(25 pages, gzipped PostScript: 952kb via HTTP, uncompressed PostScript: 5795kb via HTTP)
[Gogolla, 1999]: Martin Gogolla. Identifying Objects by Declarative Queries. In Mike P. Papazoglou, Stefano Spaccapietra, and Zahir Tari, editors, Advances in Object-Oriented Data Modeling, pages 255-277. MIT Press, 1999.
(25 pages, gzipped PostScript: 138kb via HTTP, uncompressed PostScript: 682kb via HTTP)
[Gogolla and Richters, 1999]: Martin Gogolla and Mark Richters. Transformation Rules for UML Class Diagrams. In Jean Bezivin and Pierre-Alain Muller, editors, Proc. 1st Int. Workshop Unified Modeling Language (UML'98), pages 92-106. Springer, Berlin, LNCS 1618, 1999.
(15 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 431kb via HTTP)
[Gogolla et al., 1999a]: Martin Gogolla, Oliver Radfelder, and Mark Richters. A UML Semantics FAQ - The View from Bremen. In S.J.H. Kent, A. Evans, and B. Rumpe, editors, Proc. ECOOP'99 Workshop UML Semantics FAQ. University of Brighton, 1999.
(10 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 523kb via HTTP)
[Gogolla et al., 1999b]: Martin Gogolla, Oliver Radfelder, and Mark Richters. Towards Three-Dimensional Representation and Animation of UML Diagrams. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), pages 489-502. Springer, Berlin, LNCS 1723, 1999.
(14 pages, gzipped PostScript: 558kb via HTTP, uncompressed PostScript: 1845kb via HTTP)
[Radfelder et al., 1999]: Oliver Radfelder, Martin Gogolla, and Volker Behr. On Designing and Querying a Material Information System. In M. Türksever, N.Y. Topaloglu, N. Zincir-Heywood, A. Kantarci, C.A. Sürgevil, and Ö. Özmen, editors, Proc. 14th Int. Symposium Computer and Information Science (ISCIS'99), pages 132-142. Ege University, Izmir, 1999.
(11 pages, gzipped PostScript: 33kb via HTTP, uncompressed PostScript: 123kb via HTTP)
[Richters and Gogolla, 1999a]: Mark Richters and Martin Gogolla. A Metamodel for OCL. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), pages 156-171. Springer, Berlin, LNCS 1723, 1999.
(16 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 265kb via HTTP)
[Richters and Gogolla, 1999b]: Mark Richters and Martin Gogolla. On the Need for a Precise OCL Semantics. In Robert France, Bernhard Rumpe, Brian Henderson-Sellers, Jean-Michel Bruel, and Ana Moreira, editors, Proc. OOPSLA Workshop ``Rigorous Modeling and Analysis with the UML: Challenges and Limitations''. Colorado State University, Fort Collins, Colorado, 1999.
(3 pages, gzipped PostScript: 36kb via HTTP, uncompressed PostScript: 84kb via HTTP)
[Wagner and Gogolla, 1999]: Annika Wagner and Martin Gogolla. Semantics of Object-Oriented Languages. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Gregorz Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume II, Applications, Languages, and Tools, pages 181-211. World Scientific, Singapore, 1999.
(16 pages, gzipped PostScript: 312kb via HTTP, uncompressed PostScript: 714kb via HTTP)
[Cerioli et al., 1998]: Maura Cerioli, Martin Gogolla, Helene Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, and Markus Wolf, editors. Algebraic System Specification and Development - Survey and Annotated Bibliography. Monographs of the Bremen Institute of Safe Systems (BISS). Shaker, Aachen, 1998.
(142 pages, gzipped PostScript: 383kb via HTTP, uncompressed PostScript: 1535kb via HTTP)
[Gogolla, 1998]: Martin Gogolla. UML for the Impatient. Research Report 3/98, Universität Bremen, 1998.
(23 pages, gzipped PostScript: 140kb via HTTP, uncompressed PostScript: 886kb via HTTP)
[Gogolla and Parisi-Presicce, 1998]: Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML - A Formal Semantics using Graph Transformation. In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques (PSMT'98), pages 55-72. Technical University of Munich, Technical Report TUM-I9803, 1998.
(18 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 649kb via HTTP)
[Gogolla and Richters, 1998]: Martin Gogolla and Mark Richters. On Combing Semi-Formal and Formal Object Specification Techniques. In Francesco Parisi-Presicce, editor, Proc. 12th Int. Workshop Abstract Data Types (WADT'97), pages 238-252. Springer, LNCS 1376, 1998.
(16 pages, gzipped PostScript: 77kb via HTTP, uncompressed PostScript: 353kb via HTTP)
[Gogolla et al., 1998]: Martin Gogolla, Anne Kathrin Huge, and Bodo Randt. Stepwise Re-Engineering and Development of Object-Oriented Database Schemata. In Roland R. Wagner, editor, Proc. 9th Int. Workshop Database and Expert Systems Applications (DEXA'98). IEEE, Los Alamitos, 1998.
(6 pages, gzipped PostScript: 40kb via HTTP, uncompressed PostScript: 123kb via HTTP)
[Richters and Gogolla, 1998]: Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER'98), pages 449-464. Springer, Berlin, LNCS 1507, 1998.
(16 pages, gzipped PostScript: 103kb via HTTP, uncompressed PostScript: 472kb via HTTP)
[Richters et al., 1998]: Mark Richters, Martin Gogolla, and Heino Gärtner. SIGN - Software Implementierung durch Graphische Notation. Interner Bericht, Universität Bremen, Fachbereich 3, 1998.
(9 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 480kb via HTTP)
[Buddrus et al., 1997]: Frank Buddrus, Heino Gärtner, and Sven-Eric Lautemann. First Steps to a Formal Framework for Multilevel Database Modifications. In A. Hameurlain and A Min Tjoa, editors, Proc. 8th Int. Conf. Database and Expert Systems Applications (DEXA'97), pages 240-251. Springer, Berlin, LNCS 1308, 1997.
(13 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 383kb via HTTP)
[Gärtner, 1997]: Heino Gärtner. Perspectives for a Formal Framework for Schema Modification in Object Databases. In D.J. Ram, editor, Proc. 8th Int. Conf. Management of Data (COMAD'97), pages 238-249. Narosa, New Delhi, 1997.
(12 pages, gzipped PostScript: 96kb via HTTP, uncompressed PostScript: 476kb via HTTP)
[Gogolla, 1997]: Martin Gogolla. On Behavioral Model Quality and Transformation. In Stephen W. Liddle, Stephen W. Clyde, and Scott N. Woodfield, editors, Proc. 16th Int. Conf. on Conceptual Modeling (ER'97), Workshop on Behavioral Models and Design Transformations. verb !http://osm7.cs.byu.edu/ER97/workshop4!, 1997.
(4 pages, gzipped PostScript: 54kb via HTTP, uncompressed PostScript: 279kb via HTTP)
[Gogolla and Parisi-Presicce, 1997]: Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML - A Formal Semantics using Graph Transformation. Rapporto di Ricerca 97/15, University of Rome `La Sapienza', Dipartimento di Scienze dell' Informazione, 1997.
(19 pages, gzipped PostScript: 112kb via HTTP, uncompressed PostScript: 685kb via HTTP)
[Gogolla and Richters, 1997a]: Martin Gogolla and Mark Richters. On Constraints and Queries in UML. In Martin Schader and Axel Korthaus, editors, Proc. UML'97 Workshop `The Unified Modeling Language - Technical Aspects and Applications', pages 109-121. Physica-Verlag, Heidelberg, 1997.
(14 pages, gzipped PostScript: 86kb via HTTP, uncompressed PostScript: 456kb via HTTP)
[Gogolla and Richters, 1997b]: Martin Gogolla and Mark Richters. Web-Based Object Animation. In Hans-Dieter Ehrich, Yulin Feng, and David Kung, editors, Object-Oriented Software Development, pages 16-16. Dagstuhl-Seminar-Report Nr. 174, 1997.
(1 pages, gzipped PostScript: 15kb via HTTP, uncompressed PostScript: 86kb via HTTP)
[Richters, 1997]: Mark Richters. jtrl User Manual. Internal Report, Universität Bremen, 1997.
(26 pages, gzipped PostScript: 162kb via HTTP, uncompressed PostScript: 921kb via HTTP)
[Richters and Gogolla, 1997a]: Mark Richters and Martin Gogolla. A Web-based Animator for Validating Object Specifications. In Bipin C. Desai and Barry Eaglestone, editors, Proc. Int. Database Engineering and Applications Symposium (IDEAS'97), pages 211-219. IEEE, Los Alamitos, 1997.
(9 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 701kb via HTTP)
[Richters and Gogolla, 1997b]: Mark Richters and Martin Gogolla. A Web User Interface for an Object Specification Language. In Michel Bidoit, editor, Proc. 7th Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT'97), pages 867-870. Springer, Berlin, LNCS 1214, 1997.
(5 pages, gzipped PostScript: 69kb via HTTP, uncompressed PostScript: 436kb via HTTP)
[Claßen et al., 1996]: Ingo Claßen, Martin Gogolla, and Michael Löwe. Dynamics in Information Systems - An Algebraic Approach to Specification, Construction and Correctness. Forschungsbericht 96/01, Technische Universität Berlin, 1996.
(21 pages, gzipped PostScript: 80kb via HTTP, uncompressed PostScript: 225kb via HTTP)
[Gärtner and Gogolla, 1996]: Heino Gärtner and Martin Gogolla. LASSY - A System for Analysing Grammatical Dependencies in Latin. In Roland R. Wagner and Helmut Thoma, editors, Proc. 7th Int. Workshop Database and Expert Systems Applications (DEXA'96), pages 275-284. IEEE, Los Alamitos, 1996.
(10 pages, gzipped PostScript: 105kb via HTTP, uncompressed PostScript: 577kb via HTTP)
[Gogolla, 1996a]: Martin Gogolla. Parameterizing Object Specifications. In Luigia Aiello, editor, Proc. 4th Int. Symposium Design and Implementation of Symbolic Computation Systems (DISCO'96), pages 126-137. Springer, Berlin, LNCS 1128, 1996.
(12 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 152kb via HTTP)
[Gogolla, 1996b]: Martin Gogolla. Towards Object Visualization by Conceptual Graphs. In Peter W. Eklund, Gerard Ellis, and Graham Mann, editors, Proc. 4th Int. Conf. Conceptual Structures (ICCS'96), Auxiliary Proceedings, pages 175-188. University of New South Wales, Sydney, 1996.
(14 pages, gzipped PostScript: 82kb via HTTP, uncompressed PostScript: 240kb via HTTP)
[Gogolla and Richters, 1996]: Martin Gogolla and Mark Richters. An Object Specification Language Implementation with Web User Interface based on Tycoon. In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing, editors, Specification and Semantics, pages 8-11. Dagstuhl-Seminar-Report Nr. 151, 1996.
(3 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 267kb via HTTP)
[Meyer et al., 1996]: Bernd Meyer, Gerhard D. Westerman, and Martin Gogolla. Drafting ER and OO Schemas in Prototyping Environments. Data and Knowledge Engineering, 19(3):201-240, 1996.
(48 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 353kb via HTTP)
[Wagner and Gogolla, 1996]: Annika Wagner and Martin Gogolla. Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae, 3,4:407-431, 1996.
(25 pages, gzipped PostScript: 93kb via HTTP, uncompressed PostScript: 348kb via HTTP)
[Conrad et al., 1995]: Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. Entwicklung zuverlässiger Informationssysteme. GI EMISA-Forum, 2:25-33, 1995.
(9 pages, gzipped PostScript: 90kb via HTTP, uncompressed PostScript: 234kb via HTTP)
[Gogolla, 1995a]: Martin Gogolla. A Declarative Query Approach to Object Identification. In Mike Papazoglou, editor, Proc. 14th Int. Conf. Object-Oriented and Entity-Relationship Modelling (ER'95), pages 65-76. Springer, Berlin, LNCS 1021, 1995.
(12 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 165kb via HTTP)
[Gogolla, 1995b]: Martin Gogolla. Identifying Objects by Declarative Queries. In Jan Chomicki, Gunter Saake, and Christina Sernadas, editors, The Role of Logics in Information Systems. Dagstuhl-Seminar-Report Nr. 121, 1995.
(1 pages, gzipped PostScript: 16kb via HTTP, uncompressed PostScript: 89kb via HTTP)
[Gogolla, 1995c]: Martin Gogolla. Towards Schema Queries for Semantic Data Models. In Norman Revell and A Min Tjoa, editors, Proc. 6th Int. Conf. and Workshop on Database and Expert Systems Applications (DEXA'95), pages 274-283. ONMIPRESS, San Mateo, 1995.
(10 pages, gzipped PostScript: 66kb via HTTP, uncompressed PostScript: 176kb via HTTP)
[Gogolla and Cerioli, 1995a]: Martin Gogolla and Maura Cerioli. What is an Abstract Data Type, after all? Technical Report PDISI-95-01, Dipartimento di Informatica e Scienze dell'Informazione, Universita di Genova, 1995.
(76 pages, gzipped PostScript: 169kb via HTTP, uncompressed PostScript: 784kb via HTTP)
[Gogolla and Cerioli, 1995b]: Martin Gogolla and Maura Cerioli. What is an Abstract Data Type, after all? In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc. 10th Int. Workshop Abstract Data Types (WADT'94), pages 499-523. Springer, Berlin, LNCS 906, 1995.
(26 pages, gzipped PostScript: 72kb via HTTP, uncompressed PostScript: 198kb via HTTP)
[Gogolla and Herzig, 1995a]: Martin Gogolla and Rudolf Herzig. An Algebraic Development Technique for Information Systems. In Vangalur S. Alagar and Maurice Nivat, editors, Proc. 4th Int. Conf. Algebraic Methodology and Software Technology (AMAST'95), pages 446-460. Springer, Berlin, LNCS 936, 1995.
(15 pages, gzipped PostScript: 85kb via HTTP, uncompressed PostScript: 222kb via HTTP)
[Gogolla and Herzig, 1995b]: Martin Gogolla and Rudolf Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc. 10th Int. Workshop Abstract Data Types (WADT'94), pages 288-304. Springer, Berlin, LNCS 906, 1995.
(17 pages, gzipped PostScript: 97kb via HTTP, uncompressed PostScript: 256kb via HTTP)
[Gogolla et al., 1995a]: Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. A Development Environment for an Object Specification Language. IEEE Transactions on Knowledge and Data Engineering, 7(3):505-508, 1995.
(6 pages, gzipped PostScript: 64kb via HTTP, uncompressed PostScript: 300kb via HTTP)
[Gogolla et al., 1995b]: Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. TROLL light - The Language and Its Development Environment. In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software (KORSO'95), pages 204-220. Springer, Berlin, LNCS 1009, 1995.
(16 pages, gzipped PostScript: 84kb via HTTP, uncompressed PostScript: 229kb via HTTP)
[Herzig and Gogolla, 1995]: Rudolf Herzig and Martin Gogolla. An Animator for the Object Specification Language TROLL light. In Vangalur S. Alagar and Rokia Missaoui, editors, Proc. Int Colloquium Object Orientation in Databases and Software Engineering (COODBSE'94), pages 156-170. World Scientific, River Edge (NJ), 1995.
(15 pages, gzipped PostScript: 62kb via HTTP, uncompressed PostScript: 233kb via HTTP)
[Herzig et al., 1995]: Rudolf Herzig, Martin Gogolla, and Grit Denker. KORSO Reference Languages: Concepts and Application Domains - TROLL light. In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software (KORSO'95), pages 156-162. Springer, Berlin, LNCS 1009, 1995.
(23 pages, gzipped PostScript: 61kb via HTTP, uncompressed PostScript: 164kb via HTTP)
[Conrad et al., 1994]: Stefan Conrad, Martin Gogolla, and Rudolf Herzig. Safe Derivations in Object Hierarchies. In D. Patel, Y. Sun, and S. Patel, editors, Proc. Int. Conf. Object-Oriented Information Systems (OOIS'94), pages 306-319. Springer, London, 1994.
(14 pages, gzipped PostScript: 48kb via HTTP, uncompressed PostScript: 126kb via HTTP)
[Denker and Gogolla, 1994]: Grit Denker and Martin Gogolla. Translating TROLL light Concepts to Maude. In Hartmut Ehrig and Fernando Orejas, editors, Proc. 9th Int. Workshop Abstract Data Types (WADT'92), pages 173-187. Springer, Berlin, LNCS 785, 1994.
(16 pages, gzipped PostScript: 66kb via HTTP, uncompressed PostScript: 166kb via HTTP)
[Ehrich et al., 1994]: Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'94. In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software durch formale Methoden - 6. KORSO-Workshop (KORSO'93), pages 82-94, 1994.
[Gogolla, 1994a]: Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Springer, Berlin, LNCS 767, 1994.
(145 pages, gzipped PostScript: 266kb via HTTP, uncompressed PostScript: 881kb via HTTP)
[Gogolla, 1994b]: Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. GI EMISA-Forum, 1:80-80, 1994.
(1 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 89kb via HTTP)
[Gogolla, 1994c]: Martin Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. GI Datenbankrundbrief, 13:86-86, 1994.
(1 pages, gzipped PostScript: 17kb via HTTP, uncompressed PostScript: 89kb via HTTP)
[Gogolla, 1994d]: Martin Gogolla. Grundlagen von Entity-Relationship-Modellen. Informatik-Skript 33, Technische Universität Braunschweig, 1994.
(62 pages, gzipped PostScript: 173kb via HTTP, uncompressed PostScript: 500kb via HTTP)
[Gogolla, 1994e]: Martin Gogolla. On Formal Semantics of Some Semantic Data Models. In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy, editors, Proc. 9th Int. Symposium Computer and Information Science (ISCIS'94), pages 33-40. Bogazici University Printhouse, Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 165kb via HTTP)
[Gogolla et al., 1994a]: Martin Gogolla, Sedat Güler, and Rudolf Herzig. From Object Specification to Enhanced Logic Programming. In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy, editors, Proc. 9th Int. Symposium Computer and Information Science (ISCIS'94), pages 423-430. Bogazici University Printhouse, Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 165kb via HTTP)
[Gogolla et al., 1994b]: Martin Gogolla, Nikolaos Vlachantonis, Rudolf Herzig, Grit Denker, Stefan Conrad, and Hans-Dieter Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Informatik-Bericht 94-06, Technische Universität Braunschweig, 1994.
(59 pages, gzipped PostScript: 172kb via HTTP, uncompressed PostScript: 468kb via HTTP)
[Herzig and Gogolla, 1994a]: Rudolf Herzig and Martin Gogolla. A SQL-like Query Calculus for Object-Oriented Database Systems. In Elisa Bertino and Susan Urban, editors, Proc. Int. Symposium Object-Oriented Methodologies and Systems (ISOOMS'94), pages 20-39. Springer, Berlin, LNCS 858, 1994.
(20 pages, gzipped PostScript: 68kb via HTTP, uncompressed PostScript: 230kb via HTTP)
[Herzig and Gogolla, 1994b]: Rudolf Herzig and Martin Gogolla. On a Better Formal Basis for Stating SQL-like Queries in Value- And Object-Based Database Systems. Technical Report 9/94, Universität Bremen, 1994.
(26 pages, gzipped PostScript: 83kb via HTTP, uncompressed PostScript: 272kb via HTTP)
[Herzig et al., 1994a]: Rudolf Herzig, Stefan Conrad, and Martin Gogolla. Compositional Description of Object Communities with TROLL light. In Chris Chrisment, editor, Proc. Basque Int. Workshop Information Technology (BIWIT'94), pages 183-194. Cepadues Editions, Toulouse, 1994.
(12 pages, gzipped PostScript: 35kb via HTTP, uncompressed PostScript: 98kb via HTTP)
[Herzig et al., 1994b]: Rudolf Herzig, Heiko Fischer, and Martin Gogolla. Zur Gestaltung der Benutzeroberfläche bei der Animation von Objektspezifikationen. GI Datenbankrundbrief, 13:43-45, 1994. Proc. Workshop GI-Fachgruppe Datenbanken.
(4 pages, gzipped PostScript: 77kb via HTTP, uncompressed PostScript: 279kb via HTTP)
[Conrad et al., 1993]: Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, and Hans-Dieter Ehrich. Zur Entwicklung zuverlässiger Informationssysteme in KORSO. In H. Reichel, editor, Proc. 23. GI Jahrestagung (GI'93) - Informatik - Wirtschaft - Gesellschaft, pages 464-469. Springer, Berlin, Informatik Aktuell, 1993.
(6 pages, gzipped PostScript: 58kb via HTTP, uncompressed PostScript: 144kb via HTTP)
[Ehrich et al., 1993a]: Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Beiträge zu ``Das BMFT-Verbundprojekt Korrekte Software (KORSO)''. In Manfred Broy and Stefan Jähnichen, editors, Das BMFT-Verbundprojekt Korrekte Software (KORSO), pages 160-161. Informatik - Forschung und Entwicklung, Vol. 8, No. 3, 1993.
[Ehrich et al., 1993b]: Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis. Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'93. In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software durch formale Methoden - 4. KORSO-Workshop (KORSO'93), pages 50-56, 1993.
[Gogolla, 1993a]: Martin Gogolla. A Computational Model for TROLL light. In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing, editors, Specification and Semantics. Dagstuhl-Seminar-Report Nr. 64, 1993.
(1 pages, gzipped PostScript: 20kb via HTTP, uncompressed PostScript: 118kb via HTTP)
[Gogolla, 1993b]: Martin Gogolla. Some Examples for TROLL light Templates. In Hans-Dieter Ehrich, editor, Beiträge zu KORSO- und TROLL light-Fallstudien, pages 51-62. Technische Universität Braunschweig, Informatik-Bericht Nr. 93-11, 1993.
(68 pages, gzipped PostScript: 191kb via HTTP, uncompressed PostScript: 517kb via HTTP)
[Gogolla, 1993c]: Martin Gogolla. TROLL light - A Core Language for Specifying Objects. In Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban, editors, Formal Aspects of Object Base Dynamics. Dagstuhl-Seminar-Report Nr. 62, 1993.
(1 pages, gzipped PostScript: 31kb via HTTP, uncompressed PostScript: 170kb via HTTP)
[Gogolla and Claßen, 1993]: Martin Gogolla and Ingo Claßen. An Object-Oriented Design for the ACT ONE Environment. In Maurice Nivat, Charles Rattray, Theodor Rus, and Giuseppe Scollo, editors, Proc. 3rd Int. Conf. Algebraic Methodology and Software Technology (AMAST'93), pages 361-368. Springer, London, Workshops in Computing, 1993.
(8 pages, gzipped PostScript: 55kb via HTTP, uncompressed PostScript: 134kb via HTTP)
[Gogolla et al., 1993a]: Martin Gogolla, Stefan Conrad, and Rudolf Herzig. Sketching Concepts and Computational Model of TROLL light. In Alfonso Miola, editor, Proc. 3rd Int. Symposium Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17-32. Springer, Berlin, LNCS 722, 1993.
(16 pages, gzipped PostScript: 106kb via HTTP, uncompressed PostScript: 264kb via HTTP)
[Gogolla et al., 1993b]: Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, and Nikolaos Vlachantonis. Integrating the ER Approach in an OO Environment. In Ramez Elmasri, Vram Kouramajian, and Bernhard Thalheim, editors, Proc. 12th Int. Conf. Entity-Relationship Approach (ER'93), pages 376-389. Springer, Berlin, LNCS 823, 1993.
(14 pages, gzipped PostScript: 94kb via HTTP, uncompressed PostScript: 231kb via HTTP)
[Vlachantonis et al., 1993]: Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, and Hans-Dieter Ehrich. Towards Reliable Information Systems: The KORSO Approach. In Colette Rolland, Francois Bodart, and Corine Cauvet, editors, Proc. 5th Int. Conf. Advanced Information Systems Engineering (CAiSE'93), pages 463-483. Springer, Berlin, LNCS 685, 1993.
(20 pages, gzipped PostScript: 87kb via HTTP, uncompressed PostScript: 229kb via HTTP)
[Conrad and Gogolla, 1992]: Stefan Conrad and Martin Gogolla. An Annotated Bibliography on Object-Orientation and Deduction. ACM SIGMOD Record, 21(1):123-132, 1992.
(10 pages, gzipped PostScript: 61kb via HTTP, uncompressed PostScript: 150kb via HTTP)
[Conrad et al., 1992]: Stefan Conrad, Martin Gogolla, and Rudolf Herzig. TROLL light - A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.
(26 pages, gzipped PostScript: 114kb via HTTP, uncompressed PostScript: 301kb via HTTP)
[Engels et al., 1992]: Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich. Conceptual Modelling of Database Applications Using an Extended ER Model. Data and Knowledge Engineering, 9(2):157-204, 1992.
(58 pages, gzipped PostScript: 163kb via HTTP, uncompressed PostScript: 484kb via HTTP)
[Gogolla, 1992a]: Martin Gogolla. Contributions to ``A Framework for Software Development in KORSO''. In Martin Wirsing, editor, A Framework for Software Development in KORSO. Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 9205, 1992.
[Gogolla, 1992b]: Martin Gogolla. Fundamentals and Pragmatics of an Entity-Relationship Approach. Habilitation thesis, Technische Universität Braunschweig, Naturwissenschaftliche Fakultät, 1992. Submitted November 1992, Accepted May 1993.
(145 pages, gzipped PostScript: 266kb via HTTP, uncompressed PostScript: 881kb via HTTP)
[Herzig and Gogolla, 1992]: Rudolf Herzig and Martin Gogolla. Transforming Conceptual Data Models into an Object Model. In Günter Pernul and A Min Tjoa, editors, Proc. 11th Int. Conf. Entity-Relationship Approach (ER'92), pages 280-298. Springer, Berlin, LNCS 645, 1992.
(19 pages, gzipped PostScript: 108kb via HTTP, uncompressed PostScript: 278kb via HTTP)
[Claßen and Gogolla, 1991]: Ingo Claßen and Martin Gogolla. Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE. Forschungsbericht 91/11, Technische Universität Berlin, 1991.
(24 pages, gzipped PostScript: 100kb via HTTP, uncompressed PostScript: 261kb via HTTP)
[Ehrich et al., 1991]: Hans-Dieter Ehrich, Martin Gogolla, and Amilcar Sernadas. Objects and Their Specification. In Michel Bidoit and Christine Choppy, editors, Proc. 8th Int. Workshop Abstract Data Types (WADT'91), pages 40-65. Springer, Berlin, LNCS 655, 1991.
(26 pages, gzipped PostScript: 97kb via HTTP, uncompressed PostScript: 255kb via HTTP)
[Gogolla and Ehrich, 1991]: Martin Gogolla and Hans-Dieter Ehrich. Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System Specification and Development''. In Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, and Don Sannella, editors, COMPASS - A Comprehensive Algebraic Approach to System Specification and Development. Springer, Berlin, LNCS 501, 1991.
[Gogolla and Hohenstein, 1991]: Martin Gogolla and Uwe Hohenstein. Towards a Semantic View of an Extended Entity-Relationship Model. ACM Transactions on Database Systems, 16(3):369-416, 1991.
(48 pages, gzipped PostScript: 5025kb via HTTP, uncompressed PostScript: 47544kb via HTTP)
[Gogolla et al., 1991]: Martin Gogolla, Bernd Meyer, and Gerhard D. Westerman. Drafting Extended Entity-Relationship Schemas with QUEER. In Toby Teorey, editor, Proc. 10th Int. Conf. Entity-Relationship Approach (ER'91), pages 561-585. ER Institute, San Mateo, 1991.
(25 pages, gzipped PostScript: 111kb via HTTP, uncompressed PostScript: 290kb via HTTP)
[Engels et al., 1990]: Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich. Conceptual Modelling of Database Applications Using an Extended ER Model. Informatik-Bericht 90-05, Technische Universität Braunschweig, 1990.
(58 pages, gzipped PostScript: 163kb via HTTP, uncompressed PostScript: 484kb via HTTP)
[Gogolla, 1990a]: Martin Gogolla. A Note on the Translation of SQL to Tuple Calculus. Bulletin of the EATCS, 40:231-236, 1990.
(5 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 117kb via HTTP)
[Gogolla, 1990b]: Martin Gogolla. A Note on the Translation of SQL to Tuple Calculus. ACM SIGMOD Record, 19(1):18-22, 1990.
(5 pages, gzipped PostScript: 47kb via HTTP, uncompressed PostScript: 117kb via HTTP)
[Gogolla, 1990c]: Martin Gogolla. Datalog - Eine deduktive Datenbanksprache. Informatik-Skript 25, Technische Universität Braunschweig, 1990.
[Gogolla and Karge, 1990]: Martin Gogolla and Ulrich Karge. Zur formalen Semantik von SQL. In Udo Walter Lipeck, Stefan Braß, and Gunter Saake, editors, Kurzfassungen 2. Workshop Grundlagen von Datenbanken (GvD'90), pages 27-29. Technische Universität Braunschweig, Informatik-Bericht Nr. 90-02, 1990.
[Karge and Gogolla, 1990]: Ulrich Karge and Martin Gogolla. Formal Semantics of SQL Queries. Informatik-Bericht 90-02, Technische Universität Braunschweig, 1990.
[Meyer et al., 1990]: Bernd Meyer, Gerhard D. Westerman, and Martin Gogolla. QUEER - A Prolog Based Prototype for an Extended ER Approach. Informatik-Bericht 90-03, Technische Universität Braunschweig, 1990.
(36 pages, gzipped PostScript: 136kb via HTTP, uncompressed PostScript: 367kb via HTTP)
[Ehrich et al., 1989a]: Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter Saake, editors. Abstracts Workshop Grundlagen von Datenbanken (GvD'89). Technische Universität Braunschweig, Informatik-Bericht Nr. 89-02, 1989.
[Ehrich et al., 1989b]: Hans-Dieter Ehrich, Martin Gogolla, and Udo Walter Lipeck. Algebraische Spezifikation Abstrakter Datentypen - Eine Einführung in die Theorie. Leitfäden und Monographien der Informatik. Teubner, Stuttgart, 1989.
[Gogolla, 1989a]: Martin Gogolla. Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. In Josep Diaz and Fernando Orejas, editors, Proc. 3rd Int. Joint Conf. Theory and Practice of Software Development (TAPSOFT'89), pages 259-274. Springer Berlin, LNCS 351, 1989.
(16 pages, gzipped PostScript: 70kb via HTTP, uncompressed PostScript: 186kb via HTTP)
[Gogolla, 1989b]: Martin Gogolla. Zur Übersetzung eines ER-Kalküls nach Prolog. In Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter Saake, editors, Abstracts Workshop Grundlagen von Datenbanken (GvD'89). Technische Universität Braunschweig, Informatik-Bericht Nr. 89-02, 1989.
[Gogolla and Ehrich, 1989]: Martin Gogolla and Hans-Dieter Ehrich. Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System Specification and Development''. In Bernd Krieg-Brückner, editor, COMPASS - A Comprehensive Algebraic Approach to System Specification and Development. Universität Bremen, Informatik-Bericht 6/89, 1989.
[Ehrich et al., 1988]: Hans-Dieter Ehrich, Klaus Drosten, and Martin Gogolla. Towards an Algebraic Semantics for Database Specification. In Robert A. Meersman and Amilcar C. Sernadas, editors, Proc. 2nd IFIP 2.6 Working Conf. Database Semantics (DS-2'86), pages 119-135. North Holland, Amsterdam, 1988.
[Hohenstein and Gogolla, 1988a]: Uwe Hohenstein and Martin Gogolla. A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. In Carlo Battini, editor, Proc. 7th Int. Conf. Entity-Relationship Approach (ER'88), pages 129-148. North-Holland, Amsterdam, 1988.
[Hohenstein and Gogolla, 1988b]: Uwe Hohenstein and Martin Gogolla. Towards a Semantic View of an Extended Entity-Relationship Model. Informatik-Bericht 88-02, Technische Universität Braunschweig, 1988.
[Gogolla, 1987]: Martin Gogolla. On Parametric Algebraic Specifications with Clean Error Handling. In Hartmut Ehrig, Robert Kowalski, and Giorgio Levi, editors, Proc. 2nd Int. Joint Conf. Theory and Practice of Software Development (TAPSOFT'87), pages 81-95. Springer, Berlin, LNCS 249, 1987.
[Ehrich et al., 1986]: Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck, editors. Abstracts 4th Int. Workshop Abstract Data Types (WADT'86). Technische Universität Braunschweig, Informatik-Bericht Nr. 86-09, 1986.
[Gogolla, 1986a]: Martin Gogolla. Exception Handling and Subsorts. In Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck, editors, Abstracts 4th Int. Workshop Abstract Data Types (WADT'86). Technische Universität Braunschweig, Informatik-Bericht Nr. 86-09, 1986.
[Gogolla, 1986b]: Martin Gogolla. Über Partiell Geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in Abstrakten Datentypen. PhD thesis, Technische Universität Braunschweig, Naturwissenschaftliche Fakultät, 1986. Mainly material from the CAAP'84, TCS'84, WADT'84 and TAPSOFT'87 papers.
[Gogolla, 1985a]: Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. Informatik-Bericht 85-06, Technische Universität Braunschweig, 1985.
[Gogolla, 1985b]: Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. In Hans-Jörg Kreowski, editor, Proc. 3rd Int. Workshop Abstract Data Types (WADT'84), pages 89-103. Springer Berlin, Informatik Fachberichte 116, 1985.
[Lipeck et al., 1985]: Udo Walter Lipeck, Hans-Dieter Ehrich, and Martin Gogolla. Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In Amilcar Sernadas, Janis Bubenko, and Antoni Olive, editors, Proc. IFIP Working Conf. Theoretical and Formal Aspects of Information Systems (TFAIS'85), pages 145-157. North Holland, Amsterdam, 1985.
(13 pages, gzipped PostScript: 1606kb via HTTP, uncompressed PostScript: 20511kb via HTTP)
[Ehrich et al., 1984]: Hans-Dieter Ehrich, Udo Walter Lipeck, and Martin Gogolla. Specification, Semantics and Enforcement of Dynamic Database Constraints. In Umeshwar Dayal, Gunter Schlageter, and Lim Huat Seng, editors, Proc. 10th Int. Conf. Very Large Data Bases (VLDB'84), pages 310-318. Morgan Kaufmann, San Mateo, 1984.
(8 pages, gzipped PostScript: 1153kb via HTTP, uncompressed PostScript: 12773kb via HTTP)
[Gogolla, 1984a]: Martin Gogolla. A Final Algebra Semantics for Errors and Exceptions. In Hans-Jörg Kreowski and Anne Wilharm, editors, Abstracts 3rd Int. Workshop Abstract Data Types (WADT'84). Universität Bremen, Informatik-Bericht 9/84, 1984.
[Gogolla, 1984b]: Martin Gogolla. Partially Ordered Sorts in Algebraic Specifications. In Bruno Courcelle, editor, Proc. 9th Int. Colloquium Trees in Algebra and Programming (CAAP'84), pages 139-153. Cambridge University Press, Cambridge, 1984.
(15 pages, gzipped PostScript: 1584kb via HTTP, uncompressed PostScript: 20309kb via HTTP, PDF: 1179kb via HTTP)
[Gogolla et al., 1984]: Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theoretical Computer Science, 34:289-313, 1984.
(25 pages, gzipped PostScript: 1749kb via HTTP, uncompressed PostScript: 22673kb via HTTP)
[Gogolla, 1983a]: Martin Gogolla. Algebraic Specification of Subsorts. In Manfred Broy and Martin Wirsing, editors, Abstracts 2nd Int. Workshop Abstract Data Types (WADT'83). Universität Passau, Informatik-Bericht, 1983.
[Gogolla, 1983b]: Martin Gogolla. Algebraic Specifications with Partially Ordered Sorts and Declarations. Forschungsbericht 169, Universität Dortmund, Abteilung Informatik, 1983.
[Gogolla and Ehrich, 1983]: Martin Gogolla and Hans-Dieter Ehrich. Algebraic Specifications with Subsorts Using Declarations. Bulletin of the EATCS, 21:31-38, 1983.
[Drosten et al., 1982]: Klaus Drosten, Martin Gogolla, Hans-Dieter Ehrich, and Udo Lipeck. A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications. Forschungsbericht 144, Universität Dortmund, Abteilung Informatik, 1982.
[Gogolla et al., 1982a]: Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Exceptions and Errors. In Armin B. Cremers and Hans-Peter Kriegel, editors, Proc. 6th GI Conf. Theoretical Computer Science, pages 141-151. Springer, Berlin, LNCS 145, 1982.
[Gogolla et al., 1982b]: Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich. Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Forschungsbericht 140, Universität Dortmund, Abteilung Informatik, 1982.
[Gogolla, 1980]: Martin Gogolla. Eine Charakterisierung von nicht-strukturierten Flußdiagrammen. Master's thesis, Universität Dortmund, Abteilung Informatik, 1980.
[Coy et al., 1979]: Wolfgang Coy, Claudio Moraga, Friedrich Abraham, Angelika Beese, Werner Bielefeld, Magdalena Bonsiepen, Martin Gogolla, Michael Land, and Manfred Siebert. Adaptive und Lernende Systeme - Bericht einer Projektgruppe Wintersemester 1978 - Sommersemester 1979. Interne Berichte und Skripten, Universität Dortmund, Abteilung Informatik, 1979.

Home|People|Teaching|Publications

Last change: 17.11.2011