User Tools
courses:sdm2021:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2021:main [2021/04/15 21:12] tsay2 [Syllabus/Schedule (with links to slides/notes)] |
courses:sdm2021:main [2021/11/09 09:39] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 07/02: grade report available; contact the instructor by 5PM 07/04 (Sunday) if you have any question or request. | ||
| + | * 06/23: slides for Frama-C and ACSL available. | ||
| + | * 06/16: slides for Hoare Logic available. | ||
| + | * 06/01: in-group peer review: {{courses:sdm2021:PeerReview.docx|Peer Review Form}}. | ||
| + | * 06/01: term project final presentations: {{courses:sdm2021:Presentations_final.docx|Form for Evaluation by Individual Reviewer}} (no team for team comments). | ||
| + | * 05/26: {{courses:sdm2021:hw5.pdf|HW#5}} due 06/09. | ||
| + | * 05/19: slides for Logic and OCL available. | ||
| + | * 05/05: slides for Software Testing available. | ||
| + | * 05/05: review forms for the second preliminary demo presentations: {{courses:sdm2021:Presentations_demo2.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2021:Presentations_demo2_comments.docx|Team-for-Team Comments}}. | ||
| + | * 04/28: slides for Design Patterns and some code examples available. | ||
| + | * 04/21: {{courses:sdm2021:hw4.pdf|HW#4}} due 04/28. | ||
| * 04/15: slides for Design Document and an example design document available. | * 04/15: slides for Design Document and an example design document available. | ||
| - | * 04/13: Review forms for the first preliminary demo presentations: {{courses:sdm2021:Presentations_demo1.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2021:Presentations_demo1_comments.docx|Team-for-Team Comments}}. | + | * 04/13: review forms for the first preliminary demo presentations: {{courses:sdm2021:Presentations_demo1.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2021:Presentations_demo1_comments.docx|Team-for-Team Comments}}. |
| * 04/07: slides for Agile Development in Practice available. | * 04/07: slides for Agile Development in Practice available. | ||
| * 03/31: slides for Domain Modeling available. | * 03/31: slides for Domain Modeling available. | ||
| - | * 03/24: Review forms for the proposal presentations: {{courses:sdm2021:Presentations_proposal.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2021:Presentations_proposal_comments.docx|Team-for-Team Comments}}. | + | * 03/24: review forms for the proposal presentations: {{courses:sdm2021:Presentations_proposal.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2021:Presentations_proposal_comments.docx|Team-for-Team Comments}}. |
| * 03/24: {{courses:sdm2021:hw3.pdf|HW#3}} due 03/31. | * 03/24: {{courses:sdm2021:hw3.pdf|HW#3}} due 03/31. | ||
| * 03/24: slides for Web Application Security available. | * 03/24: slides for Web Application Security available. | ||
| Line 64: | Line 75: | ||
| * **Term Project: First Preliminary Demos** (1/3 week: 04/14a) \\ | * **Term Project: First Preliminary Demos** (1/3 week: 04/14a) \\ | ||
| * **Software Development Practice: Design Document** (2/3 week: 04/14b) \\ High level design document, implementation level design document, user story (for Agile) \\ [{{courses:sdm2021:DesignDocIntroduction.ppt|slides}}, {{courses:sdm2021:DesignDocSimpleExample.doc|An Example Design Document}}] | * **Software Development Practice: Design Document** (2/3 week: 04/14b) \\ High level design document, implementation level design document, user story (for Agile) \\ [{{courses:sdm2021:DesignDocIntroduction.ppt|slides}}, {{courses:sdm2021:DesignDocSimpleExample.doc|An Example Design Document}}] | ||
| - | * **Software Design: Design Patterns** (2 weeks: 04/21, 04/28) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{https://docs.google.com/presentation/d/1J3RuDik3KMP-PpPbjxZo5MCg7t9i-ZSQ67titjHldqc/edit#slide=id.p|slides}}, {{courses:sdm2021:DesignPatternsExamples.zip|code examples}}] | + | * **Software Design: Design Patterns** (2 weeks: 04/21, 04/28) \\ Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns \\ [{{https://docs.google.com/presentation/d/1J3RuDik3KMP-PpPbjxZo5MCg7t9i-ZSQ67titjHldqc/edit#slide=id.p|slides}}, {{courses:sdm2021:DesignPatternsSampleCPP.zip|code examples}}] |
| * **Term Project: Second Preliminary Demos** (1/3 week: 05/05a) \\ | * **Term Project: Second Preliminary Demos** (1/3 week: 05/05a) \\ | ||
| - | * **Invited Talk** (or Make-Up Lecture) (2/3 week: 05/05b) | + | * **Midterm Discussions** (or Make-Up Lecture) (2/3 week: 05/05b) |
| * **Software Verification: Testing** (1 week: 05/12) \\ [{{courses:sdm2021:software_testing.pptx|slides}}] | * **Software Verification: Testing** (1 week: 05/12) \\ [{{courses:sdm2021:software_testing.pptx|slides}}] | ||
| * **Software Modeling: Formal Logic and Correctness Requirements** (2 weeks: 05/19, 05/26) \\ Propositional and first-order logics (//propositions, proofs, theorems, predicates, models//)\\ [{{courses:sdm2021:logic.pdf|slides}}] \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//)\\ [{{courses:sdm2021:OCL.pptx|slides}}] | * **Software Modeling: Formal Logic and Correctness Requirements** (2 weeks: 05/19, 05/26) \\ Propositional and first-order logics (//propositions, proofs, theorems, predicates, models//)\\ [{{courses:sdm2021:logic.pdf|slides}}] \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//)\\ [{{courses:sdm2021:OCL.pptx|slides}}] | ||
| * **Term Project: Final Presentations (2021/06/02)** | * **Term Project: Final Presentations (2021/06/02)** | ||
| * **Final Exam (2021/06/09)** | * **Final Exam (2021/06/09)** | ||
| - | * **Software Verification: Formal Program Verification** (2 weeks: 06/16, 06/23)\\ Hoare logic of programs (//assertions, pre/post-conditions, invariants, partial and total correctness//) \\ [{{courses:sdm2021:hoare_logic.pdf|slides}}, notes: {{courses:sdm2021:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:sdm2021:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] \\ Verification of programs with Frama-C (Frama-C, ACSL) \\ [{{courses:sdm2021:framac.pdf|slides}}] | + | * **Software Verification: Formal Program Verification** (2 weeks: 06/16, 06/23)\\ Hoare logic of programs (//assertions, pre/post-conditions, invariants, partial and total correctness//) \\ [{{courses:sdm2021:hoare_logic.pdf|slides}}, notes: {{courses:sdm2021:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:sdm2021:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] \\ Verification of programs with Frama-C (Frama-C, ACSL) \\ [{{courses:sdm2021:frama-c.pdf|slides}}] |
| ===== Grading ===== | ===== Grading ===== | ||
courses/sdm2021/main.1618492344.txt.gz ยท Last modified: 2021/04/15 21:12 by tsay2
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
