<
Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2016

Exam Notes

General Information

The written exam (4 hours) will take place 28 October 2016, 2.00 pm in TBA.


Exam Aids

You are not allowed any aids besides a dictionary.


Trial Exam

Here, you find two trial exams:

We strongly recommend to look at solutions only after having made very serious attempts yourself.

The trial exams are meant to support you in your preparation. Note that the real exam is in no way limited to the kind of questions nor to the topics covered by the trial exams.


Exam Solutions

Here, you find the solutions of the exam written 28/10/2016. Please note that the solutions are only suggestions and some tasks could be solved in other ways, too.


Exam Review

We offer a session where you can review your exam answers and ask questions concerning grading. It will take place Tuesday, November 22, from 12.00 to 13.15, in the room called EDIT-RUMMET (3364) in the, EDIT building. The room is on the same level as the restaurant in the EDIT building. Go to the stairs leading up to our lecture room, but do not go up the stairs, instead enter the glass door to the corridor labeled "3ö". The room is on the left of that corridor.


Re-Exam

There will be a written re-exam, taking place 21 December 2016, at 08:30-12:30.


Re-Exam Solutions

Here, you find the solutions of the re-exam written 21/12/2016. Please note that the solutions are only suggestions and some tasks could be solved in other ways, too.


Re-Exam Review

We offer a session where you can review your re-exam answers and ask questions concerning grading. It will take place Wednesday, January 18, from 12.00 to 12.45, in the room called EDIT-RUMMET (3364) in the, EDIT building. The room is on the same level as the restaurant in the EDIT building. Go to the stairs leading up to our lecture room, but do not go up the stairs, instead enter the glass door to the corridor labeled "3ö". The room is on the left of that corridor.


Second Re-Exam

There will be a second written re-exam, taking place at 11 April, at 14:00-18:00.





Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Mar 21, 2017