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

Generating Software from Specifications WS 2013/14 - 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

Lecturer

Office hours Uwe Kastens:

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

Lecture hours

Lecture

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

Begin: October 17 in 2013

Tutorials

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

Begin: October 17 in 2013

Registration, Examination

Exam

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
http://www.cs.uni-paderborn.de/en/students/examinations/registering-for-examinations.html

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