Differences

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

--- course_outline [2019/09/11 16:27] – jonathan
+++ course_outline [2019/11/01 14:48] (current) – jonathan
@@ 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.|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. 06 Nov.|Labtest7  | 5%    |Section 2.11: Provide Rationale|
+| Lab08 | Wed. 06 Nov.|Labtest7  | 5%    |Section 2.8: Detailed Behaviour/Performance|
-| Lab09 | Wed. 13 Nov.|Project   | 20%   |Section 2.7: Identify System Modes|
+| Lab09 | Wed. 13 Nov.|Project   | 20%   |Section 2.9/10: Define Software Requirements|
-| Lab10 | Wed. 20 Nov.|Assignment| 10%   |Section 2.7: Identify System Modes|
+| Lab10 | Wed. 20 Nov.|Assignment| 10%   |Section 2.11: Provide Rationale|
-| Lab11 | Wed. 27 Nov.|Exam Prep | 45%   |Section 2.7: Identify System Modes|
+| Lab11 | Wed. 27 Nov.|Exam Prep | 45%   ||
 |       |             |          | 100%  ||
@@ Line 35: / Line 35: @@
   * 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]].
-As you attend the lectures, Labs and undertake the required readings note the various ways in which we document requirements including
+As you attend the lectures, Labs and undertake the required readings note the various ways in which we **Elicit** and **Document** requirements including:
   * Informal prose descriptions
   * E/R descriptions
@@ Line 41: / Line 41: @@
   * TLA+ Specifications
   * PVS Specifications especially completeness, disjointness and well-definedness of specifications
-   * Acceptance Tests, etc.
+   * Acceptance Tests based on UI grammars, etc.
+   * A Requirements Document will involve a combination of carefully selected such methods.
 ===== Topics Covered =====