SE462:2007-07-16

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 [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.

Echi026 19:01, 16 July 2007 (NZST)