Differences

This shows you the differences between two versions of the page.

--- lectures [2015/06/17 15:43] – jackie
+++ lectures [2015/08/13 03:39] (current) – jackie
@@ Line 54: / Line 54: @@
   * Inheritance and Polymorphism [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_06-InheritancePolymorphism.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_06-InheritancePolymorphism_4up.pdf|4-up version]]
+==== Week 8 (July 8) ====
+=== Slides and Notes ===
+  * Eiffel Testing Framework (ETF) [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_07-EiffelTestingFramework.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_07-EiffelTestingFramework_4up.pdf|4-up version]]
+==== Week 9 (July 15) ====
+=== Slides and Notes ===
+  * Composite Pattern [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15-08_Composite_Pattern.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15-08_Composite_Pattern_4up.pdf|4-up version]]
+    * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/code/composite-src.zip|code that you should play with]]
+  * Visitor Pattern [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15-09_Visitor_Pattern.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15-09_Visitor_Pattern_4up.pdf|4-up version]]
+==== Week 12 (August 5) ====
+=== Slides and Notes ===
+  * DbC and Loops (up to slide 21) [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops_4up.pdf|4-up version]]
+  * The [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/readings/OOSC2_DbC.pdf|DbC Chapter in OOSC2]]
+    * You can also find details about the Hoare triple here.
+==== Week 13 (August 12) ====
+=== Slides and Notes ===
+  * DbC and Loops (from Slide 22 to the end) [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops.pdf|pdf]] [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/slides/EECS3311-S15_10_Dbc_Loops_4up.pdf|4-up version]]
+    * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/notes/EECS3311-S15_Exercise_WP.pdf|Exercise on Proving Loop Correctness]] which you're expected to complete.
+    * [[https://svn.eecs.yorku.ca/repos/3311/2015S/Public/code/loop_correctness.zip|Example code of loop invariant and variant]] that you should play with