Differences

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

--- course_outline [2019/09/10 15:28] – jonathan
+++ course_outline [2019/11/01 14:48] (current) – jonathan
@@ Line 3: / Line 3: @@
 The tentative schedule for required readings (that you must do on your own), Scheduled Labs and Labtests are provided below.
-[[]https://moodle.yorku.ca/moodle/course/view.php?id=162319|Moodle Site is here]]. Please register with iClicker for in class use.
+[[https://moodle.yorku.ca/moodle/course/view.php?id=162319|Moodle Site is here]]. Please register with iClicker for in class use.
 ====== Schedule Fall 2019 ======
@@ Line 11: / Line 11: @@
 ^Lab   ^Date          ^Labtest  ^Weight ^Weekly Required Readings^
 | Lab00 | Wed. 04 Sep.|          |       |Slides-01: Requirements Overview|
-| Lab01 | Wed. 11 Sep.|Labtest1  | 1%    |Section 2.2 Identify System Boundary|
+| Lab01 | Wed. 11 Sep.|Labtest1  | 1%    |Section 2.1/2.2 Identify System Boundary|
 | Lab02 | Wed. 18 Sep.|Labtest2  | 2%    |Section 2.3 Develop Operational Concepts|
-| Lab03 | Wed. 25 Sep.|Labtest3  | 3%    |Sect. 2.4 Identify Environmental Assumptions|
+| Lab03 | Wed. 25 Sep.|Labtest3  | 3%    |Section 2.4 Identify Environmental Assumptions|
 | Lab04 | Wed. 02 Oct.|Labtest4  | 4%    |Section 2.5 Develop Functional Architecture|
 | Lab05 | Wed. 09 Oct.|YK        |       |WIFT-PVS Prop. Logic p57-66|
-|       | Wed. 16 Oct.|          |       |WIFT-PVS Pred. Logic p66-76|
+|       | Wed. 16 Oct.|Reading W.|       |WIFT-PVS Pred. Logic p66-76|
-| Lab07 | Wed. 23 Oct.|Labtest5  | 5%    |Section 2.7: Identify System Modes|
+| Lab06 | Wed. 23 Oct.|Labtest5  | 5%    |Section 2.6: Revise Architecture/Constraints|
-| Lab08 | Wed. 30 Oct.|Labtest6  | 5%    |Section 2.9/10: Define Software Requirements|
+| Lab07 | Wed. 30 Oct.|Labtest6  | 5%    |Section 2.7: Identify System Modes|
-| Lab08 | Wed. 30 Oct.|Labtest7  | 5%    |Section 2.11: Provide Rationale|
+| Lab08 | Wed. 06 Nov.|Labtest7  | 5%    |Section 2.8: Detailed Behaviour/Performance|
-| Lab09 | Wed. 06 Nov.|          |       |UML (Use Case, Class, Statechart, Sequence)|
+| Lab09 | Wed. 13 Nov.|Project   | 20%   |Section 2.9/10: Define Software Requirements|
-| Lab07 | Wed. 13 Nov.|Project   | 20%   |Section 2.7: Identify System Modes|
+| Lab10 | Wed. 20 Nov.|Assignment| 10%   |Section 2.11: Provide Rationale|
-| Lab07 | Wed. 20 Nov.|Assignment| 10%   |Section 2.7: Identify System Modes|
+| Lab11 | Wed. 27 Nov.|Exam Prep | 45%   ||
-| Lab07 | Wed. 27 Nov.|Exam Prep | 45%   |Section 2.7: Identify System Modes|
 |       |             |          | 100%  ||
-**You must be present in every laboratory during the scheduled Lab hour.** In most weeks, there will be a weekly Labtest during the scheduled Lab hour that is graded.
+**You must be present in every laboratory during the scheduled Lab hour.** In most weeks, there will be a weekly Labtest during the scheduled Lab hour that is graded. The Labtest may cover all work done up to an including the previous week, including lectures, Labs and required readings.
 Every week there will be Lab work to be done (available on the SVN). See [[:protected:labs:start|here]]
-{{:quiz-instructions.pdf|Labtest Instructions}}
+Each week you are required to study readings, on your own time, during the course.
+  * **Required text**: [[https://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-32.pdf| Requirements Engineering Management Handbook (2009)]] (REMH). Note that there are examples of how to write requirements documents in Appendix A, B, C and D of this handbook. This allows you to see how the readings can be applied in practice.
+  * //WIFT-95 Tutorial Introduction to PVS// ([[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:pvs:wift:start|WIFT-PVS Tutorial]]). Try out the examples using the PVS theorem prover. In addition, you must do the telephone book example in the WIFT-95 Tutorial (pages 5 to 25).
+  * You must also review UML (Use Case, Class, Statechart, Sequence Diagrams). There is a video to help you understand Use Cases. You must understand and be able to construct Use Cases and Use Case diagrams before the Project and Exam. See [[https://wiki.eecs.yorku.ca/course_archive/2017-18/F/4312/protected:videos:start#what_are_use_cases|here]].
-Each week you are required to study readings, on your own time, from:
+As you attend the lectures, Labs and undertake the required readings note the various ways in which we **Elicit** and **Document** requirements including:
-  * the //WIFT-95 Tutorial Introduction to PVS// ([[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:pvs:wift:start|WIFT-PVS Tutorial]]). Try out the examples using the PVS theorem prover. In addition, you must do the telephone book example in the WIFT-95 Tutorial (pages 5 to 25).
+  * Informal prose descriptions
-  * the required text: [[https://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-32.pdf| Requirements Engineering Management Handbook (2009)]] (REMH). Note that there are examples of how to write requirements documents in Appendix A, B, C and D of this handbook. This allows you to see how the readings can be applied in practice.
+  * E/R descriptions
-  * There is a video to help you understand Use Cases. You must understand and be able to construct Use Cases and Use Case diagrams before the Project and Exam. See [[https://wiki.eecs.yorku.ca/course_archive/2017-18/F/4312/protected:videos:start#what_are_use_cases|here]].
+  * Use Cases, Statecharts and other UML diagrams
+  * TLA+ Specifications
-Labtests will be based on the Labs, readings and class lectures. TLA+ Videos included.
+  * PVS Specifications especially completeness, disjointness and well-definedness of specifications
+   * Acceptance Tests based on UI grammars, etc.
+   * A Requirements Document will involve a combination of carefully selected such methods.
 ===== Topics Covered =====