Informatics Informatics Department Software Engineering

Jump To Main Content

Jump Over Banner

Home

InformaticsSystems EngineeringSoftware

Jump Over Left Menu

Overview

Software Engineering within Informatics concentrated on the theme of quality software through formal specification and verification.

In consequence, most of the research activities and some of the support activities were related to that theme.

The activities focus on Theorem Proving, Equational Reasoning, and Formal Specification.

See also: