course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
course_outline [2017/10/09 02:11] – jonathan | course_outline [2017/11/20 23:25] (current) – jonathan | ||
---|---|---|---|
Line 17: | Line 17: | ||
* October 23: (Monday) Lab4 is due by 1.00 pm | * October 23: (Monday) Lab4 is due by 1.00 pm | ||
* October 25: Assignment is handed out prior to reading week | * 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 | ||
{{: | {{: | ||
Line 29: | Line 37: | ||
* the //WIFT-95 Tutorial Introduction to PVS// ([[https:// | * the //WIFT-95 Tutorial Introduction to PVS// ([[https:// | ||
* the required text: [[https:// | * the required text: [[https:// | ||
+ | * 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:// | ||
The labs, quizzes, assignment, project and test will be based on your knowledge of the required reading/ | The labs, quizzes, assignment, project and test will be based on your knowledge of the required reading/ |
course_outline.1507515074.txt.gz · Last modified: 2017/10/09 02:11 by jonathan