Differences

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

--- course_outline [2018/08/21 02:25] – jonathan
+++ course_outline [2018/11/08 04:35] (current) – jonathan
@@ Line 1: / Line 1: @@
-====== Course Outline ======
+====== Course Schedule ======
-The tentative schedule for required readings (that you must do on your own), Scheduled Labs and Quizzes are provided below.
-===== Due Dates =====
-**You must be present in every laboratory during the scheduled Lab hour.** In most weeks, there will be a weekly Quiz during the scheduled Lab hour that is graded.
-  * September 07: Do Lab0.
+====== EECS4312E-F18 ======
-  * September 14 (Thursday): Quiz1. Propositional Logic and PVS.
-  * September 26 (Tuesday): Lab1 due.
-  * September 28 (Thursday): Quiz2.  Involves all work up to an including Lab1 and up to including all work of week 2.
-  * October 02: (Monday) Lab2 is due by 1.00 pm.
-  * October 05: (Thursday) Quiz3. Involves Lab2 and all readings and work done in class up to and including Oct 03.
-  * October 16: (Monday) Lab3 is due by 1.00 pm
-  * October 19: (Thursday) Quiz4
-  * October 23: (Monday) Lab4 is due by 1.00 pm
-  * October 25: Assignment is handed out prior to reading week
-  * 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**)
-  * December 05: (Tuesday) Phase2 is due by 2pm
-{{:quiz-instructions.pdf|Quiz Instructions}}
+The tentative schedule for required readings (that you must do on your own), Scheduled Labs and Labtests are provided below.
-===== Tentative Schedule (Quiz dates may be changed on the fly)=====
+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.
-You must do the self-paced readings as specified below.
+Every week there will be Lab work to be done (available on the SVN). See [[:protected:labs:start|here]]
+{{:quiz-instructions.pdf|Labtest Instructions}}
 {{: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 test. See [[https://wiki.eecs.yorku.ca/course_archive/2017-18/F/4312/protected:videos:start#what_are_use_cases|here]].
+  * 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, 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.
-At the beginning of each week (midnight Sunday), the Lab for that week will become available. A graded Quiz will take place every Thursday during the scheduled Lab. The Quiz will be on the Lab of the previous week (e.g. Quiz1 will be on Lab0 and associated reading and presentations in class) and on the readings and course work of the previous week.
-At the beginning of each week you must start doing the Lab work for that week, and submit it by the Friday morning of that week. During the scheduled Lab you may ask questions on the Lab. While each Quiz is graded, the Labs are not given a grade.
-<hi cyan> However you must submit the completed Lab on time to obtain a grade for the Quiz of that week.</hi> If you miss a Quiz, you will not receive a grade for that Quiz.
+Labtests will be based on the Labs, readings and class lectures. TLA+ Videos included.
 ===== Topics Covered =====
@@ Line 68: / Line 43: @@
   *Deriving acceptance tests from the use cases and function tables.
-**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 Quizzes.
+**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.
-===== By weeks =====
-  * Week1: Propositional Logic, Predicate Logic, Induction review and its use in PVS for requirements analysis. Formalizing in logic and set theory informal descriptions of systems.