This shows you the differences between two versions of the page.
courses:sdm2012:main [2012/11/07 22:41] 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/07: slides for Mobile Application Development on Android available. | * 11/07: slides for Mobile Application Development on Android available. | ||
* 10/25: the second set of slides for Design Patterns available. | * 10/25: the second set of slides for Design Patterns available. | ||
Line 62: | Line 67: | ||
* **Design Patterns** (2 weeks: 10/18, 10/25) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{courses:sdm2012:DesignPatterns.pdf|slides}}, {{courses:sdm2012:DesignPatternsSample.zip|sample code}}] \\ Introduction to enterprise systems, enterprise/cloud computing patterns \\ [{{courses:sdm2012:EnterprisePatterns.pdf|slides}}] | * **Design Patterns** (2 weeks: 10/18, 10/25) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{courses:sdm2012:DesignPatterns.pdf|slides}}, {{courses:sdm2012:DesignPatternsSample.zip|sample code}}] \\ Introduction to enterprise systems, enterprise/cloud computing patterns \\ [{{courses:sdm2012:EnterprisePatterns.pdf|slides}}] | ||
* **Mobile Application Development: The Android Platform** (1 week: 11/01) \\ [{{courses:sdm2012:android.pdf|slides}}] | * **Mobile Application Development: The Android Platform** (1 week: 11/01) \\ [{{courses:sdm2012:android.pdf|slides}}] | ||
- | * **Mobile Application Development: The iOS Platform** (1 week: 11/08) \\ [{{courses:sdm2012:android.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}}] |