Praxis-, Forschungs- und Projektmodul
Direkt zu den Themen
Wir bieten für Studierende aller Informatik-Studiengänge Praxis-, Forschungs- und Projektmodule an. Den verschiedenen Modultypen ist dabei gemeinsam, dass die Studierenden Einblick in unsere wissenschaftliche Forschung erhalten, indem sie sich an unseren aktuellen Forschungsarbeiten beteiligen.
Der Lehrstuhl für Softwaretechnik und Programmiersprachen beschäftigt sich hauptsächlich mit den vier Forschungsbereichen Formale Methoden, Security, Safety, Quality, Robotik und Organic Computing.
Die konkrete Aufgabe und der Zeitraum, in dem das Modul läuft, werden individuell festgelegt, und sind nicht an die Vorlesungszeiten gebunden. Das Projekt kann alleine oder in einem kleinen Team durchgeführt werden. D.h. Sie können sich jederzeit bei einem der Mitarbeiter melden. Bitte sprechen Sie mit einem unserer Mitarbeiter das Thema Ihrer Arbeit ab, bevor Sie sich in Studis anmelden!
Praxismodul
Alle Bachelorstudenten (ab PO 2008) müssen in ihrem Studium entweder ein Betriebspraktikum (11 LP) oder ersatzweise ein internes Praktikum (ein Praxismodul) absolvieren. Prüfungstechnisch erscheint das Praktikum als Praxismodul Software- und Systems Engineering in Studis und hat die üblichen Anmeldefristen wie alle anderen Veranstaltungen auch.
Forschungsmodul
Für Studierende der Bachelorstudiengänge bieten wir ein Forschungsmodul an. Prüfungstechnisch handelt es sich um ein Praktikum im Umfang von 6 LP und erscheint als Forschungsmodul Software- und Systems Engineering in Studis und hat die üblichen Anmeldefristen wie alle anderen Veranstaltungen auch.
Projektmodul
Alle Masterstudenten müssen in ihrem Studium ein Projektmodul im Umfang von 10 LP absolvieren. Die Laufzeit eines Projektmoduls beträgt etwa 8 Wochen. Prüfungstechnisch erscheint das von unserem Lehrstuhl angebotene Projektmodul als Projektmodul Software- und Systems Engineering in Studis und hat die üblichen Anmeldefristen wie alle anderen Veranstaltungen auch.
Modulthemen
Software- und Systemsicherheit | Mechatronik und Robotik | Organic Computing | Formale Methoden | Modellbasierte Sicherheitsanalyse (Safety) | Softwareengineering allgemein
Bereich Software- und Systemsicherheit:
- Visualisierung von sicheren Systemen
Ansprechpartner: Marian Borek - Validierung von sicherheitskritischen Protokollen mit Avantssar
Ansprechpartner: Marian Borek - Sicherheitskritische Zusicherungen in modelgetriebenen Anwendungen
Ansprechpartner: Marian Borek - Anpassung bestehender Entwicklungstools
Ansprechpartner: Marian Borek
Bitte kontaktieren Sie für weitere Themen Marian Borek oder Peter Fischer.
Bereich Software in Mechatronik und Robotik:
- Service-orientierte Programmierung von Roboterzellen mit BPEL
Ansprechpartner: Alwin Hoffmann - Überwachung und Steuerung von Robotern mit DPWS (Devices Profile for Web Services)
Ansprechpartner: Alwin Hoffmann
Für weitere Themen kontaktieren Sie bitte Alwin Hoffmann.
- Erweiterung einer bestehenden Energiemarkt-Implementierung in einem Multi-Agenten-System
Ansprechpartner: Florian Siefert - Trust-sensitives Supply Demand Management in dezentralen Energiesystemen
Ansprechpartner: Florian Siefert
Bitte kontaktieren Sie für weitere Themen Hella Seebach oder Jan-Philipp Steghöfer.
Bitte kontaktieren Sie für verfügbare Themen Dominik Haneberg oder Gerhard Schellhorn.
Bereich Modellbasierte Sicherheitsanalyse (Safety)
-
Modellgetriebene Softwareentwicklung für sicherheitskritische Systeme
(Projektmodul)
Ansprechpartner: Johannes Leupolz
Bitte kontaktieren Sie für weitere Themen Axel Habermaier oder Johannes Leupolz.
Bereich Softwareengineering allgemein:
Bitte kontaktieren Sie für verfügbare Themen Dominik Haneberg oder Gerhard Schellhorn.
