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
@inproceedings{Lohmann_Sauer_Engels_2005, place={Washington, DC, USA}, title={Executable Visual Contracts}, DOI={http://dx.doi.org/10.1109/VLHCC.2005.35}, booktitle={Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005)}, publisher={IEEE Computer Society}, author={Lohmann, Marc and Sauer, Stefan and Engels, Gregor}, year={2005}, pages={63–70} }
LibreCat
| DOI
2005 | Report | LibreCat-ID: 8214
@book{Engels_Hendrik Hausmann_Lohmann_Sauer_2005, title={Teaching UML is Teaching Software Engineering is Teaching Abstraction}, DOI={http://dx.doi.org/10.1007/11663430_32}, publisher={Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 8397
@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Design by Contract zur semantischen Beschreibung von Web Services}, volume={68}, booktitle={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)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={612–616}, collection={Lecture Notes in Informatics} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 8398
@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit Design by Contract}, volume={68}, booktitle={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}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }
LibreCat
2004 | Conference (Editor) | LibreCat-ID: 7783
@book{Engels_Sauer_2004, series={Special Issue of the International Journal of Software Engineering and Knowledge Engineering}, title={Modeling and Development of Multimedia Systems}, volume={14}, DOI={http://dx.doi.org/10.1142/S021819400400183X}, number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue of the International Journal of Software Engineering and Knowledge Engineering} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7926
@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction}, volume={14}, DOI={http://dx.doi.org/10.1142/S021819400400183X}, number={6}, booktitle={International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels, Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 7382
@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating software engineering and user-centred design for multimedia software developments}, DOI={http://dx.doi.org/10.1109/HCC.2003.1260240}, booktitle={Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003}, pages={254–256} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8380
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2003, series={Electronic Notes in Theoretical Computer Science}, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={72}, DOI={http://dx.doi.org/10.1016/S1571-0661(04)80617-0}, number={3}, booktitle={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)}, publisher={Elsevier}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2003}, pages={133–144}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7899
@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 8368
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2002, title={Extended Model Relations with Graphical Consistency Conditions}, booktitle={Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)}, publisher={Department of Software Engineering and Computer Science, Blekinge Institute of Technology}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002}, pages={61–74} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2001, place={Washington, DC, USA}, title={Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={80–87} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={http://dx.doi.org/10.1007/3-540-45314-8_9}, booktitle={Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7893
@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based Behavior Specification of Interactive Multimedia Applications}, DOI={http://dx.doi.org/10.1109/HCC.2001.995271}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 7395
@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8360
@inproceedings{Hendrik Hausmann_Küster_Sauer_2001, place={Bonn}, series={Lecture Notes in Informatics}, title={Identifiying Semantic Dimensions of (UML) Sequence Diagrams}, volume={7}, booktitle={Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}, publisher={Gesellschaft für Informatik (GI)}, author={Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}, year={2001}, pages={142–157}, collection={Lecture Notes in Informatics} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7873
@inproceedings{Engels_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={UML - A Universal Modeling Language?}, volume={1825}, booktitle={Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={24–38}, collection={LNCS} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, volume={1939}, DOI={http://dx.doi.org/10.1007/3-540-40011-7_23}, booktitle={Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={323–337}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8329
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2000, title={Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung}, booktitle={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)}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8343
@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }
LibreCat