This shows you the differences between two versions of the page.
courses:sdm2016:main [2016/12/07 11:50] 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/21: slides for Logic, OCL, and Alloy available. | ||
+ | * 12/07: One-slide summary of term project: {{courses:sdm2016:allgroups.zip|all groups}}. | ||
* 12/07: slides for Web Application Security available. | * 12/07: slides for Web Application Security available. | ||
* 11/29: slides for Software Testing available. | * 11/29: slides for Software Testing available. |