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]
Zielstellung:
Der UML-Standard umfasst eine sogenannte Object Constraint Language (OCL), die zur präzisen Definition von semantischen Bedingungen über Klassenmodellen verwendet wird, z.B. Invarianten, Vor- und Nachbedingungen von Operationen. Die OCL wird in der Semantikdefinition der UML verwendet, um auf der Basis des Metamodells Randbedingungen für die Diagramme von UML-Modellen zu beschreiben. Die Sprache kann aber auch zur Anreicherung konkreter Systemmodelle mit formal definierten Randbedingungen verwendet werden. OCL basiert auf sogenannten Navigationsausdrücken und umfasst zwei deutlich getrennte Teile: eine umfangreiche Basisbibliothek, die u.a. Kollektionen, Mengen, Bags und Sequenzen beinhaltet, sowie Sprachelemente, die auf die sogennanten Properties (z.B. Attribute, Assoziationsteilnahme) von Objekten zugreifen. Die Semantik der Sprachelemente von OCL soll in Java realisiert werden. Das bedeutet, daß für jedes OCL-Sprachelement ein Java-Methodenaufruf vorgesehen wird und daß jeder OCL-Ausdruck einfach als Java-Ausdruck über diesen Methoden darstellbar und auswertbar wird. Die Syntaxanalyse der konkreten OCL-Syntax wird in dieser Aufgabenstellung ausgeklammert.
Es sind folgende Teilaufgaben zu lösen:
- Es ist eine Implementierung in Java für die OCL-Basisbibliothek zu erstellen. Dabei sind die Collection Classes der Standardbibliothek des Java Development Kit (JDK) 1.2 weitestgehend zu verwenden.
- Es ist eine Realisierung für die Property-Zugriffs-Funktionen zu erstellen.
- Die entsprechenden Java-Klassen sollen die Zugriffe ausreichend kapseln, um die OCL-Auswertung für verschiedene Anwendungszwecke nutzbar zu machen.
- Für die Auswertung von OCL-Ausdrücken auf Instanzen eines Systemmodells ist es sinnvoll, die Property-Zugriffe auf den von einer Codeerzeugung generierten Java-Klassen zu realisieren. Diese Anpassung soll für die Java-Codeerzeugung des CASE-Tools Argo/UML durchgeführt werden. Hier sind nur die notwendigen Klassen bereitzustellen; eine Integration in die tatsächliche Codeerzeugung kann vorerst ausgeklammert werden.
- Optional wäre es wünschenswert, auch eine Anpassung der Property-Zugriffe auf die Klassen des UML-Metamodells zu realisieren, wie sie im Java-Sourcecode des CASE-Tools Argo/UML vorliegen.
- Die erstellte Bibliothek ist durch sorgfältig ausgewählte Beispiele auszutesten. Die Testumgebung soll in wiederverwendbarer Form bereitgestellt und dokumentiert werden.
Die Arbeit sollte in enger Abstimmung mit dem Studenten Sven Obermaier erfolgen, der im Rahmen des Großen Belegs eine Integration eines vorhandenen OCL-Parsers in das CASE-Tool Argo/UML durchführt. Eine Beteiligung an der internationalen Arbeitsgruppe zu dem OpenSource-Projekt ?Argo/UML? ist wünschenswert.
Student: Frank Finger
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 →