This shows you the differences between two versions of the page.
courses:sdm2013:main [2013/11/13 21:27] tsay [Announcements] |
courses:sdm2013:main [2014/09/18 20:26] (current) tsay [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 01/19: Grade Report available. | ||
+ | * 01/02: scope of the final exam: UML, Web Application Security, Design Patterns, Formal Logic, OCL, Automata-Based Model Checking. | ||
+ | * 12/10: slides for Automata-Based Model Checking available. | ||
+ | * 12/04: slides for Formal Logic and for OCL available. | ||
+ | * 11/27: sample code for Mobile Application Development available; slides updated. | ||
+ | * 11/26: slides for Mobile Application Development available. | ||
+ | * 11/21: slides for Design Documents and An Example available. | ||
* 11/13: slides for Enterprise Patterns available. | * 11/13: slides for Enterprise Patterns available. | ||
* 11/12: slides for Design Patterns and sample code available. | * 11/12: slides for Design Patterns and sample code available. | ||
Line 65: | Line 72: | ||
* **Design Patterns** (2 weeks: 11/06, 11/13) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{courses:sdm2013:DesignPatterns.pdf|slides}}, {{courses:sdm2013:DesignPatternsSampleCPP.zip|sample code in C++}}, {{courses:sdm2013:DesignPatternsSampleJava.zip|sample code in Java}}] \\ Introduction to enterprise systems, enterprise/cloud computing patterns \\ [{{courses:sdm2013:EnterprisePatterns.pdf|slides}}] | * **Design Patterns** (2 weeks: 11/06, 11/13) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{courses:sdm2013:DesignPatterns.pdf|slides}}, {{courses:sdm2013:DesignPatternsSampleCPP.zip|sample code in C++}}, {{courses:sdm2013:DesignPatternsSampleJava.zip|sample code in Java}}] \\ Introduction to enterprise systems, enterprise/cloud computing patterns \\ [{{courses:sdm2013:EnterprisePatterns.pdf|slides}}] | ||
* **Term Project Discussions** (.5 week: 11/20a) \\ | * **Term Project Discussions** (.5 week: 11/20a) \\ | ||
- | * **Software Development Practice: Design Document** (.5 week: 11/20b) \\ High level design document, implementation level design document, user story (for Agile) \\ [{{courses:sdm2013:DesignDocIntroduction.pdf|slides}}; notes: {{courses:sdm2013:DesignDocExample.doc|An Example Design Document}}] | + | * **Software Development Practice: Design Document** (.5 week: 11/20b) \\ High level design document, implementation level design document, user story (for Agile) \\ [{{courses:sdm2013:DesignDocIntroduction.pdf|slides}}, notes: {{courses:sdm2013:DesignDocExample.doc|An Example Design Document}}] |
- | * **Mobile Application Development: The Android Platform** (1 week: 11/27) [{{courses:sdm2013:android.pdf|slides}}] | + | * **Mobile Application Development: The Android Platform** (1 week: 11/27) [{{courses:sdm2013:android.pdf|slides}}, {{courses:sdm2013:example3.zip|sample code}}] |
* **Software Modeling: Formal Logic and Correctness Requirements** (.5 week: 12/04a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2013:logic.pdf|slides}}] | * **Software Modeling: Formal Logic and Correctness Requirements** (.5 week: 12/04a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2013:logic.pdf|slides}}] | ||
* **Software Modeling: OCL or Alloy** (.5 week: 12/04b) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2013:OCL.pdf|slides}}; notes: {{courses:sdm2013:OCL_examples.pdf|OCL Examples}}]\\ Software modeling, simulation, and checking \\ [{{courses:sdm2013:Alloy.pdf|slides}}] | * **Software Modeling: OCL or Alloy** (.5 week: 12/04b) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2013:OCL.pdf|slides}}; notes: {{courses:sdm2013:OCL_examples.pdf|OCL Examples}}]\\ Software modeling, simulation, and checking \\ [{{courses:sdm2013:Alloy.pdf|slides}}] | ||
Line 113: | Line 120: | ||
[{{courses:sdm:mid2011.pdf|Midterm 2011}}] \\ | [{{courses:sdm:mid2011.pdf|Midterm 2011}}] \\ | ||
[{{courses:sdm:mid2012.pdf|Midterm 2012}}] | [{{courses:sdm:mid2012.pdf|Midterm 2012}}] | ||
+ |