SuchePraxis-, 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
Bitte kontaktieren Sie für weitere Themen Marian Borek oder Kuzman Katkalov.
Bereich Software in Mechatronik und Robotik:
Neue Themen sind aktuell in Vorbereitung. Bei Interesse kontaktieren Sie bitte Alwin Hoffmann.
- Erweiterung eines Selbst-Organisations-Mechanismus um dynamische Systemteilnehmer
Ansprechpartner: Gerrit Anders - Modelgetriebene Transformation von Anforderungen in eine R/G Spezifikation
Ansprechpartner: Benedikt Eberhardinger
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:
- Scala-Interface für FUSE
Ansprechpartner: Gidon Ernst - Software-Engineering mit Scala (verschiedene Themen: Refactoring, Testfallgenerierung, etc.)
Ansprechpartner: Gerhard Schellhorn Gidon Ernst - KIV-Erweiterungen mit Scala
Ansprechpartner: Gerhard Schellhorn Gidon Ernst
Bitte kontaktieren Sie für weitere Themen Dominik Haneberg oder Gerhard Schellhorn.