Software Engineering using Formal Methods |
TDA293/DIT270, LP1, HT2015 |
Exam Notes | |
General Information
The written exam (4 hours) will take place 30 October 2015, 2.00 pm in Hörsalsvägen. Exam registration should be done at least three weeks before the exam date in the course portal (for exact date see studieportalen). Exam Contents You are supposed to have a good understanding of the contents of the lectures, the exercises and the labs. The Lecture Notes describe the contents of each lecture. Exam Aids You are not allowed any aids besides a dictionary. The problems emphasize understanding of the concepts rather than memorizing. Minor syntax errors in Java code will not be punished. If in doubt, use extra brackets to clarify association. Trial Exam Here, you find two trial exams:
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 30/10/2015. Please note that the solutions are only suggestions and some tasks could be solved in other ways, too.
We offer a session where you can review your exam answers and ask questions concerning grading. It will take place Thursday, November 19, from 12.00 to 13.00, in room 5128 in the D&IT department, EDIT building. (Room 5128 is on the 5th floor, close to the staircase leading up from the entrance Rännvägen 6B.) There will be a written re-exam, taking place January 5, 2016, at 08:30-12:30. | |
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt , Nov 10, 2015 |