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: by jonathan
