User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2016/12/27 18:07] jonathanstart [2017/05/08 19:29] (current) jonathan
Line 2: Line 2:
 ====== EECS3311 - Software design - Winter 2017 ====== ====== EECS3311 - Software design - Winter 2017 ======
  
-<hi>UNDER CONSTRUCTION</hi>+
  
 **EECS3311 - Software design - Winter 2017** **EECS3311 - Software design - Winter 2017**
Line 83: Line 83:
 12. Composite and Visitor Design Patterns. UML inheritance (generalization) and client-supplier (associations, aggregation and composition). 12. Composite and Visitor Design Patterns. UML inheritance (generalization) and client-supplier (associations, aggregation and composition).
  
-13. Design by Contract, choosing the right abstractions and Information Hiding. +13. 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.  
 + 
 +14. Design by Contract, choosing the right abstractions and Information Hiding. 
  
start.txt · Last modified: 2017/05/08 19:29 by jonathan