Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
  • DE
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Startseite
Prüfungsmodalitäten und Voraussetzungen

Wintersemester 2016/2017

Praxis der Softwareentwicklung (PSE)

Prof. Dr. Bernhard Beckert
Sarah Grebing, Michael Kirsten, Dr. Mattias Ulbrich, Alexander Weigl

Aktuelles

  • 16.11.2016: Veröffentlichung erstes Aufgabenblatt
  • 22.09.2016: Bekanntgabe der Themen

Allgemeines

In "Praxis der Softwareentwicklung" (PSE) lernen die Teilnehmer, ein vollständiges Softwareprojekt nach dem Stand der Softwaretechnik in einem Team mit etwa 5 bis 6 Teilnehmern durchzuführen. Ziel ist es insbesondere, Verfahren des Software-Entwurfs und der Qualitätssicherung praktisch einzusetzen, Implementierungskompetenz umzusetzen, und arbeitsteilig im Team zu kooperieren.

Allgemeine Informationen zum Bachelor-Modul inklusive formaler Voraussetzungen und Prüfungsmodalitäten sind auf den Seiten des Lehrstuhls für Programmierparadigmen am IPD zu finden.

Projektbeschreibungen

Gruppe I Gruppe II
Titel Umsetzung einer Entwicklungsumgebung zur Spezifikation und Verifikation von Software für Produktionsanlagen Entwicklung eines Werkzeugs zur Analyse formaler Eigenschaften von Wahlverfahren
Inhalt

In diesem Projekt soll eine graphische Entwicklungsumgebung von der Anforderungsanalyse bis zum fertigen Produkt umgesetzt werden. Das Produkt soll dem Automatisierungsingenieur dabei helfen, das funktionale Verhalten von Anlagensoftware zu spezifizieren, verifizieren und die Gegenbeispiele zu verstehen.

Ziel dieses Projekts ist die Planung und Implementierung eines Software-Werkzeugs zur formalen Analyse von Wahlverfahren, das für unterschiedliche Algorithmen zur Berechnung eines Wahlergebnisses verwendbar ist. Für eine:n Benutzer:in soll es dabei möglich sein, ein solches Wahlverfahren auf verschiedene Aspekte hin zu analysieren.

Kontakt Dr. Mattias Ulbrich, Alexander Weigl Sarah Grebing, Michael Kirsten
Projektseite Weitere Informationen ... Weitere Informationen ...

Dokumente

  • Allgemeine Aufgabenbeschreibung: [Gruppe 1], [Gruppe 2]
  • Phase 1: Aufgabe Pflichtenheft: [PDF]
  • Phase 2: Aufgabe Entwurf: [PDF]
  • Phase 3: Aufgabe Implementierung: [PDF]
  • Phase 4: Aufgabe Qualitätssicherung: [PDF]
  • Phase 5: Aufgabe Abnahme: [PDF]

Allgemeine Termine

Datum Uhrzeit Gruppe Veranstaltung Ort Hinweise
27.10.2016 15:45 Uhr Alle Auftaktveranstaltung
Gruppe I, Gruppe II		 HS am Fasanengarten (Geb. 50.35) Vorstellung der Projekte
07.11.2016 13:00 Uhr Gruppe I Erstes Gruppentreffen
Folien		 Geb. 50.34, Raum 211 siehe Gruppenseite
08.11.2016 13:00 Uhr Gruppe II Erstes Gruppentreffen
Folien		 Geb. 50.34, Raum 211 siehe Gruppenseite

Die weiteren Termine finden nach Absprache statt.

Weiteres Material