course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
course_outline [2017/09/28 01:11] – jonathan | course_outline [2017/11/06 01:04] – jonathan | ||
---|---|---|---|
Line 12: | Line 12: | ||
* September 28 (Thursday): Quiz2. | * September 28 (Thursday): Quiz2. | ||
* October 02: (Monday) Lab2 is due by 1.00 pm. | * October 02: (Monday) Lab2 is due by 1.00 pm. | ||
- | * October 05: (Thursday) Quiz3. Involves Lab2 and all the work done up to Oct 03. | + | * October 05: (Thursday) Quiz3. Involves Lab2 and all readings and work done in class up to and including |
* October 16: (Monday) Lab3 is due by 1.00 pm | * 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**) | ||
{{: | {{: | ||
Line 26: | Line 36: | ||
* 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