Differences

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

--- course_outline [2018/08/21 02:42] – jonathan
+++ course_outline [2018/11/08 04:35] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Course Schedule ======
+====== EECS4312E-F18 ======
 The tentative schedule for required readings (that you must do on your own), Scheduled Labs and Labtests are provided below.
-===== Tentative Labtest Dates & Required Readings =====
+Tentative Labtest Dates & Required Readings =====
 **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.
@@ Line 12: / Line 16: @@
 {{:schedule.png?780|}}
 Each week you are required to study readings, on your own time, from:
-  * 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 //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).
   * 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 Project and Exam. See [[https://wiki.eecs.yorku.ca/course_archive/2017-18/F/4312/protected:videos:start#what_are_use_cases|here]].
-The labs, labtest, 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.
+Labtests will be based on the Labs, readings and class lectures. TLA+ Videos included.
 ===== Topics Covered =====
@@ Line 41: / Line 44: @@
 **Notes**: There are some slides available on the course web site but much of the work is done on the blackboard. Instruction in the use of PVS for specification and validation is done mainly via the Labs and the associated Labtests.