User Tools
courses:sdm2012:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2012:main [2012/10/25 22:53] 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. | ||
| * 10/25: the second set of slides for Design Patterns available. | * 10/25: the second set of slides for Design Patterns available. | ||
| * 10/25: {{courses:sdm2012:hw3.pdf|HW#3}} due 10/31. | * 10/25: {{courses:sdm2012:hw3.pdf|HW#3}} due 10/31. | ||
| Line 61: | 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}}] | ||
courses/sdm2012/main.1351176805.txt.gz · Last modified: 2012/10/25 22:53 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
