Paul Ziemann

• Martin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML, Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), 2002, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: An Extension of OCL with Temporal Logic, Workshop on Critical Systems Development with UML, 2002, (BibTeX entry).
• Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann: Metamodel Transformation of Data Models, Workshop in Software Model Engineering, 2002, (BibTeX entry).
• Stefan Bisanz, Paul Ziemann, Arne Lindow: Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study, 2004, (BibTeX entry).
• Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann: Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung, Gesellschaft für Informatik, 2004, (BibTeX entry).
• Martin Gogolla, Paul Ziemann: Checking BART Test Scenarios with UML's Object Constraint Language, Kluwer Academic Publishers, 2004, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study, Elsevier, 2003, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: An OCL Extension for Formulating Temporal Constraints, 2003, (BibTeX entry).
• Paul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic, Springer, 2003, (BibTeX entry).
• Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations, Elsevier, 2005, (BibTeX entry).
• Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems, Elsevier, 2005, (BibTeX entry).

Search other Bibliographies

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

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