Lehrveranstaltungen
Lehrveranstaltungen des aktuellen Semester (SS 24)
- Component-based Software Engineering (Vorlesung mit Übung)
- Softwaremanagement (Vorlesung mit Übung)
- Future-Proof Software Systems (Vorlesung mit Übung)
- Academic Skills in Software Engineering (Vorlesung mit Übung)
- Softwaretechnologie (Vorlesung mit Übung)
- Automotive Software Engineering (AutoSOFT) (Vorlesung)
- Adaptive, Mobile Information Provision in Digital Health (Hauptseminare)
Lehrveranstaltungen des nächsten Semesters (WS 24/25)
Ständige Lehrveranstaltungen
- Universität, an der die Kurse belegt wurden
- URL der belegten Kurse oder sonstige Information
- Umrechnung in ECTS credit points
- Welche Kurse aus ST Sie ersetzen wollen
- Die Prüfungen, an denen die zu ersetzenden Kurse eingebracht werden sollen.
Studentische Arbeiten
Hier finden Sie Informationen zu den momentan am Lehrstuhl angebotenen Möglichkeiten für Große Belege und Diplomarbeiten sowie über momentan laufende bzw. bereits abgeschlossene Arbeiten. Bitte klicken Sie auf [mehr], um mehr Informationen zu erhalten. Hinweise zum Anfertigen von Diplomarbeiten liegen als pdf bereit. Dazu gibt es auch ein LaTeX-Paket, das das dort vorgegebene Layout f�r Titelseite und Selbständigkeitserklärung umsetzt.[zurück] [Themenvorschläge] [abgeschlossene Themen] [RSS-Feed Themenvorschläge]
Motivation
The development of product lines has a long tradition and aims at reducing development costs by increasing reuse. Software Product Lines (SPL), in particular, permit to drastically increase code reuse when creating product variants. More recently, dedicated solutions for particular software systems emerged, such as product lines of metamodels (Seidl, Schaefer, and Aßmann 2014) for the development of families of metamodels for role-based modeling languages (Kühn et al. 2014). As a result, it was feasible to develop graphical modeling editors for language families such as the FRaMED SPL
1 (Kühn et al. 2018) that supports reconfigurable modeling languages and is able to emit different model variants of a language family.
While the FRaMED SPL
employs feature-aware edit policies to guide the users actions, these rules cannot prevent the creation of malformed model instances. Thus far, there exists only a Python-based validator able to check a model’s well-formedness (Kühn et al. 2015), yet this validator only supports one specific language variant. Consequently, this thesis will augment the FRaMED SPL
by adding feature-aware validator able to check the well-formedness of a model instance taking the current language variant into account.
Problem Definition
Currently, there exist no approach that permits evaluating the well-formedness of model variants that have been created by a family of modeling languages, such that the validator itself is aware of the selected language variant. To remedy this, this thesis will establish a novel approach to design a feature-aware validator to evaluate the well-formedness of Ecore-based model families employing standardized model validation techniques, e.g., the Object Constraint Language (OCL) (Warmer and Kleppe 2003). To illustrate the applicability of this approach, an Eclipse-based, feature-aware validator is implemented to evaluate the well-formedness of model variants of the family of role-based modeling languages (Kühn et al. 2018), and to emit comprehensive error messages for malformed model instances. To evaluate correctness of the validator, it is tested by a test suite of generated positive and negative test cases utilizing state-of-the-art product sampling approaches (Varshosaz et al. 2018).
Goals of this Thesis
To achieve this goal, the following subtasks must be completed:
- Formal specification of feature-dependent well-formedness rules based on the formal CROM model (Kühn et al. 2015; Kühn 2017),
- Design of a generic approach that permits feature-aware validation of well-formedness rules for Ecore-based language families,
- Implementation of an Eclipse-based plugin for the validation of variants of CROM Models, which employs feature-aware well-formedness rules,
- Support of comprehensive error messages and quick fixes for invalid models,
- Evaluation of the plugin by providing a comprehensive test suite including positive and negative test cases, and
- Optionally, integration of this plugin into the existing tree view editor or graphical editor product line FRaMED SPL (Kühn et al. 2018).
Kühn, Thomas. 2017. A Family of Role-Based Languages.” PhD thesis, Dresden, Germany: Technische Universität Dresden, Fakultät Informatik, Professur für Softwaretechnologie; http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-228027. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-228027.
Kühn, Thomas, Kevin Ivo Kassin, Walter Cazzola, and Uwe Aßmann. 2018. Modular Feature-Oriented Graphical Editor Product Lines.” In Proceedings of the 22th International Software Product Line Conference. Gothenburg, Sweden:; ACM.
Kühn, Thomas, Max Leuthäuser, Sebastian Götz, Christoph Seidl, and Uwe Aßmann. 2014. A Metamodel Family for Role-Based Modeling and Programming Languages.” In Software Language Engineering, 8706:14160. Lecture Notes in Computer Science. http://link.springer.com/chapter/10.1007/978-3-319-11245-9_8; Springer. doi:10.1007/978-3-319-11245-9_8.
Kühn, Thomas, Böhme Stephan, Sebastian Götz, and Uwe Aßmann. 2015. A Combined Formal Model for Relational Context-Dependent Roles.” In Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 11324. http://dl.acm.org/citation.cfm?id=2814255; ACM. doi:10.1145/2814251.2814255.
Seidl, Christoph, Ina Schaefer, and Uwe Aßmann. 2014. DeltaEcoreA Model-Based Delta Language Generation Framework.” In Modellierung, 8196.
Varshosaz, Mahsa, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, and Ina Schaefer. 2018. A Classification of Product Sampling for Software Product Lines.” In 22nd International Conference on Systems and Software Product Line-Volume 1, 113. ACM.
Warmer, Jos B., and Anneke G. Kleppe. 2003. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional.
Student: Florian Amberg
Lehrveranstaltungen früherer Semester
In dieser Übersicht finden sie alle Lehrveranstaltung des Lehrstuhls. Neben denen der vergangenen Semestern finden sie hier auch jene, welche im aktuellen und kommenden Semester gehalten werden.[zurück] [zur tabellarischen Ansicht]
Sie können sich diese Übersicht auch in tabellarischer Form anzeigen lassen.
Übersicht der Lehrveranstaltungen
Lehrveranstaltung | SWS | WS/SS | INF | MINF | IST | DSE | CL | INF | FAK | MATH | |||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
BA | MA | DIPL | BA | MA | DIPL | DIPL | MA | MA | LE | BA | MA | ||||
Academic Skills in Computer Science (ASiCS) | 2/2/0 | WS/SS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 VERT3 | B-530 B-540 | AQUA | INF-B-540 | PCS | ||||||
Automotive Software Engineering & Functional Safety | 4/0/0 | SS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | BI-4 | INF-B-540 MINF-04-FG-EMW | 05-FG-SWT | ||||||
Component-Based Software Engineering | 2/2/0 | SS | B-520 | VERT3 | 04-FG-SWT B-520 | B-540 | BI-4 | MINF-04-FG-EMW INF-B-540 | 05-FG-SWT | 10-E5 14-E4 | CSE | ||||
Design Patterns and Frameworks | 2/2/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 B-520 | BI-4 | MINF-04-FG-EMW | 10-M4 | CSE | MA | INFSEN | |||||
Enterprise Software - Applications, Technologies and Programming | 2/0/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 | INF-BI-5 MINF-04-FG-EMW | ||||||||||
Future-Proof Software Systems | 2/0/0 | WS | VERT3 | 04-FG-SWT VERT3 | BI-4 | MINF-04-FG-EMW | 10-E5 14-E4 | ||||||||
Hauptseminar Softwaretechnologie | 0/2/0 | WS/SS | VERT3 | 04-HS BAS3 VERT3 | AQUA | ||||||||||
Komplexpraktikum Softwaretechnologie | 0/0/4 | WS/SS | MA-PR VERT3 | 04-KP PM-FPA VERT3 | E-4 | 05-KP | |||||||||
MINF-BI-5 | 2/2/0 | SS | |||||||||||||
Model-Driven Software Development in Technical Spaces | 2/2/0 | WS | BAS3 VERT3 04-FG-SWT | BI-4 | INF-BI-5 MINF-04-FG-SE | ||||||||||
Praktikum Softwaretechnologie in der industriellen Praxis | 0/0/2 | WS | 04-P | ||||||||||||
Proseminar Softwaretechnologie | 0/2/0 | SS | B-510 B-520 | 04-PS B-520 D-520 | B-530 B-540 | INF-B-540 | |||||||||
Requirements Engineering und Testen | 2/2/0 | WS | B-510 | VERT3 | 04-FG-SWT BAS3 VERT3 | B-530 | MINF-04-FG-EMW | ||||||||
Role-based Software Infrastructures | 2/0/0 | WS | B-510 B-520 | BAS4 VERT3 VERT4 | B-520 BAS3 VERT3 | BI-2 BI-4 | |||||||||
Selected International Research in SE | 1/0/0 | WS | VERT3 | 04-FG-SWT VERT3 | INF-BI-5 | ||||||||||
Seminar Modellierung und Architektur von Softwaresystemen | 0/2/0 | WS/SS | VERT3 | 04-FG-SWT | 05-FG-SWT | INF-FF | |||||||||
Software Reengineering | 2/2/0 | SS | VERT3 BAS3 | 04-FG-SWT VERT3 BAS3 | BI-4 | MINF-04-FG-EMW | 05-FG-SWT | 10-M4 | |||||||
Software Reengineering and Software Measurement | 2/2/0 | SS | |||||||||||||
Software-Entwicklungswerkzeuge | 2/2/0 | WS | VERT3 | 04-FG-SWT BAS3 VERT3 | INF-BI-5 MINF-04-FG-EMW | ||||||||||
Softwarearchitektur (Ausgewählte Kapitel der Softwaretechnologie) | 2/0/0 | SS | B-520 | BAS3 04-FG-SWT VERT3 B-520 | B-540 | BI-4 | INF-BI-5 MINF-04-FG-EMW INF-B-540 | 05-FG-SWT | 10-M4 | MA | INFSEN | ||||
Softwareentwicklung in der industriellen Praxis | 2/0/0 | WS | B-510 B-520 | VERT3 | 04-FG-SWT B-520 BAS3 VERT3 | B-530 B-540 | BI-4 | INF-B-540 MINF-04-FG-EMW | MA | INFSEN | |||||
Softwaremanagement | 2/2/0 | SS | B-510 B-520 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | BI-4 | INF-B-540 INF-BI-5 MINF-04-FG-EMW | 05-FG-SWT | MA | INFSEN | |||||
Softwaretechnologie | 2/2/0 | SS | D-240 | B-310 | 05-PF-GS | EUI MA PHY WW | INFC | INFSEN | |||||||
Softwaretechnologie II | 2/2/0 | WS | B-510 B-520 | BAS3 | 04-FG-SWT B-520 BAS3 | B-530 B-540 | INF-B-540 MINF-04-FG-EMW | ||||||||
Softwaretechnologie-Projekt | 0/0/4 | WS | B-320 B-321 | B-320 B-321 | MA | INFD | INFSEN |
- INF-BA → Bachelor Informatik
- INF-MA → Master Informatik
- INF-DIPL → Diplom Informatik
- MINF-BA → Bachelor Medieninformatik
- MINF-MA → Master Medieninformatik
- MINF-DIPL → Diplom Medieninformatik
- IST-DIPL →
- DSE-MA → Master Distributed Systems Engineering
- CL-MA → Master Computional Logic
- INF-LE →
- FAK →
- MATH-BA →
- MATH-MA →