User Tools
courses:sdm2010:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2010:main [2010/09/29 14:33] tsay |
courses:sdm2010:main [2022/12/09 11:15] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * Jan. 27: Grade Report available. | ||
| + | * Dec. 23: slides for Alloy available. | ||
| + | * Dec. 13: {{courses:sdm2010:hw1s.pdf|Solutions to HW#1}} available. | ||
| + | * Dec. 09: {{courses:sdm2010:hw2.pdf|HW#2}} due on Dec. 16. | ||
| + | * Dec. 09: slides and notes for OCL available. | ||
| + | * Nov. 10: slides and notes for Hoare Logic available. | ||
| + | * Nov. 10: slides for Propositional Logic and First-Order Logic available. | ||
| + | * Nov. 10: slides for Behavioral Design Patterns available. | ||
| + | * Oct. 21: slides for Structural Design Patterns and Version Control available. | ||
| + | * Oct. 20: slides for Design Patterns Introduction and Creational Design Patterns available. | ||
| + | * Oct. 06: slides for Software Modeling: Advanced UML (UML Part II) and Web Application Security available. | ||
| + | * Sep. 30: slides for Introduction to RTC and Web Application Development and a design document sample available. | ||
| + | * Sep. 30: due dates of 1st Preliminary Design Document and 1st Prototype Demo extended to Oct. 20 and Nov. 04 respectively. | ||
| * Sep. 29: details of {{courses:sdm2010:termproject.pdf|Term Project}} available. | * Sep. 29: details of {{courses:sdm2010:termproject.pdf|Term Project}} available. | ||
| * Sep. 23: slides for Software Modeling: Basic UML (UML Part I) available. | * Sep. 23: slides for Software Modeling: Basic UML (UML Part I) available. | ||
| Line 38: | Line 51: | ||
| * **Formal Logic: A Pragmatic Introduction** (.5 week: 09/16b) \\ propositions, proofs, predicates, models, theorems \\ [{{courses:sdm2010:logic.pdf|slides}}; notes:{{courses:sdm2010:natural_deduction.pdf|Natural Deduction}}] | * **Formal Logic: A Pragmatic Introduction** (.5 week: 09/16b) \\ propositions, proofs, predicates, models, theorems \\ [{{courses:sdm2010:logic.pdf|slides}}; notes:{{courses:sdm2010:natural_deduction.pdf|Natural Deduction}}] | ||
| * **Software Modeling: Basic UML** (1 week: 09/23) \\ introduction, basics of modeling, overview of the UML, structural modeling (//class diagrams, classifiers, interfaces, packages//), behavioral modeling (//interactions, use case diagrams, interaction diagrams, activity diagrams//), architectural modeling (//collaborations, deployment diagrams//) \\ [{{courses:sdm2010:UML_PartOne.pdf|slides}}] | * **Software Modeling: Basic UML** (1 week: 09/23) \\ introduction, basics of modeling, overview of the UML, structural modeling (//class diagrams, classifiers, interfaces, packages//), behavioral modeling (//interactions, use case diagrams, interaction diagrams, activity diagrams//), architectural modeling (//collaborations, deployment diagrams//) \\ [{{courses:sdm2010:UML_PartOne.pdf|slides}}] | ||
| - | * **Design Patterns/Tools, Design Documents, Patterns for Web Programming** (1 week: 09/30) \\ Guest Lecturers: Jeffrey CH Liu, Clement CW Su, and Jim CL Yu, IBM \\ [slides: {{courses:sdm2010:version_control.pdf|Version Control}}; notes: {{courses:sdm2010:design_document_example.doc|Design Document Example}}] | + | * **Design Patterns/Tools, Design Documents, Patterns for Web Programming** (1 week: 09/30) \\ Guest Lecturers: Jeffrey CH Liu, Clement CW Su, and Jim CL Yu, IBM \\ [slides: {{courses:sdm2010:rtc_introduction.pdf|Introduction to RTC}}; {{courses:sdm2010:web_patterns.pdf|Web Application Development and Patterns}}; notes: {{courses:sdm2010:design_document_example.doc|Design Document Example}}] |
| * **Software Modeling: Advanced UML** (.5 week: 10/07a) \\ advanced structural modeling (//object diagrams, components//), advanced behavioral modeling (//events, state machines, processes and threads, timing constraints//) \\ [{{courses:sdm2010:UML_PartTwo.pdf|slides}}] | * **Software Modeling: Advanced UML** (.5 week: 10/07a) \\ advanced structural modeling (//object diagrams, components//), advanced behavioral modeling (//events, state machines, processes and threads, timing constraints//) \\ [{{courses:sdm2010:UML_PartTwo.pdf|slides}}] | ||
| * **Software Security** (.5 week: 10/07b)\\ dynamic Web pages, client-side scripts, frameworks, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2010:web_app_security.pdf|slides}}] | * **Software Security** (.5 week: 10/07b)\\ dynamic Web pages, client-side scripts, frameworks, security vulnerabilities, vulnerabilities detection and prevention \\ [{{courses:sdm2010:web_app_security.pdf|slides}}] | ||
| - | * **Design Patterns: Creational Patterns** (1 week: 10/14) \\ Guest Lecturer: Clement CW Su, IBM \\ abstract factory, builder, factory method, prototype, singleton \\ [{{courses:sdm2010:design_patterns_creational.pdf|slides}}] | + | * **Design Patterns: Creational Patterns** (1 week: 10/14) \\ Guest Lecturer: Clement CW Su, IBM \\ abstract factory, builder, factory method, prototype, singleton \\ [slides: {{courses:sdm2010:design_patterns_opening.pdf|Introduction to Design Patterns}}; {{courses:sdm2010:design_patterns_creational.pdf|Creational Patterns}}] |
| - | * **Design Patterns: Structural Patterns** (1 week: 10/21) \\ Guest Lecturer: Jeffrey CH Liu, IBM \\ adapter, bridge, composite, flyweight, proxy, decorator, facade \\ [{{courses:sdm2010:design_patterns_structural.pdf|slides}}] | + | * **Design Patterns: Structural Patterns** (1 week: 10/21) \\ Guest Lecturer: Jeffrey CH Liu, IBM \\ adapter, bridge, composite, flyweight, proxy, decorator, facade \\ [slides: {{courses:sdm2010:design_patterns_structural.pdf|Structural Patterns}}; {{courses:sdm2010:version_control.pdf|Version Control}}] |
| - | * **Formal Logic: Propositional and First-Order Logics** (1.5 weeks: 10/28, 11/11a) \\ satisfiability, tautologies, validity, deduction/proofs, soundness, completeness \\ [slides:{{courses:sdm2010:logic_propositional.pdf|Propositional Logic}}, {{courses:sdm2010:logic_first_order.pdf|First-Order Logic}}; notes:{{courses:sdm2010:sequent_proofs.pdf|Example Proofs}}] | + | * **Formal Logic: Propositional and First-Order Logics** (1.5 weeks: 10/28, 11/11a) \\ satisfiability, tautologies, validity, deduction/proofs, soundness, completeness \\ [slides:{{courses:sdm2010:logic_propositional.pdf|Propositional Logic}}, {{courses:sdm2010:logic_first_order.pdf|First-Order Logic}}] |
| * **Design Patterns: Behavioral Patterns** (1 week: 11/04) \\ Guest Lecturer: Jim CL Yu, IBM \\ chain of responsibility, iterator, observer, mediator, command, memento, state, strategy, template method, interpreter, visitor \\ [{{courses:sdm2010:design_patterns_behavioral.pdf|slides}}] | * **Design Patterns: Behavioral Patterns** (1 week: 11/04) \\ Guest Lecturer: Jim CL Yu, IBM \\ chain of responsibility, iterator, observer, mediator, command, memento, state, strategy, template method, interpreter, visitor \\ [{{courses:sdm2010:design_patterns_behavioral.pdf|slides}}] | ||
| * **Software Verification: Hoare Logic** (1.5 weeks: 11/11b, 11/18) \\ axiomatic semantics of programs (//assertions, pre/post-conditions, invariants//), partial and total correctness \\ [slides: {{courses:sdm2010:hoare_logic.pdf|Hoare Logic}}; notes: {{courses:sdm2010:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:sdm2010:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] | * **Software Verification: Hoare Logic** (1.5 weeks: 11/11b, 11/18) \\ axiomatic semantics of programs (//assertions, pre/post-conditions, invariants//), partial and total correctness \\ [slides: {{courses:sdm2010:hoare_logic.pdf|Hoare Logic}}; notes: {{courses:sdm2010:hoare_logic_rules.pdf|Rules of Hoare Logic}}, {{courses:sdm2010:hoare_logic_proofs.pdf|Proofs with Hoare Logic}}] | ||
| - | * **Software Modeling: OCL** (1 week: 11/25) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2010:UML_PartTwo_OCL.pdf|slides}}; notes: {{courses:sdm2010:UML_OCL_examples.pdf|OCL Examples}}] | + | * **Software Modeling: OCL** (1 week: 11/25) \\ Object Constraint Language (//relation with UML models, values, types, expressions, objects, properties, collection operations//) \\ [{{courses:sdm2010:OCL.pdf|slides}}; notes: {{courses:sdm2010:OCL_examples.pdf|OCL Examples}}] |
| * **Software Modeling: Alloy** (1 week: 12/02)\\ software modeling, simulation, and checking \\ [{{courses:sdm2010:Alloy.pdf|slides}}] | * **Software Modeling: Alloy** (1 week: 12/02)\\ software modeling, simulation, and checking \\ [{{courses:sdm2010:Alloy.pdf|slides}}] | ||
| - | * **Software Modeling: Event-B** (1 week: 12/09) \\ Guest Lecturer: Prof. Jean-Raymond Abrial \\ [{{courses:sdm2010:event-b.pdf|slides}}] | + | * **Software Modeling: Event-B** (1 week: 12/09) \\ Guest Lecturer: Prof. Jean-Raymond Abrial \\ (cancelled) |
| * **Midterm (2010/12/16)** | * **Midterm (2010/12/16)** | ||
| * **Software Verification: Hoare-Style Verifiers** (2 weeks: 12/23, 12/30) \\ Frama-C, Spec# | * **Software Verification: Hoare-Style Verifiers** (2 weeks: 12/23, 12/30) \\ Frama-C, Spec# | ||
courses/sdm2010/main.1285742022.txt.gz · Last modified: 2010/09/29 14:33 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
