Software Engineering using Formal Methods |
TDA293/DIT270, LP1, HT2012 |
Exam Notes | |
General Information
In the last week of the course we schedule a Question and Answer
session, see Lectures and Schedule.
The written exam (4 hours) will take place October 26 2012, 14:00-18:00. More information follows as soon as available. See also the study portal. 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. The principle we apply in designing the exam questions is that if you have done and understood the lab assignments, you should be able to pass the exam. 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 some trial exams, with and without solutions. We strongly recommend to only look at solutions after having made very serious attempts yourself. The trial exams are meant to support you in practising for the exam. Note that the real exam is in no way limited to the kind of questions nor to the topics covered by the trial exams. In general, all content of the lectures, exercises, and hand-in assignments is relevant for the exam.
Exam Solutions The exam is graded now. Here, you find the solutions of the exam written on 26nd October 2012. 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 Tuesday, November 20, from 12.00 to 13.00, in room 6128 in the D&IT department. There will be a written re-exam, taking place January 19, at 08:30-12:30, in 'Väg och vatten' (Bygg + Miljöteknik building), see also here. Please observe that, concerning registration, different rules apply to Chalmers vs. GU students. If you are a GU student, please register. If you are a Chalmers student, it is not necessary (nor even possible) to register. It is enough to just show up. These differences are not my making. The re-exam happens to have a different status at both universities. | |
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt J. Svenningsson M. Wang , Dec 15, 2012 |