Differences

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

--- course_outline [2009/03/12 17:04] – jonathan
+++ course_outline [2009/03/12 17:10] (current) – jonathan
@@ Line 8: / Line 8: @@
   * Requirements Traceability. How do you check that the final product satisfies the User Requirements? Acceptance tests and requirements traceability.
   * Triage in Requirements Engineering. How to deal with changing requirements and "requirements creep".
-  * The difference between doing Requirements for Safety Critical Systems such as nuclear reactors or medical equipment and other systems. The use of mathematical models for Requirements of safety critical systems.
+  * The difference between doing Requirements for Safety Critical Systems such as nuclear reactors or medical equipment and other systems. The use of mathematical models for for writing requirements and specifications of safety critical systems. The use of mathematical models to analyze specifications.
-==== Topics covered ====
+==== Weekly summary ====
@@ Line 59: / Line 59: @@
   * CUPE strike starts early November.
+  * Classes resume on Tuesday, February 3, 2009.
+  * Week of Feb 3: Requirements using Event-B and Spin modelling.
+  * Week of Feb 9. Requirements for the bridge controller in Event-B and Spin.
+  * Week of Feb 16th. Discussion of User Requirements Documents, System Specification Documents and Requirements Traceability in the light of Phase 2 of the project.