This shows you the differences between two versions of the page.
courses:sdm2012:main [2012/10/18 16:00] tsay |
courses:sdm2012:main [2013/01/10 00:59] (current) tsay |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
- | * 10/18: {{courses:sdm2012:hw2.pdf|HW#2}} due 11/01 (design document) and 11/08 (demo). | + | * 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: {{courses:sdm2012:hw3.pdf|HW#3}} due 10/31. | ||
+ | * 10/22: slides for Design Patterns available. | ||
+ | * 10/18: {{courses:sdm2012:hw2.pdf|HW#2}} due <del>11/01</del> 11/15 (design document) and <del>11/08</del> 11/22 (demo). | ||
* 10/18: slides for Eclipse available. | * 10/18: slides for Eclipse available. | ||
* 10/11: slides for EGit available. | * 10/11: slides for EGit available. | ||
Line 56: | Line 65: | ||
* Collaboration Tools \\ Source Code Version Control: Git \\ Project Management, Todo, Issue Tracking: RTC, Trac\\ Continuous Integration: RTC, CruiseControl \\ [{{courses:sdm2012:SoftwareDevelopmentPractices.pdf|main slides}}, {{courses:sdm2012:EGitBasics.pdf|EGit: Git for Eclipse}},{{courses:sdm2012:EclipseBasics.pdf|Tips for Using Eclipse}}] | * Collaboration Tools \\ Source Code Version Control: Git \\ Project Management, Todo, Issue Tracking: RTC, Trac\\ Continuous Integration: RTC, CruiseControl \\ [{{courses:sdm2012:SoftwareDevelopmentPractices.pdf|main slides}}, {{courses:sdm2012:EGitBasics.pdf|EGit: Git for Eclipse}},{{courses:sdm2012:EclipseBasics.pdf|Tips for Using Eclipse}}] | ||
* **Mobile Application Development: The Web-Server Side** (1 week: 10/11) \\ [{{courses:sdm2012:WebProgramming.pptx|slides}}] | * **Mobile Application Development: The Web-Server Side** (1 week: 10/11) \\ [{{courses:sdm2012:WebProgramming.pptx|slides}}] | ||
- | * **Design Patterns (Part I)** (1.5 weeks: 10/18, 10/25a) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{courses:sdm2012:DesignPatterns.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}}] |
- | * **Design Patterns (Part II)** (.5 week: 10/25b) \\ 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}}] |