course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2008/10/13 15:51] – jonathan | course_outline [2009/03/12 17:10] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Course Outline ====== | ====== Course Outline ====== | ||
+ | |||
+ | ==== Main topics ==== | ||
+ | |||
+ | * What are Requirements? | ||
+ | * What is Requirements Elicitation? | ||
+ | * 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? | ||
+ | * Triage in Requirements Engineering. How to deal with changing requirements and " | ||
+ | * 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 (" | Topics covered each week as well as required readings from the textbook (" | ||
Line 33: | Line 45: | ||
* Complete topic: User Guides as requirements | * Complete topic: User Guides as requirements | ||
* Requirements Traceability tables (see text section 6.5) | * Requirements Traceability tables (see text section 6.5) | ||
- | | + | * Exercise 2 in preparation |
- | | + | |
* Material for Labtest released | * Material for Labtest released | ||
- | * Week 8, October 20: Textbook chapter 8 (with exercises) - Checking and Reviewing. | + | * Week 8, October 20: |
+ | * Textbook chapter 8 (with exercises) - Checking and Reviewing. | ||
+ | * Start slides from textbook author Ian Alexander (which reviews materials in the current textbook, but also adds materials in his new text to appear 2009) | ||
* 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.1223913110.txt.gz · Last modified: 2008/10/13 15:51 by jonathan