Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
128 Publications
2005 | Conference Paper | LibreCat-ID: 7939
Executable Visual Contracts
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
LibreCat
| DOI
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
2005 | Report | LibreCat-ID: 8214
Teaching UML is Teaching Software Engineering is Teaching Abstraction
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005.
LibreCat
| DOI
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005.
2005 | Conference Paper | LibreCat-ID: 8397
Design by Contract zur semantischen Beschreibung von Web Services
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
2005 | Conference Paper | LibreCat-ID: 8398
Modellbasierte Entwicklung von Web Services mit Design by Contract
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
2004 | Conference (Editor) | LibreCat-ID: 7783
Modeling and Development of Multimedia Systems
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
LibreCat
| DOI
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
2004 | Conference Paper | LibreCat-ID: 7926
Guest Editors' Introduction
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
LibreCat
| DOI
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
2004 | Journal Article | LibreCat-ID: 7382
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
2003 | Conference Paper | LibreCat-ID: 7908
Integrating software engineering and user-centred design for multimedia software developments
G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.
LibreCat
| DOI
G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.
2003 | Conference Paper | LibreCat-ID: 8380
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), Elsevier, 2003, pp. 133–144.
LibreCat
| DOI
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), Elsevier, 2003, pp. 133–144.
2002 | Conference Paper | LibreCat-ID: 7899
Testing the Consistency of Dynamic UML Diagrams
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
2002 | Conference Paper | LibreCat-ID: 8368
Extended Model Relations with Graphical Consistency Conditions
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
2001 | Conference Paper | LibreCat-ID: 7888
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.
2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat
| DOI
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
2001 | Conference Paper | LibreCat-ID: 7893
UML-based Behavior Specification of Interactive Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
2001 | Journal Article | LibreCat-ID: 7395
Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
LibreCat
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
2001 | Conference Paper | LibreCat-ID: 8360
Identifiying Semantic Dimensions of (UML) Sequence Diagrams
J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
LibreCat
J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
2000 | Conference Paper | LibreCat-ID: 7873
UML - A Universal Modeling Language?
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.
LibreCat
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.
2000 | Conference Paper | LibreCat-ID: 7875
Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.
LibreCat
| DOI
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.
2000 | Conference Paper | LibreCat-ID: 8329
Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.