Differences

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

--- start [2009/09/17 02:30] – 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 17: / Line 22: @@
 A work-intensive project (divided into 3 phases) will allow students to apply their knowledge to a non-trivial example.
+In addition
+  * 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).
 ===== Suggested texts =====
@@ Line 28: / Line 37: @@
   * Use of standard UML notations wherever applicable. Most techniques are based on a solid formal framework, kept hidden throughout the major part of the book for wider accessibility.
   * Numerous examples from running case studies in a variety of domains, including security– and safety–critical ones. Rich set of problems and exercises at the end of each chapter together with bibliographical notes for further study.
-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 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).