User Tools
courses:sdm2016:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2016:main [2016/12/28 11:31] tsay [Announcements] |
courses:sdm2016:main [2017/02/02 22:48] (current) tsay [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 02/01: grade report revised (again on 02/02). | ||
| + | * 01/30: {{courses:sdm2016:sdm2016grade.pdf|Grade Report}} (and {{courses:sdm2016:sdm2016grade_termproject.pdf|term project score details}}) available; contact Yih-Kuen Tsay by 5PM 02/02 if you have any question or request. | ||
| + | * 01/10: final will be held in B01 of Management Building 1. | ||
| * 12/28: slides for Automata-Based Model Checking and for Hoare Logic available. | * 12/28: slides for Automata-Based Model Checking and for Hoare Logic available. | ||
| * 12/21: slides for Logic, OCL, and Alloy available. | * 12/21: slides for Logic, OCL, and Alloy available. | ||
courses/sdm2016/main.1482895905.txt.gz ยท Last modified: 2016/12/28 11:31 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
