"Foundations of Program Construction" was (together with "Program Construction in Practice") one of two courses in the module "Program Construction". Now this modul is covered by a single course "Program Construction" (185.A79). Only students who already completed the (earlier accompanying) course "Program Construction in Practice" (183.592) or do not need that course according to their curriculum can participate in "Foundations of Program Construction". "Foundations of Program Construction" is arranged in the context of the lecture "Program Construction" (185.A79).
Your have to take part in the theoretical parts of the course "Programmkonstruktion", study the script for "Programmkonstruktion", solve exercises and take an oral exam. Since we expect only a very small number of participants, exercises and dates will be arranged individually for each participant.
2.9 ECTS=72.5 hours
Assessment of the exercises and assessment of the oral exam contribute to the same part to the grade. Both parts must be positive, otherwise the grade is negative.
Please register for 185.A79 "Programmkonstruktion" and mail your intention to take the course 185.A02 "Grundlagen der Programmkonstruktion" to pk@complang.tuwien.ac.at.
It is assumed that "Program Construction in Practice" has already been completed successfully. Hence, appropriate practical programming skills in Java are presumed.
Students who did not yet complete "Program Construction in Practice" have to participate in "Program Construction" (185.A79) instead of "Foundations of Program Construction".