Preliminary Talk: Oktober 5 from 1 p.m. to 3 p.m., Audi.Max.
"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).
Activities
There are two lecture units every week. They are identical to the theory-based parts of the lecture of "Program Construction".
Four exercise sheets have to be solved. The solutions have to be presented in four tutorials (one hour each).
Participation in two tests is required on December 9 and January 27. If there are only few participants, each test may be preplaced with an oral exam.
ECTS-Breakdown
2.9 ECTS=72.5 hours
- 30 hours for participation in lectures (including preparation)
- 24 hours for solving exercise sheets and participation in tutorials
- 18.5 hours for participation in lectures (including preparation)
The assessment of the exercises results from
- the quality of solutions of exercise sheets,
- the quality of presentations of these solutions,
- the participation in the tutorials.
The assessment of the whole course results to three equal parts from each of the two tests as well as the assessment of the exercises provided that each of these parts is positive. A test or the exercises are positive if at least 50% of all tasks have been solved correctly. If one test is negative and the other test as well as the exercises are positive, the negative test can be replaced with an oral exam.
If there are only few participants, each test may be preplaced with an oral exam.
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".