Differences

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

--- course_outline [2009/03/12 16:46] – jonathan
+++ course_outline [2009/03/12 17:10] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Course Outline ======
-Main topics
+==== Main topics ====
   * What are Requirements? The problem domain vs. the solution domain. Difference between Requirements and Specifications.
   * What is Requirements Elicitation? Why is it important? How do you elicit Requirements?
-  * Documenting Requirements. Users Requirements Documents (in the problem domain) vs. System Specification Documentens (in the solution domain).
+  * Documenting Requirements. Users Requirements Documents (in the problem domain) vs. System Specification Documents (in the solution domain).
   * Requirements Traceability. How do you check that the final product satisfies the User Requirements? Acceptance tests and requirements traceability.
-  * The difference between doing Requirements for Safety Critical Systems and other systems. The use of mathematical models for Requirements of safety crtitical systems.
+  * 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 for writing requirements and specifications of safety critical systems. The use of mathematical models to analyze specifications.
+==== Weekly summary ====
 Topics covered each week as well as required readings from the textbook ("Writing Better Requirements").
@@ Line 49: / Line 54: @@
   * Week 9, October 27: Textbook Appendix - Example user requirements.
+  * Week 10. Parnas Tables for documenting requirements of safety critical systems. See I slides.
+  * 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.