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]
Konzeption eines Autorensystem zur Erstellung von neuen Prüftechnologien für die Hauptuntersuchung
Die Kfz-Prüforganisationen in Deutschland haben im Oktober 2004 die FSD Fahrzeugsystemdaten GmbH gegründet. Für moderne Fahrzeuguntersuchungen im Rahmen der Hauptuntersuchung (HU) bzw. Sicherheitsprüfung (SP) stellt die FSD fahrzeugindividuelle Prüfvorgaben, Prüfhinweise, Zusatzinformationen und Lageinformationen für die in Deutschland zugelassenen Fahrzeuge bereit. Für die Durchführung dieser Fahrzeuguntersuchungen stellt die FSD das Vorgabeninformationssystem (VIS) zur Verfügung, das entweder direkt von den Sachverständigen und Prüfern genutzt wird, oder in die Produktionsanwendungen verschiedener Überwachungsinstitutionen integriert wird. Das VIS wird plattformübergreifend unter Windows, Android und zukünftig unter iOS ausgeführt.
Teile der Hauptuntersuchung, für welche die FSD die Vorgaben erstellt, benötigen regelmäßig Aktualisierungen aufgrund von Rückrufen oder durch Sachverhalte, die zuvor nicht geprüft wurden, aber danach auch geprüft werden müssen.
Im Unterschied zur Änderung von Anforderungsdaten handelt es sich also um eine neue Prüftechnologie.
Gleichzeitig beinhaltet diese Prüftechnologie praktisch lediglich Datenabgleiche, was die prinzipielle Umsetzung als Datenupdate ermöglicht, die für Prüforganisationen den Vorteil hat, dass der Prozess eines Datenupdates wesentlich einfacher und schneller umzusetzen ist, als der eines Softwareupdates, da Integrations- und Testaufwände deutlich geringer sind.
Hauptaufgabe einer solchen neuen Prüftechnologie ist es somit, die benötigten Daten aus dem Fahrzeug sowie Referenzdaten zu beschaffen, in zum Vergleich geeignete Formate zu transformieren und dann gemäß der Vorgaben zu vergleichen, wobei das Ergebnis eine Bewertung sowie andere dem Prüfer anzuzeigende Hinweise sind.
Dafür existiert bereits eine Lösung, die in TypeScript umgesetzt ist und per Datenupdate ausgeliefert wird.
In dieser sind damit mehrere Aspekte miteinander vermischt: a) Definition der zu prüfenden Daten, b) Konvertierungslogik, um die zu prüfenden Daten zu parsen, c) die erwarteten Werte (d.h., die Vorgaben), d) weitere Programm-Logik, um die anderen Teile miteinander zu verbinden.
Da alle Aspekte der Lösung in TypeScript spezifiziert sind, können diese nur von einem Software-Entwickler erstellt und bearbeitet werden, auch wenn sich lediglich ein Aspekt ändert.
Weiterhin ist diese Lösung Teil der Programmlogik, jedoch nicht von den automatisierten Unit- oder Akzeptanztests abgedeckt.
Hierfür werden ausschließlich manuelle Tests genutzt, um Teile der Funktionalität abzudecken.
Diese Lösung hat damit mehrere Probleme: P1) Vermischung verschiedener Aspekte, P2) keine/unzureichende Tests für diesen Teil des VIS, P3) Notwendigkeit eines Software-Entwicklers für neue Prüftechnologien oder deren Änderung.
In dieser Arbeit soll ein Autorensystem entwickelt werden, das es insbesondere Nicht-Entwicklern ermöglicht, solche Prüfungen zu erstellen und zu bearbeiten.
Eine mögliche Richtung bieten domänen-spezifische Sprachen (DSLs), deren Spezifikation eng an der Domäne angelehnt ist und keine bzw. eingeschränkte Konstrukte von General-Purpose Programmiersprachen nutzen.
Damit kann die verfügbare, mögliche Funktionalität bereits getestet werden und somit kann (besser) sichergestellt werden, dass eine Spezifikation den Anforderungen genügt und korrekt umgesetzt ist.
Die entwickelte Lösung soll anschließend mit den am Prozess beteiligten Personen evaluiert werden.
Schwerpunkte der Arbeit
- Untersuchung der bisherigen Lösung anhand von sieben Prüftechnologien auf Probleme und mögliche Verbesserungspotenziale
- Erheben von Anforderungen einer zukünftigen Lösung von Entwicklern, Fachexperten, Testern und Qualitätsmanagement
- Analyse von verwandten Arbeiten, u.a. in folgenden Bereichen: Entwicklung von DSLs, Programmiersprachen- und Modellierungsumgebungen, Datenfluss-Programmiersprachen
- Konzeption einer Lösung, welche die genannten Probleme P1 - P3 adressiert und Vorteile des Domänenwissens ausnutzt
- Prototypische Umsetzung des Autorensystems und Evaluation, die das Erfüllen der Anforderungen zeigt. Die Einbindung in das VIS ist dabei nicht Bestandteil der Arbeit.
Supervisor: Johannes Mey; René Schöne
Student: Lars Westermann
Student: Lars Westermann
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 →