Modulbeschreibung

Programming Languages and Formal Methods

Kürzel:
M_PLFM
Durchführungszeitraum:
FS/20-FS/21
ECTS-Credits:
4
Lernziele:

The main aim of this module is to apply formal programming language based techniques for the construction and verification of computer programs.

 

Special emphasis will be made on techniques outside mainstream programming in the imperative object oriented programming style, and verification using unit testing.

 

 All participants are able to:

  • Construct programs in the functional style
  • Verify the correctness of functional programs
  • Explain the formal foundations of the techniques covered
Verantwortliche Person:
Prof. Dr. Mehta Farhad D.
Standort (angeboten):
Rapperswil-Jona
Empfohlene Module:
Zusätzlich vorausgesetzte Kenntnisse:

Englisch-Kenntnisse

(Dieses Modul wird auf Englisch durchgeführt.)

Skriptablage:
Modultyp:
Wahlpflicht-Modul für Informatik STD_11(Empfohlenes Semester: 4)
Wahlpflicht-Modul für Informatik STD_14(Empfohlenes Semester: 4)
Wahlpflicht-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 4)
Wahlpflicht-Modul für Generalist STD_14 (PF)
Wahlpflicht-Modul für Software Engineering STD_14 (PF)

Kurse in diesem Modul