start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2016/12/27 18:07] – jonathan | start [2017/05/08 19:29] (current) – jonathan | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ====== EECS3311 - Software design - Winter 2017 ====== | ====== EECS3311 - Software design - Winter 2017 ====== | ||
| - | < | + | |
| **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, | 12. Composite and Visitor Design Patterns. UML inheritance (generalization) and client-supplier (associations, | ||
| - | 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