course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2018/08/21 02:46] – jonathan | course_outline [2018/11/08 04:35] (current) – jonathan | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Course Schedule ====== | ====== Course Schedule ====== | ||
| + | |||
| + | |||
| + | |||
| + | ====== EECS4312E-F18 ====== | ||
| The tentative schedule for required readings (that you must do on your own), Scheduled Labs and Labtests are provided below. | 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. | **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: | ||
| {{: | {{: | ||
| - | |||
| Each week you are required to study readings, on your own time, from: | Each week you are required to study readings, on your own time, from: | ||
| 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. | **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. | ||
| - | |||
course_outline.1534819569.txt.gz · Last modified: 2018/08/21 02:46 by jonathan