User Tools

Site Tools


courses:sdm2013:main

Differences

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

Link to this comparison view

courses:sdm2013:main [2013/12/10 22:46]
tsay [Announcements]
courses:sdm2013:main [2014/09/18 20:26] (current)
tsay [Announcements]
Line 3: Line 3:
  
 ===== Announcements ===== ===== Announcements =====
 +  * 01/19: Grade Report available.
 +  * 01/02: scope of the final exam: UML, Web Application Security, Design Patterns, Formal Logic, OCL, Automata-Based Model Checking.
   * 12/10: slides for Automata-Based Model Checking available.   * 12/10: slides for Automata-Based Model Checking available.
   * 12/04: slides for Formal Logic and for OCL available.   * 12/04: slides for Formal Logic and for OCL available.
courses/sdm2013/main.1386686772.txt.gz · Last modified: 2013/12/10 22:46 by tsay