start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| start [2016/06/15 23:29] – skmiec | start [2016/06/15 23:30] (current) – skmiec | ||
|---|---|---|---|
| Line 10: | Line 10: | ||
| The course reinforces programming techniques such as delegation and contracts, encapsulation and API programming, | The course reinforces programming techniques such as delegation and contracts, encapsulation and API programming, | ||
| By the end of the course, the students will be expected to be able to: | By the end of the course, the students will be expected to be able to: | ||
| - | * Instantiate a range of standard abstract data types (ADT) as data structures | + | |
| - | * Implement these data structures and associated operations and check that they satisfy the properties of the ADT | + | |
| - | * Apply best practice software engineering principles in the design of new data structures | + | * Implement these data structures and associated operations and check that they satisfy the properties of the ADT |
| - | * Demonstrate the ability to reason about data structures using contracts, assertions, and invariants | + | * Apply best practice software engineering principles in the design of new data structures |
| - | * Analyse the asymptotic run times of standard operations for a broad range of common data structures | + | * Demonstrate the ability to reason about data structures using contracts, assertions, and invariants |
| - | * Select the most appropriate data structures for novel applications | + | * Analyse the asymptotic run times of standard operations for a broad range of common data structures |
| + | * Select the most appropriate data structures for novel applications | ||
| ===== Lecture Times ===== | ===== Lecture Times ===== | ||
start.1466033374.txt.gz · Last modified: 2016/06/15 23:29 by skmiec