Differences

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

--- start [2009/09/17 02:31] – jonathan
+++ start [2009/10/18 22:30] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
 ====== CSE4312  ======
+**Fall 2009: CSE4312 -- Software Requirements Engineering**
+← Please read the forum regularly for course updates.
 ===== Lecture Times =====
@@ Line 6: / Line 11: @@
   * Tuesdays & Thursdays 4pm-5.30pm in [[ https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/6/wo/ykEtFliJz2In8ytoE6nNZw/9.1.8.9.7.0.0| CC 208, Calumet College]]
-===== Learning Outcome =====
+===== Learning outcome =====
 Students should be able to
@@ Line 18: / 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).