course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2007/10/26 18:22] – jonathan | course_outline [2008/06/25 21:23] (current) – jonathan | ||
|---|---|---|---|
| Line 21: | Line 21: | ||
| * See course slides 01 and 02. There are 4 papers that are required readings for the next two weeks (01 to 04) | * See course slides 01 and 02. There are 4 papers that are required readings for the next two weeks (01 to 04) | ||
| + | |||
| + | * What are Requirements, | ||
| + | |||
| + | * Formal and Informal Requirements. | ||
| Line 89: | Line 93: | ||
| * [12 series of slides] Continuation of using SPIN for requirements and specifications of safety critical systems. | * [12 series of slides] Continuation of using SPIN for requirements and specifications of safety critical systems. | ||
| + | ===== Week of November 6 ===== | ||
| + | |||
| + | Slide series 10 on Object Oriented Modelling | ||
| + | |||
| + | Slide Series 11 on Object Oriented Modelling (Use Cases and Sequence Diagrams) | ||
| + | |||
| + | ===== Week of November 12 ===== | ||
| + | |||
| + | Slide Series 12. IEEE standards for Requirements Specifications. | ||
| + | Natural language requirements vs. formal requirements. | ||
| + | Discussion of | ||
| + | ===== Weeks of November 19 and 26 ===== | ||
| + | Guest lectures by Prof. Alan Wassyng, McMaster University, on Parnas Tables and how Specifications were written for the Darlington nuclear reactor. Sliede series 13 and 14. | ||
course_outline.1193422952.txt.gz · Last modified: 2007/10/26 18:22 by jonathan