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]
Visualisierung des Abstrakten Syntaxmodells (ASM) von OCL-Ausdrücken
Die Object Constraint Language (OCL) ist eine textuelle Teilsprache der
Unified Modelling Language (UML), die es ermöglicht, Einschränkungen zu
spezifizieren, die sich nicht oder nur sehr schwer grafisch
repräsentieren lassen.
Am Lehrstuhl wird bereits seit mehreren Jahren das Dresden OCL Toolkit
zur Unterstützung der Arbeit mit OCL entwickelt und gepflegt. Dabei
handelt es sich um eine Sammlung von Werkzeugen, die durch eine
gemeinsame Infrastruktur lose verbunden sind und in anderen Anwendungen
als Bibliothek eingesetzt werden können. Seit kurzem liegt das Dresden
OCL2 Toolkit vor, das OCL 2.0 unterstützt.
OCL folgt seit der Version 2.0 dem Prinzip der Metamodellierung. Das
heißt, es wird, wie auch schon bei der UML, zwischen konkreter und
abstrakter Syntax unterschieden. Die konkrete Syntax beschreibt die
konkrete textuelle Darstellung von OCL-Ausdrücken. Demgegenüber arbeitet
die abstrakte Syntax auf einem höheren Abstraktionslevel und beschreibt
die wesentlichen Konzepte der Sprache unabhängig von ihrer textuellen
oder graphischen Darstellung. Die abstrakte Syntax verwendet dazu
sogenannte Metamodelle, das heißt Modelle ähnlich zu
UML-Klassendiagrammen, die die wesentlichen Konzepte sowie deren
Beziehungen untereinander beschreiben.
Für das Verständnis der Arbeitsweise des Dresden OCL2 Toolkits, für die
Entwicklung neuer Werkzeuge sowie für das Debuggen von OCL-Ausdrücken
wäre es hilfreich, wenn man die von Parser und Typechecker erzeugte
Instanz der abstrakten Syntax (genannt das "Abstrakte Syntaxmodell"
(ASM)) für einen konkreten OCL-Ausdruck visualisieren könnte. Ziel
dieser Arbeit soll es sein, eine solche Visualisierungsmöglichkeit zu
schaffen. Es sollte geprüft werden, ob es sinnvoll ist, die
Visualisierung in das Eclipse-Framework als Plugin einzubetten. Supervisor: Birgit Demuth
Student: Kai-Uwe Gärtner
Student: Kai-Uwe Gärtner
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 →