Differences

This shows you the differences between two versions of the page.

--- courses:sdm2015:main [2015/11/20 15:17] – [Announcements] tsay
+++ courses:sdm2015:main [2016/05/04 03:21] (current) – [Announcements] tsay
@@ Line 3: / Line 3: @@
 ===== Announcements =====
+  * 02/14: Grade Report available; contact Yih-Kuen Tsay by 5PM 02/15 if you have any question or request.
+  * 12/30: slides for Automata-Based Model Checking available.
+  * 12/23: slides for Logic and OCL available.
+  * 12/16: slides for the invited talk today available.
+  * 12/16: slides for Software Testing available.
+  * 12/02: slides for Web Application Security available.
+  * 12/02: slides for Design Document and an example design document available.
   * 11/20: slides for Design Patterns and some code examples available.
   * 11/11: {{courses:sdm2015:termproject_dbcore.pdf|Draft of the Common Core of the Alumni Database}} revised (again 11/18).
@@ Line 77: / Line 84: @@
   * **Software Development Practice: Design Document** (.5 week: 11/25a) \\ High level design document, implementation level design document, user story (for Agile) \\ [{{courses:sdm2015:DesignDocIntroduction.pdf|slides}}, notes: {{courses:sdm2015:DesignDocExample.doc|An Example Design Document}}]
   * **Term Project Discussions** (.5 week: 11/25b) \\
-  * **Software Security: Web Application Security** (1 week: 12/02) \\ Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2015:web_app_security.pdf|slides}}]
+  * **Software Security: Web Application Security** (1 week: 12/02) \\ Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2015:web_app_security.pptx|slides}}]
-  * **Software Verification: Testing** (1 week: 12/09) \\
+  * **Software Verification: Testing** (1 week: 12/09) \\ [{{courses:sdm2015:software_testing.pptx|slides}}]
   * **Term Project Discussions** (.5 week: 12/16a) \\
-  * **Invited Talk** (.5 week: 12/16b) \\
+  * **Invited Talk** (.5 week: 12/16b) \\ [{{courses:sdm2015:invitedtalk_softwaredevelopment.pdf|slides}}]
   * **Software Modeling: Formal Logic and Correctness Requirements** (.5 week: 12/23a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2015:logic.pdf|slides}}]
-  * **Software Modeling: OCL or Alloy** (.5 week: 12/23b) \\ Object Constraint Language (//relation with UML models, values, types, expressions,  objects, properties, collection operations//) \\ [{{courses:sdm2015:OCL.pdf|slides}}; notes: {{courses:sdm2015:OCL_examples.pdf|OCL Examples}}]\\ Software modeling, simulation, and checking \\ [{{courses:sdm2013:Alloy.pdf|slides}}]
+  * **Software Modeling: OCL or Alloy** (.5 week: 12/23b) \\ Object Constraint Language (//relation with UML models, values, types, expressions,  objects, properties, collection operations//) \\ [{{courses:sdm2015:OCL.pptx|slides}}]\\ Software modeling, simulation, and checking \\ [{{courses:sdm2013:Alloy.pdf|slides}}]
   * **Software Verification: Formal Verification** (1 week: 12/30) \\ Automata-based model checking, linear temporal logic, Spin (//Promela, never-claims//) \\ [slides: {{courses:sdm2015:automata_based_model_checking.pdf|Automata-Based Model Checking}}, {{courses:sdm2015:temporal_logic_and_automata.pdf|Temporal Logic and Automata}}] \\ Axiomatic semantics of programs (//assertions, pre/post-conditions, invariants//), partial and total correctness \\ [{{courses:sdm2015:hoare_logic.pdf|slides}}; notes: {{courses:sdm2015:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:sdm2014:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}]
   * **Term Project Presentations (2016/01/06)**