Prof. Dr. Holger Giese

Homepage: http://www.hpi.uni-potsdam.de/giese/

Life Cycle


Date: 2009-11-04
Dur: 01:34:38

Introduction to Foundations


Date: 2009-11-02
Dur: 01:34:38

The Software Development Process


Date: 2009-10-28
Dur: 01:32:01

Introduction and Motivation


Date: 2009-10-26
Dur: 01:34:00

Zusammenfassung der Vorlesung

Zusammenfassung der Vorlesung...
Date: 2009-07-21
Dur: 01:09:46

Absicherung der Qualität

Absicherung der Qualität...
Date: 2009-07-16
Dur: 01:31:32

Qualität

Qualität...
Date: 2009-07-14
Dur: 01:33:13

Automotive Software

Automotive Software...
Date: 2009-07-09
Dur: 01:29:12

Synchronisation

Synchronisation...
Date: 2009-06-30
Dur: 01:37:04

Compilerbau

Compilerbau...
Date: 2009-06-23
Dur: 01:21:40

Transformation - Einleitung

Transformation - Einleitung...
Date: 2009-05-07
Dur: 01:25:58

Definition

Definition...
Date: 2009-05-05
Dur: 01:23:57

Formale Sprachen

Formale Sprachen...
Date: 2009-04-30
Dur: 01:16:43

Einführung

Einführung...
Date: 2009-04-28
Dur: 01:38:15

Hazard Analysis

Hazard Analysis...
Date: 2009-02-09
Dur: 01:33:54

MDD & MDA

MDD & MDA...
Date: 2009-01-28
Dur: 01:16:54

Synchronization

Synchronization...
Date: 2009-01-26
Dur: 01:35:44

Manual Coding

Manual Coding...
Date: 2009-01-21
Dur: 01:33:31