Modulbeschreibung

Programming Languages and Formal Methods

Kurzzeichen:
M_PLFM
Durchführungszeitraum:
FS/20-FS/21
ECTS-Punkte:
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:
Mehta Farhad D.
Empfohlene Module:
Zusätzlich vorausgesetzte Kenntnisse:

Englisch-Kenntnisse

(Dieses Modul wird auf Englisch durchgeführt.)

Skriptablage:
Modultyp:
Standard-Modul für Informatik STD_11(Empfohlenes Semester: 4)
Standard-Modul für Informatik STD_14(Empfohlenes Semester: 4)
Standard-Modul für Generalist STD_14 (PF)

Kurse in diesem Modul