|Formal Methods for Software Development||TDA294/DIT271, LP1, HT2017|
In addition to the Lab hand-in assignments, the course is examined via individual, oral examination of 30 min per student.
Please look at the Notes on the Oral Examination for information on the nature and scope of the oral examination.
The examination slots are on October 24, 25, 26, and 27.
The location is room 6471, in the office areas of the department of Computer Science and Engineering (EDIT building Johanneberg, the same building where the lectures took place). Please enter the department of Computer Science and Engineering at floor 6, from the stair case which comes up from the main entrance at Rännvägen 6B. After entering the department, walk all the way through the corridor, until the corridor turns right. At this corner, you have room 6471 right in front of you. (You may want to look for the room before the day of the exam.)
Please bring an identification document to the examination.
Below, you find a link to a page where you can book a slot.
Please enter, in the name field, your name and person number. Only the course teacher can see this information, everyone else only sees that your slot is booked.
On popular request, and after discussion in the lecture, I make available trial exams of the predecessor course. It is three exams, each in two versions, one without and one with solutions.
|Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools||W. Ahrendt, Oct 21, 2017|