This shows you the differences between two versions of the page.
courses:sdm2012:main [2012/11/22 08:58] 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. | ||
* 11/22: slides for Web Application Security available. | * 11/22: slides for Web Application Security available. | ||
* 11/07: slides for Mobile Application Development on Android available. | * 11/07: slides for Mobile Application Development on Android available. | ||
Line 65: | Line 69: | ||
* **Mobile Application Development: The iOS Platform** (1 week: 11/08) \\ [{{courses:sdm2012:ios.pdf|slides}}] | * **Mobile Application Development: The iOS Platform** (1 week: 11/08) \\ [{{courses:sdm2012:ios.pdf|slides}}] | ||
* **Software Security: Web Application Security** (1 week: 11/22) \\ Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2012:web_app_security.pdf|slides}}] | * **Software Security: Web Application Security** (1 week: 11/22) \\ Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2012:web_app_security.pdf|slides}}] | ||
- | * **Term Project Discussions** (.5 week: 11/29a) \\ | + | * **Term Project Discussions** (1 week: TBD) \\ |
- | * **Invited Industry Talk 2** (.5 week: 11/29b) \\ | + | |
* **Software Modeling: Formal Logic and Correctness Requirements** (.5 week: 12/06a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2012:logic.pdf|slides}}] | * **Software Modeling: Formal Logic and Correctness Requirements** (.5 week: 12/06a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2012:logic.pdf|slides}}] | ||
* **Software Modeling: OCL** (.5 week: 12/06b) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2012:OCL.pdf|slides}}; notes: {{courses:sdm2012:OCL_examples.pdf|OCL Examples}}] | * **Software Modeling: OCL** (.5 week: 12/06b) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2012:OCL.pdf|slides}}; notes: {{courses:sdm2012:OCL_examples.pdf|OCL Examples}}] |