Differences

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

--- course_outline [2017/10/29 20:31] – jonathan
+++ course_outline [2017/11/06 01:04] – jonathan
@@ Line 19: / Line 19: @@
   * October 30: (Monday) Lab5 is due by 1.00 pm
   * November 02: (Thursday) Quiz5 (includes material from Lab5)
+  * November 03: (Friday) Lab6 is due by 1pm
   * November 07: (Tuesday) **Assignment Due**, 11am
+  * November 10: (Friday) Lab7 is due by 1pm
+  * November 14: (Tuesday) Written Closed Book **Test**, during class.
+  * November 16: (Thursday) Phase1 is due by 11am (**strict**)
 {{:quiz-instructions.pdf|Quiz Instructions}}
@@ Line 32: / Line 36: @@
   * 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), during Week0 and Week1.
   * 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.
-  * 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 test.
+  * 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 test. See [[https://wiki.eecs.yorku.ca/course_archive/2017-18/F/4312/protected:videos:start#what_are_use_cases|here]].
 The labs, quizzes, assignment, project and test will be based on your knowledge of the required reading/study material, the Labs, as well as material presented in class.