start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| start [2017/02/02 11:29] – jonathan | start [2017/05/08 19:29] (current) – jonathan | ||
|---|---|---|---|
| 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.1486034971.txt.gz · Last modified: 2017/02/02 11:29 by jonathan