View source for SE462

== SOFTENG 462 &mdash; Formal Methods ==

Welcome to SOFTENG 462, a course on formal methods using Alloy, Z, OCL, JML, and CSP.

=== Notices ===

* Class meetings will be held in room 561 (5th floor of the 303S Science Extension building) until the mid-semester break.
: They will return to Arts 209 when Jing takes over the class in the second half of the semester.
: [[User:Jham005|Jham005]] 10:18, 8 August 2007 (NZST)

* The meeting on Thursday 16 August has been cancelled, on account of Microsoft Student Day.
: [[User:Jham005|Jham005]] 15:54, 15 August 2007 (NZST)

=== Class meetings: agenda and minutes ===

Agenda for future class meetings and minutes for previous meetings will appear here.  You are invited to add items to the agenda.  Students taking minutes are expected to update the agenda page with a summary of the meeting within 24 hours.

* Week 1
:* [[SE462:2007-07-16]] Monday 16 July
:* [[SE462:2007-07-18]] Wednesday 18 July
:* [[SE462:2007-07-19]] Thursday 19 July
:* [[SE462:2007-07-23]] Monday 23 July

=== Student Timetables ===
Please enter your timetables in the table in the following link <br>
so we can try to negotiate an alternate lecture time :) <br>
[[SE462:timetable|Timetables]]

=== Labs ===

* [[SE462:lab-1]] Tuesday 24 July
* [[SE462:lab-2]] Tuesday 31 July
* [[SE462:lab-3]] Tuesday 7 August
* [[SE462:lab-4]] Tuesday 14 August
* [[SE462:lab-5]] Tuesday 21 August
* [[SE462:lab-6]] Tuesday 18 September
* [[SE462:lab-7]] Tuesday 25 September
* [[SE462:lab-8]] Tuesday 02 October
* [[SE462:lab-9]] Tuesday 09 October

=== Resources ===

* Prescribed test: Jackson,D. (2006) "Software Abstractions", MIT Press
* See https://www.se.auckland.ac.nz/courses/SOFTENG462/resources