User Tools
courses:sdm2012:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2012:main [2012/12/12 23:24] tsay |
courses:sdm2012:main [2013/01/10 00:59] (current) tsay |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 01/10: slides and notes for Hoare Logic available. | ||
| + | * 12/26: slides for Model Checking available. | ||
| + | * 12/15: {{courses:sdm2012:chatroom.zip|source code}} of the Android chatroom example created by Mark Chang; many thanks to Mark. | ||
| * 12/12: slides for Formal Logic and OCL and a note on OCL specifications available. | * 12/12: slides for Formal Logic and OCL and a note on OCL specifications available. | ||
| * 11/22: slides for Web Application Security available. | * 11/22: slides for Web Application Security available. | ||
courses/sdm2012/main.1355325896.txt.gz ยท Last modified: 2012/12/12 23:24 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
