User Tools
courses:sdm2010:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2010:main [2010/12/09 08:59] 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 and notes for Hoare Logic available. | ||
| * Nov. 10: slides for Propositional Logic and First-Order Logic available. | * Nov. 10: slides for Propositional Logic and First-Order Logic available. | ||
| Line 56: | Line 61: | ||
| * **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: 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.1291856341.txt.gz ยท Last modified: 2010/12/09 08:59 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
