The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed. It will be updated with materials, readings and additional information as we proceed with our classes.

Context for design; What is design; Eiffel programming; classes; and objects. Software Quality & Engineering – Abstract data types;

• Readings required: Chapters 7, 8, Chapter 11 Section 10
• Readings background: Chapters 1, 2, 6 – Also see links under Eiffel on the resources page on estudio guided tour

Slides:

• Administrativa
• Design Context
• Notes-on-Eiffel
• Classes
• Objects

Case studies:

• Bank 1
• Twin Study

Bottom up design; Documentation; BON static model; Design patterns: Adapter pattern

• Readings required: Chapter 27 Section 7
• Readings background: Chapters 6, 26, 27

Slides:

• BottomUp Design
• ADT Documentation
• BON - Method
• BON - Introduction

Structural Pattern:

• Adapter

Design patterns:BON dynamic model; Assertions;

• Readings required: Chapter 11 Sections 1 to 9

Slides:

• BON - Dynamic Model
• Assertions

Agents & tuples;Basis of Design by Contract; Genericity; Criteria for Modularity (Design rules to Ensure Modularity, and Software Construction Principles);

• Readings required: Chapter 11 , Chapter 3, 10 (Modularity and Genericity)

Slides:

• Agents and Tuples
• Design by Contract
• Design by Contract 2

• Genericity
• Modularity

Quiz 1 (September 27, 2012):

• BON
• ADT
• Adapter pattern

Memory Management; Design rules and principles: Exceptions and Exceptions Handling Referential transparency; Active data structures; Testing with Espec;

• Readings required: Chapter 12

Slides:

• Memory Management
• Exceptions
• Testing with ESpec

Resources:

• Proof Example

Inheritance; Inheritance and adaptation

• Readings required: Chapter 14

Slides:

• Inheritance
• Polymorphism
• Adaptation
• Multiple Inheritance

Quiz 2:

• Agents and Tuples
• Assertions
• Design by contract

Multiple and Repeated Inheritance,

• Readings required: Chapter 14

Slides:

• Inheritance and design by contract and genericity (DBC)

Mid-Term

Thursday Oct. 18 2012, during the lecture (90min). Covers everything including Introduction to Inheritance.

Global objects; Singleton design pattern

• Readings required: Chapters 15, 16 & 18

Slides:

• Global Objects
• Singleton
• Class Design with Inheritance
• Case study

Quiz 3 (Oct 26):

• Memory Management;
• Design rules and principles
• Exceptions

Designing classes; Design Patterns – Decorator, Composite

Slides:

• Composite
• Decorator

Design patterns – Facade, Command, Iterator, Visitor

Quiz 4 (Tuesday, Nov 6, 2012):

• Inheritance

Slides:

• Facade
• Command
• Iterator
• Visitor
• State

Design patterns – Abstract Factory & Builder

Slides:

• Abstract Factory
• Builder

Quiz 5 (Thursday):

• Design patterns

Quality First, Review of material

Slides:

• Quality First