Differences

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

--- course_outline [2007/10/25 22:17] – jonathan
+++ course_outline [2008/06/25 21:23] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Course Outline ======
+===== SPIN Tool =====
 The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed.
-Towards the end of the term we will be using the [[http://spinroot.com/|Spin tool]] (see [[http://spinroot.com/spin/Doc/SpinTutorial.pdf|Tutorial1]]) for describing and specifying safety critical systems. Spin and Xspin are installed on Prism ("spin" and "xspin" at the prompt).
+Towards the end of the term we will be using the [[http://spinroot.com/|Spin tool]] (see [[https://www.cse.yorku.ca/~sel/4312/pub/readings/08-PROMELA-SPIN-tutorial1.swf|demo]], and [[http://spinroot.com/spin/Doc/SpinTutorial.pdf|Tutorial1]]) for describing and specifying safety critical systems. Spin and Xspin are installed on Prism ("spin" and "xspin" at the prompt).
+On Prism, the SPIN tool is invoked by typing //Xspin// and the command line tool is //spin//.
@@ Line 17: / Line 21: @@
   * See course slides 01 and 02. There are 4 papers that are required readings for the next two weeks (01 to 04)
+  * What are Requirements, how do they differ from Specifications?
+  * Formal and Informal Requirements.
@@ Line 85: / Line 93: @@
   * [12 series of slides] Continuation of using SPIN for requirements and specifications of safety critical systems.
+===== Week of November 6  =====
+Slide series 10 on Object Oriented Modelling
+Slide Series 11 on Object Oriented Modelling (Use Cases and Sequence Diagrams)
+===== Week of  November 12 =====
+Slide Series 12. IEEE standards for Requirements Specifications.
+Natural language requirements vs. formal requirements.
+Discussion of
+===== Weeks of November 19 and 26 =====
+Guest lectures by Prof. Alan Wassyng, McMaster University, on Parnas Tables and how Specifications were written for the Darlington nuclear reactor. Sliede series 13 and 14.