COMP2600: Formal Methods for Software Engineering - 2012

The 2012 Supplementary Exam Details

Students eligible for the supplementary exam have been contacted. The format, including weighting of material, will be identical to the final exam.

The 2012 Final Exam

Final exam (pdf), (2x2 version)
Final exam with solutions (pdf), (2x2 version)

Venue & timing

The exam for Comp2600 will be held on Friday, 16 November 2012 in the Sports Hall of the Sports & Recreation Centre (19). The reading period starts at 9.15am and lasts for 15 minutes. The writing period then lasts for three hours. Please try to have arrived by 9am to get your seat.

Assessment weighting

The final exam is worth 50% of your final mark, or 60% if your final exam mark exceeds your mid-semester exam mark. Your overall grade is also capped at no more than 10% over your final exam mark.

Permitted materials

all students are allowed to bring in one A4 sheet handwritten on both sides. Students who require an unmarked English language dictionary must apply for permission to bring one in. No other materials, e.g. electronic devices, are permitted.

Weighting of material

Marks will be alloted* as follows:
12 - Natural deduction
12 - Structural induction
12 - Hoare logic
12 - Weakest precondition calculus
16 - Z specification
12 - Finite state automata
10 - Context-free languages and push-down automata
6 - Turing machines
8 - Your choice of (lambda calculus and Prolog) OR computability
*We reserve the right to make small adjustments to these allocations as we review the exam as a whole, but this should be a good guide to weighting.

Appendices

appendices will be exactly those offered in the mid-semester exam - truth tables, natural deduction, Hoare logic, the weakest precondition calculus, and Z notation.

Drop-in tutes

we will consider offering drop-in tutes for the course if there is demand for them. Please let me know if this is something you'd like, and whether you'd prefer general tutorials for which students can bring any questions, or tutes specifically tailored to certain parts of the course.

The 2012 Mid-semester Quiz with Answers

Here is the mid-semester exam which was held on Wednesday 26 September including model answers, together with a bar graph of final scores for all students sitting the quiz.

The 2012 Mid-semester Quiz Arrangements

The prior details of the for Comp2600 are here for reference. Here is the announcement from ANU Exams Section.

Assessment weighting

The mid-semester exam is worth 10% of the year but is redeemable, which means that if your final exam performance is better than your quiz performance, the final exam mark will be used instead.

Timing

there will be ten minutes of reading time followed by one hour of writing time.

Permitted materials

Material

topics that will be assessed will be those covered in weeks 2 to 6 of term - truth tables and natural deduction, structural induction, Hoare logic, weakest precondition calculus, and Z specification. The approximate allocation of marks will be 11 each for the first four topics, and 6 for Z, coming to a total of 50.

Appendices

appendices will be given in the exam paper to give the rules for truth tables, natural deduction, Hoare logic, the weakest precondition calculus, and Z notation. They will be essentially identical to those attached to the tutorial exercises for weeks 3, 5, and 6, along with a new appendix giving a short glossary of Z symbols.

Revision

past mid-semester and final exams are available on the Comp2600 webpage - see the Archives tab. Remember that in previous years there may have been some differences in exactly what material was taught, and there were certainly differences in what was taught in the first half of the year and so was assessable in the mid-semester exam, so use your judgement in choosing what questions you use for your revision.

Past Exam Papers

Warning: The course content varies from year to year and so some papers have questions that are not appropriate for 2012.

Past (final) exam papers are available from the library on-line; however the quality is better from the COMP2600 archives (from 2006), where you will also find the exams in compact form (2x2), indices to questions and even some answers.
Here are shortcuts to the the exams pages:
- 2006, 2007, 2008, 2009, 2010, 2011
The archives don't go back past 2006, so here are the final exams for some earlier years, in both fullpage format and compact (2x2) form:
- 2003: ( full page or 2x2 ), 2004: ( full page or 2x2 ), 2005: ( full page or 2x2 ).


	College of Engineering and Computer Science Research School of Computer Science