Staff
Dr.-Ing. Birgit Demuth
Contact information
| Email: | |
| Phone: | (+49) 351 463 38442 |
| Fax: | (+49) 351 463 38459 |
| Address: | Zi. APB 2085 Nöthnitzer Str. 46 01187 Dresden |
| Consultation: | Studierende, die an unserer Professur eine externe Arbeit (Bachelor, Großer Beleg, Diplom, Master) schreiben möchten, melden sich bitte per Email bei mir an! |
My main research topics of interest are:
- Innovative software engineering education
- Requirements engineering
- Business rules
- Model-driven software development
- OCL
Publications
List of last publications
- How to improve the understanding of roles in modeling, (Markus Hamann, Juliane Pfeffer, Birgit Demuth), MODELS '18 Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Pages 114-121, Copenhagen, Denmark — October 14 - 19, 2018
- Wo steht mein Projekt? Ortung eines Softwareentwicklungsprojektes., (Harry Sneed, Birgit Demuth), Objektspektrum, Ausgabe 05/2018, S. 45-51
- Tracing Software Systemevolution, (Harry Sneed, Birgit Demuth), 20. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software-Reengineering (SRE) und 9. Workshop Design for Future des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2) Bad-Honnef, 02.04. Mai 2018
[more]
[less]
Publications 2018-2016
[less]
- How to improve the understanding of roles in modeling, (Markus Hamann, Juliane Pfeffer, Birgit Demuth), MODELS '18 Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Pages 114-121, Copenhagen, Denmark — October 14 - 19, 2018
- Wo steht mein Projekt? Ortung eines Softwareentwicklungsprojektes., (Harry Sneed, Birgit Demuth), Objektspektrum, Ausgabe 05/2018, S. 45-51
- Tracing Software Systemevolution, (Harry Sneed, Birgit Demuth), 20. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software-Reengineering (SRE) und 9. Workshop Design for Future des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2) Bad-Honnef, 02.04. Mai 2018
- Continuous Publishing of Online Programming Assignments with INLOOP, (Martin Morgenstern, Birgit Demuth), Software Engineering (Workshops) 2018: 32-33, http://ceur-ws.org/Vol-2066/
- An Approach for Project Task Approximation in a Large-Scale Software Project Course. , (Birgit Demuth, Marc Kandler), IEEE 30th Conference on Software Engineering Education and Training (CSEET 2017), November 2017, Savannah, Georgia, USA, http://ieeexplore.ieee.org/document/8166685/
- Tracing Change Requests. From Requirements to Code., (Harry Sneed, Birgit Demuth), The Magazine for RE Professionals from IREB, Issue 2017-01
- Constructive Alignment in Teaching Modeling, (Birgit Demuth), Educators Symposium at MODELS 2016, http://ceur-ws.org/Vol-1835/
- Ein Modell für natursprachliche Anforderungsdokumente, (Birgit Demuth, Harry Sneed), Informatik-Spektrum, 5/2016, DOI: 10.1007/s00287-015-0942-5
Publications 2015-2013
[less]
- Tool Use in Software Modelling Education (invited paper), (Seiko Akayama, Birgit Demuth, Timothy C. Lethbridge, Marion Scholz, Perdita Stevens, Dave R. Stikkolorum), Educators Symposium at the 16th International Conference on Model Driven Engineering Languages and Systems, http://ceur-ws.org/Vol-1134/
- Software Engineering und Management 2015, (Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser (Hrsg.)), Proc. Software Engineering und Management 2015, Dresden, GI Edition, Lecture Notes in Informatics 239
- Database Evolution for Software Product Lines., (Kai Herrmann, Jan Reimann, Hannes Voigt, Birgit Demuth, Stefan Fromm, Robert Stelzmann, Wolfgang Lehner), Proc. DATA 2015 Proceedings of 4th International Conference on Data Management Technologies and Applications, Colmar, France, 2015
- The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education, (Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frederic Boulanger, Jeff Gray), Proc. of the MODELS Educators Symposium 2014, CEUR-WS.org, Volume 1346
- MODELS Educators Symposium 2014 (Proceedings), (Birgit Demuth, Dave Stikkolorum (Eds.)), CEUR-WS.org, Volume 1346
- Report on the Aachen OCL Meeting , (Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Berhard Rumpe, Edward D. Willink, Burkhart Wolff), OCL@MODELS 2013:103-111
- Tool-Supported Step-By-Step Debugging for the Object Constraint Language , (Lars Schütze, Claas Wilke, and Birgit Demuth), OCL@MODELS 2013:73-82
- Evaluation of Students' Modeling and Programming Skills, (Birgit Demuth, Sebastian Götz, Harry Sneed, Uwe Schmidt), Educators Symposium at the 16th International Conference on Model Driven Engineering Languages and Systems, http://ceur-ws.org/Vol-1134/
- A Process for Assessing Data Quality, (Harry Sneed, Birgit Demuth, Björn Freitag), 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, Luxembourg, Luxembourg Luxembourg March 18-March 22
Publications 2012-2010
[less]
- How Should Teaching Modeling and Programming Intertwine?, (Birgit Demuth), Educators Symposium @ MODELS 2012, Innsbruck, 2012
- Tool Supported OCL Refactoring Catalogue, (Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, and Uwe Aßmann), 2012 Workshop on OCL and Textual Modelling (OCL 2012)
- DropsBox: the Dresden Open Software Toolbox, (Uwe Aßmann, Andreas Bartho, Christoff Bürger, Sebastian Cech, Birgit Demuth, Florian Heidenreich, Jendrik Johannes, Sven Karol, Jan Polowinski, Jan Reimann, Julia Schroeter, Mirko Seifert, Michael Thiele, Christian Wende, Claas Wilke), In: Vol. 11 of Software & Systems Modeling (SoSyM), Springer, November 2012, pp 1-37.
- SalesPoint: A Java framework for teaching object-oriented software development., (Steffen Zschaler, Birgit Demuth, Lothar Schmitz), Science of Computer Programming 79(2014)189203, http://dx.doi.org/10.1016/j.scico.2012.04.005
- OCL Tools Report based on the IDE4OCL Feature Model, (Joanna Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann and Edward Willink), Proceedings of the International Workshop on OCL and Textual Modelling Colocated with TOOLS Europe 2011, ICMT 2011, TAP 2011 and SC 2011
- UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure, (Claas Wilke, Birgit Demuth), Proceedings of the International Workshop on OCL and Textual Modelling Colocated with TOOLS Europe 2011, ICMT 2011, TAP 2011 and SC 2011.
- Towards a model driven Modelica IDE, (Roland Samlaus, Claudio Hillmann, Birgit Demuth, Martin Krebs), 8th International Modelica Conference, Dresden, 2011
- Teaching OCL Standard Library: First Part of an OCL 2.x Course, (Joanna Chimiak-Opoka, Birgit Demuth), 6th Educators' Symposium @ MODELS 2010: Software Modeling in Education
- A Feature Model for an IDE4OCL, (Joanna Chimiak-Opoka, Birgit Demuth), Workshop on OCL and Textual Modelling, 2010, ACM/IEEE 13th International Conference on Model Driven Engineering, Languages and Systems (MODELS 2010)
- Event-Driven Verification in Dynamic Component Models, (Claas Wilke, Jens Dietrich, Birgit Demuth), Proceedings of the Fifteenth International Workshop on Component-Oriented Programming” (WCOP2010), June 22, Prague, Czechia, 2010
- Joining Business Rules and Business Processes, (Sebastian Richly, Dirk Habich, Birgit Demuth, Franziska Gietl, Joachim Spilke, Wolfgang Lehner, Uwe Aßmann), Proceedings of the 16th Int. Conference on Information and Software technologies (IT 2010), ed. by A. Targamadze et al, Kaunas, Lithuania, April 21-23, 2010, ISSN 2029-0020
Publications 2009-2007
[less]
- Requirements Analysis for an Integrated OCL Development Environment, (Joanna Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette ), OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languages, ACM/IEEE MoDELS International Conference, Denver, Colorado, USA, October, 2009
- Model and Object Verification by Using Dresden OCL, (Birgit Demuth, Claas Wilke), Proc. of the Russian-German Workshop "Innovation Information Technologies: Theory & Practice", Ufa, Russia, July 25-31, 2009, ISBN 978-5-86911-964-3
- Web Based Software Modeling Exercises in Large-Scale Software Engineering Courses., (Birgit Demuth, Daniel Weigel), IEEE Proceedings of the 22nd Conference on Software Engineering Education and Training, February, 2009
- Constraints Modeling in Agricultural Databases, (François Pinet, Magali Duboisset, Birgit Demuth, Michel Schneider, Vincent Soulignac, François Barnabé), in: Advances in Modeling Agricultural Systems Series: Springer Optimization and Its Applications , Vol. 25 Papajorgji, Petraq J.; Pardalos, Panos M. (Eds.) 2009, ISBN: 978-0-387-75180-1
- Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support, (Matthias Bräuer, Birgit Demuth ), in: Models in Software Engineering, LNCS 5002, 182-193, Springer Berlin / Heidelberg
- Technologietransfer am Beispiel von DABA 1600, (Birgit Demuth, Karl-Heinz Wiggert), in: Informatik in der DDR - Grundlagen und Anwendungen. GI-Edition, Thematics 3
- Informatik in der DDR - Grundlagen und Anwendungen, (Birgit Demuth (Hrsg.)), GI Edition, Thematics 3
- Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support, (Birgit Demuth, Matthias Bräuer), In Proceedings of the Workshop Ocl4All: Modeling Systems with OCL co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. To appear.
- An Approach for Bridging the Gap Between Business Rules and the Semantic Web, (Birgit Demuth, Hans-Bernhard Liebau), Advances in Rule Interchange and Applications. Proceedings of the International Symposium, RuleML 2007, Orlando, Florida, October 2007, Springer, LNCS 4824
- A Framework for Generating Query Language Code from OCL Invariants, (Florian Heidenreich, Christian Wende, Birgit Demuth), In Proceedings of the Workshop Ocl4All: Modelling Systems with OCL co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. To appear.
- OCL for (Meta-)Models in Multiple Application Domains, (Dan Chiorean, Birgit Demuth, Martin Gogolla, and JosWarmer), LNCS 4364 - Models in Software Engineering, Springer, 2007, p. 152-158
Publications - older
[less]
- Experience in Early and Late Software Engineering Project Courses, (Birgit Demuth,Mike Fischer,Heinrich Hussmann), Proc. 5th Conference on Software Engineering Education Training (CSEE&T 2002), 25-27 February 2002, Kentucky, USA, IEEE Computer Society
- Friedlich vereint - Persistence: Mittler zwischen Objekten und Relationen, (Birgit Demuth), iX Multiuser Multitasking Magazin, S. 91-97, Juli 1997
Research projects
List of last projects
No project with id 0 - 71Teaching
Academic Year 2020/2021
| Winter Semester | Summer Semester |
|---|---|
[more]
[less]
[2019/2020]
[2018/2019]
[2017/2018]
[2016/2017]
[2015/2016]
[2014/2015]
[2013/2014]
[2012/2013]
[2011/2012]
[2010/2011]
[2009/2010]
[older]
Academic Year 2014/2015
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Academic Year 2013/2014
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Academic Year 2012/2013
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Academic Year 2011/2012
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Academic Year 2010/2011
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Academic Year 2009/2010
[less]
| Winter Semester | Summer Semester |
|---|---|
|
|
Students' theses
Current students' theses
| Kind | Topic | Student |
|---|---|---|
| BA/GB | Generation of UML Models based on Redocumented Textual Requirements Specifications | Andreas Huber |
Past students' theses
| Kind | Topic | Student |
|---|---|---|
| MA | Automatic Feedback for UML Modeling Exercises as an Extension of INLOOP | Markus Hamann |
| MP | Szenario- und Modelltransformationsbasierte Modellierungsumgebung zur Unterstützung des Softwarepraktikums | Markus Hamann |
| MA | Prinzipien und Praktiken zur Aufwandsschätzung von Consulting -Projekten für ServiceNow | Michaela Loumová |
| PM-ANW | Entwicklerdokumentation für die SalesPoint-Anwendung Videoshop | Daniel Schönicke |
| PM | Metamodel-based Role-play Visualization | Markus Hamann |
| DA/MA | Mission Profile Meta Model Extension and Integration with CTEF | Nisa Asif |
[less]
| Kind | Topic | Student |
|---|---|---|
| GB | Operationalisierung des Architektur Prinzips Vermeidung von Datenredundanz | Dana Kuban |
| DA/MA | Traceability between Requirements and Code | Julia Krause |
| BA | Wiedergewinnung und Darstellung von Geschäftsregeln aus einem COBOL-Anwendungssystem | Daniel Schoenicke |
| BA | Automatisierte Dokumentation der anwenderspezifischen Erweiterung eines Softwaresystems am Beispiel von ServiceNow | Michaela Loumová |
| BA | Erweiterung des CRC-Karten-Konzeptes um Rollen | Markus Hamann |
| DA | Kriterien-basierter Ansatz für Architektur-Recovery / Criteria Based Approach for Architecture Recovery | Stephan Pirnbaum |
| DA | Erstellung eines (teil-)automatisierten Bewertungssystems für studentische Projekte im Softwarepraktikum | Jan Rucks |
| Integration von Telematikportalen in den MG API Manager | Jan Engelmohr | |
| Clustering of Distributed Word Representations and its Applicability for Enterprise Search | Christina Korger | |
| BA | Bewertung von UML-Modellen anhand von Metriken | Julius Felchow |
| GB | Migration der SOFTAUDIT-Tools nach SonarQube | Jan Rucks |
| GB | Architekturkonzepte in Java-Codestrukturen am Beispiel von Fallstudien | Stephan Pirnbaum |
| BA | SalesPoint-Anwendungen als Softwareproduktlinie | Marc Kandler |
| BA | Dresden OCL für Zustandsmodelle | Max Kleinhenz |
| BA | Toolunterstützter Softwarelebenszyklus für Projekte im Softwarepraktikums: Von der Analyse bis zum Continuous Integration und Deployment | Sven Seemann |
| DA | Konzeption und prototypische Implementierung eines Frameworks zur Vereinheitlichung automatisierter UI-Tests von Weboberflächen und mobilen App-Inhalten | Dustin Altermann |
| BA | Erstellung und Evaluation eines UML-Profils für die Anwendung der Tätigkeitstheorie in der Anforderungsanalyse | Peter Höhne |
| MA | Decision Management at SAP | Zipeng Liu |
| DA | Modeling of a Business Rule Language Family and Prototyping of a customized Business Rule Language | Kristian Scholze |
| DA | Modellgetriebenes Testen der Qualität von Relationalen Datenbanken | Björn Freitag |
| GB | OCL für UML-Profile | Fabian Tolkmitt |
| GB | GUERY für die Mustersuche in großen Ontologien | Kristian Scholze |
| DA | Refactoring für OCL | Michael Muck |
| DA | Verifikation von Modelica-Programmen mit OCL | Martin Krebs |
| DA | Evaluierung von Werkzeugen für die Modellgetriebene Softwareentwicklung anhand der Spezifikation von Verkehrssystemen | Klaus Storch |
| GB | Reengineering des DeclarativeCodegenerator-Frameworks für Dresden OCL2 for Eclipse | Björn Freitag |
| DA | Erstellung und Evaluation eines Modellierungswerkzeuges für die Erzeugung von pit-FM- Metadaten | Steffen Schneider |
| Java-Codegenerierung für Dresden OCL for Eclipse | Claas Wilke | |
| Erweiterung des | ||
| DA | Modellbasierte Verifikation von Softwarekomponenten zur Laufzeit am Beispiel der Treaty-OCL-Integration | Claas Wilke |
| GB | Analyse und Evaluierung von Open Source Tool-Ketten zur Erstellung einer Projektmanagement-Plattform | Thomas Weichert |
| GB | Reengineering des OCL2-Parsers | Nils Thieme |
| DA | Verifikation von UML-Analysemodellen für die universitäre Ausbildung | Daniel Weigel |
| DA | Analyse von komplexen Regelmodellen | Benjamin Fiebig |
| DA | Ein OCL-Interpreter für das Dresden OCL2 Toolkit basierend auf dem Pivotmodell | Ronny Brandt |
| GB | Entwurf und prototypische Implementierung eines Pivotmodelles als Austauschformat für Modelle und Metamodelle in einer QVT-/OCL-Entwicklungsumgebung | Matthias Bräuer |
| DA | Konzeption einer QVT Engine im Rahmen des Dresden OCL Toolkits | Christian Wende |
| GB | Visualisierung des Abstrakten Syntaxmodells (ASM) von OCL-Ausdrücken | Kai-Uwe Gärtner |
| GB | Java-Codegenerierung und Instrumentierung von Java-Programmen | Ronny Brandt |
| DA | OCL-Codegenerierung für deklarative Sprachen | Florian Heidenreich |
| DA | Business Rules auf Basis des Semantic Web | Hans-Bernhard Liebau |
| DA | Business Rules auf Basis von UML/OCL | Katja Wüst |
| GB/DA | Entwicklung eines konfigurierbaren Datenbankschemagenerators für das Dresden OCL2 Toolkit | Christian Wende |
| GB | SQL-Codegenerierung in der metamodellbasierten Architektur des Dresden OCL Toolkit | Florian Heidenreich |
| DA | Integration von Together Control Center mit OCL2SQL | Irina Soudnik |
| DA | Java-Codegenerierung und Instrumentierung von Java-Programmen in der metamodellbasierten Architektur des Dresden OCL Toolkit | Alexander Lopatsch |
| DA | Entwurf und prototypische Implementation eines OCL2.0-Parser | Ansgar Konermann |
| DA | Einsatz von Metriken und Programmierrichtlinien bei der objektorientierten Softwareentwicklung | Antje Husmann |
| GB | Entwicklung einer Laufzeitumgebung für Komponenten mit Ressourcenanforderungen | Christian Nill |
| GB | Objektorientierte Modellierung und Implementierung eines Datentyps für historische Daten | Thorsten Möller |
| GB | Codegenerierung für UML-Klassendiagramme mit Auswertung semantischer Zusatzinformation | Stefan Ocke |
| DA | Möglichkeiten und Grenzen modellbasierter Anwendungsentwicklung am Beispiel von "Bold for Delphi" | Andre Lunkenbein |
| MA | Analysis of the Metamodeling Semantics for OCL | Alexei Tchertchago |
| DA | Evaluation der Praxistauglichkeit von OCL-Spezifikationen | Steffen Zschaler |
| CL | Writing a Tutorial for Using "Dresden OCL Toolset" | Muhammad Muazzam Ali |
| DA | Abbildung von OCL auf EJB-QL | Norbert Graf |
| DA | Entwicklung eines konfigurierbaren Datenbankschemagenerators | Andrea Kling |
| GB | Evaluation von Java Data Objects | Martin Uhlig |
| MA | Object-Oriented Modeling of a System for Automated Vehicle Guidance | M. Umair Khan |
| GB | Die GoF-Entwurfsmuster in Java | Corinna Herrmann |
| DA | UML/OCL für die Integritätssicherung in Datenbankanwendungen | Sten Löcher |
| DA | Darstellung von Straßennetzen im Internet mit SVG | Kerstin Marasch |
| GB | UML im objektorientierten Reverse Engineering strukturierter DB-Anwendungen | Norbert Graf |
| DA | Einsatz von UML-Werkzeugen beim Extreme Programming | Stefan Frisch |
| DA | Werkzeugunterstützung für die überprüfung der Einhaltung von OCL-Geschäftsregeln in Java-Programmen | Ralf Wiebicke |
| DA | Entwurf und Implementierung einer Methode für das Reverse Engineering von PL/SQL-Datenbankanwendungen | Steffen Grunert |
| DA | Vergleich und Bewertung von Frameworks aus der Sicht des Softwarentwicklers | Kerstin Fender |
| da | Entwurf und Implementation eines modularen OCL-Compilers | Axel Großmann |
| gb | Prototypische Untersuchungen zur Implementierung eines OCL-to-SQL-Compilers | Sten Löcher |
| gb | Ralf Wiebicke | |
| gb | Steffen Zschaler | |
| da | Entwurf und Implementation eines modularen OCL-Compilers | Frank Finger |
| gb | Einsatz von Java Beans in einem Anwendungsframework | Michael Kulla |
| da | Methode und Prototyp für das Reverse Engineering von PL/SQL- Datenbankanwendungen | Alexander Berndt |
| da | Evaluation of Database Design and Reverse Engineering Tools for a Large Software System | Anne Thomas |
| gb | Java-Implementierung der OCL-Basisbibliothek | Frank Finger |
| gb | Untersuchung zur Entwicklung eines UML/OCL-CASE-Tools | Sven Obermaier |
| gb | Reverse Engineering von Cobol- Datenbank-Anwendungen | Axel Großmann |
| da | Untersuchungen zur Implementierung der ODMG- 2.0-Schnittstelle für Java-Objekte auf Basis einer relationalen Datenbank | Ehrlich |
| da | Persistente Objekte und verteilte Transaktionen | Mike Fischer |
| da | Entwurfsmuster für objektrelationale Datenbank- Anwendungen | Schreyner |