course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2009/03/12 16:47] – jonathan | course_outline [2009/03/12 17:10] (current) – jonathan | ||
---|---|---|---|
Line 5: | Line 5: | ||
* What are Requirements? | * What are Requirements? | ||
* What is Requirements Elicitation? | * What is Requirements Elicitation? | ||
- | * Documenting Requirements. Users Requirements Documents (in the problem domain) vs. System Specification | + | * Documenting Requirements. Users Requirements Documents (in the problem domain) vs. System Specification |
* Requirements Traceability. How do you check that the final product satisfies the User Requirements? | * Requirements Traceability. How do you check that the final product satisfies the User Requirements? | ||
- | * The difference between doing Requirements for Safety Critical Systems and other systems. The use of mathematical models for Requirements | + | |
+ | | ||
- | ==== Topics covered | + | ==== Weekly summary |
Line 53: | Line 54: | ||
* Week 9, October 27: Textbook Appendix - Example user requirements. | * 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. | ||
course_outline.1236876460.txt.gz · Last modified: 2009/03/12 16:47 by jonathan