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

Generating Software from Specifications WS 2013/14 - Organization


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


Office hours Uwe Kastens:

  • Tue 11:00 - 12:00, Wed 16:00 - 17:00, F2.308

Lecture hours


  • Thu 11:15 - 12:45   F2.211

Begin: October 17 in 2013


  • Thu 13:00 - 13:45 F1-Pool

Begin: October 17 in 2013

Registration, Examination


An examination of this course GSS may be part of a module examination for Module III.1.2 (Type A), for Module III.1.1 (Type B), or for Module III.1.6:

Two time spans are offered for oral examinations:

  1. Feb 11, 12, 14 in 2014
  2. April 01 to 03 in 2014
Register in PAUL for the one or the other time span; then ask for an appointment by according to http://www.cs.uni-paderborn.de/studierende/pruefungswesen/pruefungsanmeldung.html or

The oral 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: 05.12.2013