Courses
Courses of the current semester (SS 24)
- Component-based Software Engineering (Lecture with exercise)
- Softwaremanagement (Lecture with exercise)
- Future-Proof Software Systems (Lecture with exercise)
- Academic Skills in Software Engineering (Lecture with exercise)
- Softwaretechnologie (Lecture with exercise)
- Automotive Software Engineering (AutoSOFT) (Lecture)
- Adaptive, Mobile Information Provision in Digital Health (Main seminar)
Courses of the next semester (WS 24/25)
Permanent courses
- University, where you visited the courses
- URLs of these courses or other information
- Translation to ECTS credit points
- Which courses of ST you want to substitute
- The exams, for which the acknowledged courses shall be used
Student Theses
Here you can find information to currently offered topics for minor and major theses, as well as on currently running or finished theses. Please click on "more", to get more information. Hints on how to write a thesis exist as pdf. For theses, a LaTeX package is offered, which helps in adhering to the required layout.[back] [Proposals of topics] [finished topics] [RSS-Feed Proposals of topics]
Zielstellung:
Bei der Entwicklung von Softwaresystemen spielen neben den funktionalen auch nicht-funktionale Eigenschaften eine wichtige Rolle. Beispiele für solche Eigenschaften sind Antwortzeiten von Systemen, Verzögerungen bei der Datenübertragung, Speicherbedarf etc. Das Projekt COMQUAD beschäftigt sich mit der Spezifikation und Durchsetzung solcher Eigenschaften im Kontext komponentenbasierter Systeme sowie mit der entsprechenden Entwicklungsmethodik. Zur Spezifikation nicht-funktionaler Eigenschaften wird CQML+ verwendet. Diese Sprache erlaubt es, quantitative Maße nicht-funktionaler Systemeigenschaften (sogenannte Charakteristiken) zu definieren, über welche anschließend Einschränkungen formuliert werden können.
Zur Laufzeit einer Anwendung ist es nötig, zu überwachen, daß die spezifizierten zusagbaren nicht-funktionalen Eigenschaften auch tatsächlich eingehalten werden. Da der Softwareentwickler beliebige Maße mit prinzipiell beliebiger Semantik definieren kann, ist es sinnvoll, den überwachungscode aus der Spezifikation der Charakteristik abzuleiten.
Ziel der Arbeit ist die Entwicklung eines Konzepts zur Generierung von überwachungscode aus einer QoS-Spezifikation in CQML+. Im Rahmen dieser Arbeit soll dabei zunächst das Aufgabengebiet exploriert und ein Prototyp im Sinne eines Machbarkeitsnachweises erstellt werden.
Dazu ist zunächst ein Konzept für die überwachung von QoS-Eigenschaften zur Laufzeit zu entwickeln, das Möglichkeiten zur Integration characteristik-spezifischen Messcodes bereitstellt. Anschließend ist ein Konzept zur Erzeugung solchen Codes aus Charakteristik-Spezifikationen zu entwickeln, ein einfacher Generator für charakteristik-spezifischen Messcode zu entwerfen und prototypisch umzusetzen.
Es sind jeweils prinzipielle Problemstellungen und Optimierungsmöglichkeiten aufzuzeigen.
Im Einzelnen sind die folgenden Teilaufgaben zu lösen:
- Einarbeitung in CQML+, insbesondere in die Konzepte Charakteristik und Kontextmodell.
- Konzeption und prototypische Umsetzung einer Laufzeitunterstützung (Framework) zur überwachung von QoS-Eigenschaften.
- Analyse und Entwurf von Regeln für die Transformation von CQML+-
values
-Klauseln in Java-basierten überwachungscode zur Verwendung in obigem Framework. Erarbeiten von Bedingungen für CQML+-Spezifikationen, für die überwachungscode generiert werden soll. - Prototypische Umsetzung eines Codegenerators. Dabei ist eine Integration mit bestehenden Arbeiten (CQML+-Repository, Dresden OCL Toolkit) anzustreben.
- Beschreibung von Optimierungsansätzen sowohl in der Laufzeitunterstützung als auch in der Codegenerierung.
Student: Torvald Riegel
Courses of the previous semester
In this overview you can find all over the course of the Chair. In addition to those of the previous semesters can be found here and those that are held in current and upcoming semester.[back] [to tabular view]
You may select this summary also in tabular view.
Overview of courses
Course | 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 →