Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Generating Software from Specifications SS 2010 - Organization

Modules

In the Master degree programme in Computer Science (since 2009) this course is part of the following modules:
(see Modul Handbook 2009)
  • III.1.1 Model-based software development
  • III.1.2 Languages and Programming Methods
  • III.1.6 Constructive Methods in Software Engineering
In the Master degree programme in Computer Science (since 2004) this course is part of the following modules:
(see Modulhandbuch 2004)
  • III.1.1 Softwaretechnik I
  • III.1.3 Sprachen und Programmiermethoden

Lecturer

Office hours Uwe Kastens:

  • Mon 11:00 - 12:00, Thu 16:00 - 17:00, F2.308

Lecture hours

Lecture

  • Tue 09:15 - 10:45   F0.530

Begin: April 13 2010
End: July 20 2010

Tutorials

  • Tue 11:00 - 11:45 F-Pool

Begin: April 13 2010
End: July 20 2010

Registration, Examination

Exam

Oral module examinations will be offered within two time spans:
  • Aug 2 to 6 2010
  • Sept 27 to Oct 1 2010
    Registration: from Sept 9 to 13 at the ZPS.
You may ask me for a particular date in these time spans by email (uwe[at]upb.de).

Please follow the instructions for registration of module examinations.

The exam in GSS covers a short report on the project of the candidate and topics of the lecture. If the participant intends to use the grade for a lecture that is given in English, at least the report on the project has to be given in English. Otherwise the candidate may chose between German and English for the language of the examination.

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 10.11.2010