course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
course_outline [2017/10/09 02:11] – jonathan | course_outline [2017/10/29 20:32] – 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 07: (Tuesday) **Assignment Due**, 11am | ||
{{: | {{: | ||
Line 29: | Line 32: | ||
* 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.txt · Last modified: 2017/11/20 23:25 by jonathan