[English]
[Deutsch]

Chair of Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Job Offers

Publications

Contact


Datenschutzerklärung

Impressum

WS 2018

Goals of this Lecture

Students possess deepened knowledge of important techniques of software quality assurance. In particular they learn dynamic testing techniques, static analyses and formal proving techniques. Students can evaluate the applicability of different techniques. The are capable to choose and apply techniques in practical situations.

Contents of the Lecture

Relevant techniques for software quality assurance are presented.

Material

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Office hours: on appointment

Schedule

The lecture SQA consists of 2 SWS lecture and 1 SWS tutorial.

Additional information for the first tutorial will be published soon.

Tutorial

Sebastian Müller
Nishanth Laxman
Office hours: on appointment

Entries in the KIS-System

Announcements

All announcements are posted on the SEDA main page.

Exam

The planned dates of the written examination are:
12.03.2019 in Room 28-111, Starting time 12:30am
or
05.04.2019 in Room 46-215, Starting time 09:00am

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.