User Tools
courses:sdm2015:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2015:main [2015/12/16 14:42] tsay [Syllabus/Schedule (with links to slides/notes)] |
courses:sdm2015:main [2016/05/04 11:21] (current) tsay [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== 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 Web Application Security available. | ||
| * 12/02: slides for Design Document and an example design document available. | * 12/02: slides for Design Document and an example design document available. | ||
| Line 84: | Line 89: | ||
| * **Invited Talk** (.5 week: 12/16b) \\ [{{courses:sdm2015:invitedtalk_softwaredevelopment.pdf|slides}}] | * **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: 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}}] | * **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)** | * **Term Project Presentations (2016/01/06)** | ||
courses/sdm2015/main.1450248124.txt.gz · Last modified: 2015/12/16 14:42 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
