User Tools
courses:sdm2017:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2017:main [2017/12/27 12:56] tsay [Announcements] |
courses:sdm2017:main [2020/03/03 12:39] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * next edition: [[http://im.ntu.edu.tw/~tsay/dokuwiki/doku.php?id=courses:sdm2020:main&#announcements|Software Development Methods 2020]] | ||
| + | * 01/26: Grade Report available; contact Yih-Kuen Tsay by 5PM 01/27 if you have any question or request. | ||
| * 12/27: slides for Logic, OCL, Automata-Based Model Checking, and Hoare Logic available. | * 12/27: slides for Logic, OCL, Automata-Based Model Checking, and Hoare Logic available. | ||
| * 12/19: slides for Software Testing available. | * 12/19: slides for Software Testing available. | ||
| Line 75: | Line 77: | ||
| * **Software Verification: Testing** (1 week: 12/20) \\ [{{courses:sdm2017:software_testing.pptx|slides}}] | * **Software Verification: Testing** (1 week: 12/20) \\ [{{courses:sdm2017:software_testing.pptx|slides}}] | ||
| * **Software Modeling: Formal Logic and Correctness Requirements** (1/2 week: 12/27a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2017:logic.pdf|slides}}] \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//)\\ [{{courses:sdm2017:OCL.pptx|slides}}] | * **Software Modeling: Formal Logic and Correctness Requirements** (1/2 week: 12/27a) \\ Propositions, proofs, theorems, predicates, models\\ [{{courses:sdm2017:logic.pdf|slides}}] \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//)\\ [{{courses:sdm2017:OCL.pptx|slides}}] | ||
| - | * **Software Verification: Formal Verification** (1/2 week: 12/27b) \\ Automata-based model checking, linear temporal logic, Spin (//Promela, never-claims//) \\ [{{courses:sdm2017:automata_based_model_checking.pdf|slides}}] | + | * **Software Verification: Formal Verification** (1/2 week: 12/27b) \\ Automata-based model checking, linear temporal logic, Spin (//Promela, never-claims//) \\ [{{courses:sdm2017:automata_based_model_checking.pdf|slides}}]\\ Axiomatic semantics of programs (//assertions, pre/post-conditions, invariants//), partial and total correctness \\ [{{courses:sdm2017:hoare_logic.pdf|slides}}] |
| * **Term Project: Final Presentations (2018/01/03)** | * **Term Project: Final Presentations (2018/01/03)** | ||
| * **Final Exam (2018/01/10)** | * **Final Exam (2018/01/10)** | ||
courses/sdm2017/main.1514350593.txt.gz ยท Last modified: 2017/12/27 12:56 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
