Mark: New page: == SE462 Meeting of 16 July 2007 == * Introduction * Assessment 40% course work (10% from labs) 10% test ** 50% exam * Learning outcomes * Minutes and agenda * Labs ** Tuesday 1~3p...

2008-02-15T19:46:23Z

New page: == SE462 Meeting of 16 July 2007 == * Introduction * Assessment ** 40% course work (10% from labs) ** 10% test ** 50% exam * Learning outcomes * Minutes and agenda * Labs ** Tuesday 1~3p...

New page

== SE462 Meeting of 16 July 2007 ==

* Introduction
* Assessment
** 40% course work (10% from labs)
** 10% test
** 50% exam
* Learning outcomes
* Minutes and agenda
* Labs
** Tuesday 1~3pm in GCL
* Alloy Analyser from [[https://www.se.auckland.ac.nz/courses/SOFTENG462/resources/ Resource]] page.
* Purpose of using Alloy:
** modeling language to explore what needs to be sorted out before getting into the coding phase.
** it does not prove things, but uses brute force to see possible combination to do things.
* Alloy example:
sig Name, Addr { }
sig Book {
addr:Name -> lone Addr
}
pred show {
#addr = 3
}
run show for 4 but 1 Book.
[[User:Echi026|Echi026]] 19:01, 16 July 2007 (NZST)

SE462:2007-07-16 - Revision history

Mark: New page: == SE462 Meeting of 16 July 2007 == * Introduction * Assessment ** 40% course work (10% from labs) ** 10% test ** 50% exam * Learning outcomes * Minutes and agenda * Labs ** Tuesday 1~3p...

Mark: New page: == SE462 Meeting of 16 July 2007 == * Introduction * Assessment 40% course work (10% from labs) 10% test ** 50% exam * Learning outcomes * Minutes and agenda * Labs ** Tuesday 1~3p...