User Tools

Site Tools


courses:sdm2016:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

courses:sdm2016:main [2016/11/30 16:07]
tsay [Instructor]
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.
   * 11/29: slides for Software Testing available.   * 11/29: slides for Software Testing available.
   * 11/23: slides for Design Document and an example design document available.   * 11/23: slides for Design Document and an example design document available.
courses/sdm2016/main.1480493269.txt.gz ยท Last modified: 2016/11/30 16:07 by tsay