Die Anforderungen an moderne Software werden immer höher und komplexer. Damit einhergehend werden auch immer neue Techniken zur Entwicklung von Software vorgestellt, die diese Anforderungen erfüllen sollen. Oftmals müssen dafür in der Forschung neue Entwicklungsumgebungen und Werkzeuge implementiert werden, die diese fortgeschrittenen Entwicklungstechniken unterstützen.

In diesem Modul benutzen und erweitern die Teilnehmenden fortgeschrittene Software-Entwicklungswerkzeuge aus der Praxis und Forschung. Dadurch soll entweder die Funktionalität erweitert oder das Werkzeug im Bereich der nicht-funktionalen Eigenschaften verbessert werden.

Die Praktikumsleistungen sind individuell benotet, Gruppenarbeit ist möglich. Das Praktikum ist in die aktuellen Forschungsarbeiten des Lehrstuhls eingebunden und bietet viel Raum für Kreativität. Die Praktikumsaufgaben sind praktisch orientiert und bereiten die Studierenden auf realitätsnahe Aufgaben in Forschung und in der Industrie vor.

Das Praktikum kann je nach Thema als Einzelperson oder in Kleingruppen absolviert werden. Es gibt in der Regel ein wöchentliches Treffen. Der Termin wird mit den Teilnehmern gemeinsam festgelegt.

Die Anmeldung für das Praktikum erfolgt per E-Mail an den Betreuenden. (Deadline: 19.04.2023)

Quantencomputing:

• Load Scheduling für die ProvideQ Toolbox (Betreuung: Domenik Eichhorn)

Formale Methoden:

• Qualitätssicherung und Erweiterungen im Tool CorC (Betreuung: Tabea Bordis)
• Code-Generierung für das Tool ArchiCorC (Betreuung: Rasmus Ronneberg)

Software-Produktlinien:

• Entwicklung einer web-basierten Evaluationsplattform für Sampling Algorithmen (Betreuung: Tobias Pett)
• Entwicklung von Language Parsern und Editoren für das Taxonomy Mining Framework (Betreuung: Christoph König)
• Visualisierung von Feature Modellen mit Vektorgrafiken (Betreuung: Domenik Eichhorn)