Differences

This shows you the differences between two versions of the page.

--- start [2009/09/17 16:25] – jonathan
+++ start [2009/10/18 22:30] (current) – jonathan
@@ Line 3: / Line 3: @@
 **Fall 2009: CSE4312 -- Software Requirements Engineering**
+← Please read the forum regularly for course updates.
 ===== Lecture Times =====
@@ Line 20: / Line 23: @@
 In addition
-  * you will be using the [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin model checker]] for doing mathematical requirements analysis and verification.
+  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either [[http://www.comp.nus.edu.sg/~pat/|PAT2]] or [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin]]). See Chapter 17 in the suggested text.
   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).