SE462

SOFTENG 462 — 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.

Jham005 10:18, 8 August 2007 (NZST)

• The meeting on Thursday 16 August has been cancelled, on account of Microsoft Student Day.

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
so we can try to negotiate an alternate lecture time :)
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