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)
The courses in the upcoming semester will be announced later.
Permanent courses
Consultation
Prof. Aßmann offers a official consultation on Thursdays 11:00-13:00. Please log your visit at the Secretary. (As Prof. Aßmann is usually overloaded with emails, he can direct emails often very late answer).
Internship in the main study "Software Engineering in Industrial Practice
This internship will take place in industry on an individual base. Students, working in industry, shall write a report of 10-15 pages and hands it in to Prof. A�mann for reviewing. If the report is good, the student get's a certificate
Research seminar
There is a research seminar for for PhD students, staff and interested master students. Appointments will be given on request.
PhD Seminar
There is a half-annual doctoral symposium for PhD students of the chair, where the current status of the thesis is reviewed and defense talks can be excercised.
Chair seminar
At the
chair's seminar, students writing bachlor, minor, master or diploma theses present their work either in semi-defenses or final defenses.
Recognition of courses from abroad
Please, first send the following information to our secretary:
- 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
Reading Group
The reading group of the Software Technology Group discusses important research papers. Every interested person, regardless of being student, PhD or professer, can be participate. Here is the list of papers.. More information can be requested using the EMail reading-group[at]mail-st.inf.tu-dresden .
Permanent courses
Hier finden Sie einen Index aller Vorlesungen, die regelmäßig vom Lehrstuhl angeboten werden.
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]
Ontologie-basiertes Contract Checking für Selbst-optimierende Systeme
Im Rahmen des SFB 912 und der ESF-geförderten Nachwuchsforschergruppe ZESSY wird eine Methodik entwickelt, mit der selbst-adaptive Systeme entwickelt werden können, welche ihr Verhalten hinsichtlich nicht-funktionaler Eigenschaften (Qualitäten) selbstständig optimieren. Hierzu wurde eine Komponenten-basierte Softwarearchitektur entwickelt, die die Beschreibung von Software- und Hardware-Komponenten und deren Abhängigkeiten untereinander erlaubt. Die Abhängigkeiten werden über Verträge zwischen den Komponenten beschrieben, in denen Spielräume zur Verhandlung von Qualitäten definiert werden. Den Benutzern eines solchen Systems wird es somit ermöglicht, Erwartungen an die Ausführung der Funktionalität des Systems zu stellen (zum Beispiel eine minimale Bildrate bei der Wiedergabe eines Videos). Mit Hilfe von Optimierungstechniken kann für eine solche Anfrage eine optimale Systemkonfiguration, bestehend aus der Auswahl geeigneter Implementierungen von Softwarekomponenten und deren Mapping auf die verfügbaren Ressourcen, gefunden werden. Ziel des Belegs ist die Realisierung einer bidirektionalen Transformation zwischen dem beschriebenen Komponentenmodell, sowie der Vertragssprache mit der Ontologie-Sprache OWL. Hierzu soll das Werkzeugs OWLizer verwendet werden. Weiterhin sollen die durch das Werkzeug generierten OWL Ontologien bezüglich ihrer Qualität untersucht und Verbesserungen vorgeschlagen werden.
Im Detail sind folgende Teilaufgaben zu bearbeiten:
- Einarbeitung in die Softwarearchitektur für selbst-optimierende Systeme (CCM/QCL)
- Einarbeitung in OWL und Beschreibende Logik.
- Implementierung der Übersetzung von CCM/QCL-Modellen und OWL mit Hilfe von OWLizer
- Untersuchung der Qualität der generierten OWL Ontologien
- Aufstellen von Verbesserungsvorschlägen
- Integration in die qBench IDE (Eclipse)
Supervisor: Sebastian G�tz
Student: Rene Sch�ne
Student: Rene Sch�ne
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]
Here you will find a Overview of all courses that have been held in the past semesters.
You may select this summary also in 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 →