Differences

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

--- start [2016/12/26 22:56] – jonathan
+++ start [2017/05/08 19:29] (current) – jonathan
@@ Line 2: / Line 2: @@
 ====== EECS3311 - Software design - Winter 2017 ======
-<hi>UNDER CONSTRUCTION</hi>
 **EECS3311 - Software design - Winter 2017**
@@ Line 11: / Line 11: @@
   * **Lectures**: EECS3311 | Mon./Wed. 4-5.30pm | SLH-C
-  * **Scheduled Labs**: Monday 5.30pm to 7pm in LAS1006. Start Lab1 on the first day of classes.
+  * **Scheduled Labs**: Monday 5.30pm to 7pm in LAS1006. Start with [[:grades#due_dates_and_readings|Lab0]] and Lab1 on the first day of classes.
   * Quizzes every week during labs.
   * **Textbooks**: the following texts are highly recommended and are available on reserve in the Library:
@@ Line 83: / Line 83: @@
 . Composite and Visitor Design Patterns. UML inheritance (generalization) and client-supplier (associations, aggregation and composition).
-. Design by Contract, choosing the right abstractions and Information Hiding.
+. Using executable mathemtical models (sets, functions, and relations) to develop a model of a complex system, and an abstraction function for checking that an implementation satisfies the high-level model.
+. Design by Contract, choosing the right abstractions and Information Hiding.