AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Formale Methoden der Software-Technik - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Seminar Veranstaltungsnummer 3313016
Semester WiSe 2021/22 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfristen - Eine Belegung ist online erforderlich
Veranstaltungsformat Digital

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mo. 13:00 bis 15:00 wöch   Schlingloff findet statt     12
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Prof. Dr. Schlingloff, Holger
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Kernfach ( POVersion: 2010 )   -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2010 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   -  
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

In diesem Buch wollen wir das neu erschienene Springer-Lehrbuch "Formal Methods for Software Engineering - Languages, Methods, Application Domains" gemeinsam durcharbeiten.

Formale Methoden können in der Informatik genutzt werden, um zu zeigen, dass Programme das tun, was sie tun sollen. Dazu benötigt man zunächst einmal eine sprachliche Grundlage, wie z.B. Logik oder Algebra.

Anforderungen, die in einer formalen Sprache aufgeschrieben sind, können dann mit speziellen Algorithmen bewiesen oder getestet werden.

Anwendungen ergeben sich vor allem in sicherheitskritischen Bereichen wie Security-Protokollen, aber auch bei elektronischen Verträgen und in der Gestaltung von Mensch-Maschine-Schnittstellen.

 

Ziel des Seminars ist ein grundsätzliches Verständnis von Möglichkeiten und Grenzen formaler Methoden, die Fähigkeit, sich ein Thema an Hand eines Lehrbuchkapitels zu erarbeiten und vorzutragen, sowie erste Erfahrungen mit dem Schreiben wissenschaftlicher Texte zu gewinnen.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2021/22. Aktuelles Semester: WiSe 2024/25.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin