Differences

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

--- course_outline [2007/10/26 18:22] – jonathan
+++ course_outline [2008/06/25 21:23] (current) – jonathan
@@ Line 21: / 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 89: / 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.