Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


 




Zeige Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Informatik-Format Pdf_icon Systems Engineering-Format Pdf_icon

Informatik-Ansicht

Korrekte Software


Correct Software 		Modulnummer
BB-699.08
Bachelor
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Mathematik und Theoretische Informatik
Modulteilbereich : 699 Spezielle Gebiete der Theoretischen Informatik
Anzahl der SWS
V UE K S Prak. Proj. ∑
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

Jährlich

Formale Voraussetzungen : Keine
Inhaltliche Voraussetzungen : Elementare Programmierkenntnisse
Vorgesehenes Semester : ab 5. Semester
Sprache : Deutsch/Englisch
Ziele :

Ziel der Veranstaltung ist es, die Grundbegriffe der korrekten Softwareentwicklung zu verstehen. Wie können wir Software schreiben, die tut was sie soll? Und wie können wir das beweisen?

Dazu betrachten wie die Grundbegriffe der formalen Semantik und der Floyd-Hoare-Logik. Lernziel ist es, Eigenschaften von einfachen C-Programmen spezifizieren und beweisen zu können, und zu verstehen, wie diese Techniken auf reale C-Programme (oder andere Programmiersprachen) skalieren können.
Inhalte :

  • Logische Grundlagen: Formale Logik, Prädikatenkalkül, Vollständigkeit und Korrektheit;

  • Grundlagen der Floyd-Hoare-Logik;

  • Operationale Semantik für eine einfach imperative Programmiersprache;

  • Vollständigkeit und Korrektheit der Floyd-Hoare-Logik für diese Sprache;

  • Erweiterung der Logik um Funktionsaufrufe, strukturierte Datentypen und Referenzen (Zeiger);
Unterlagen (Skripte, Literatur, Programme usw.) :
Form der Prüfung : Mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Prof. Dr. C. Lüth, Dr. S. Autexier Verantwortlich Prof. Dr. C. Lüth
Zurück

Zeige Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Informatik-Format Pdf_icon Systems Engineering-Format Pdf_icon