Software Specification and Design (Engi-9874) 2020

Notes

A note on the notes. I'll be updating these notes as the term goes by.

Java

• Object-oriented Software Engineering with Java.
• Download the Teaching Machine.
• 13 totally true facts every C++ programmer should know about Java

"Introduction"

• Slide set 0: Software engineering, qualities, activities and products.
• Slide se 1: Component, interfaces, and levels of design.

UML

• Slide set 2: UML and class diagrams.
• Slide set 3 Requirements.
• Slide set 4: Sequence diagrams
• Slide set 5 Classes and responsibilities

Patterns

• Slide set 6 Models and views
• Slide set 7: Design patterns and the Observer pattern
• Slide set 8: Command pattern and strategy pattern
• Slide set 8.1 The state pattern
• Slide set 9: Structural patterns: composite and proxy.
• Slide set 10: Creational patterns
• Slide set 11: Some additional patterns.

Principles

• The Single responsibility Principle (SRP)
• The Open/Closed Principle (OCP)
• The Liskov Substitution Principle (LSP)
• The Dependence Inversion Principle (DIP)

General remarks on inheritance and polymorphism

• Inheritance and delegation
• Frameworks

Java Technology

• Graphics in Java's Swing library. See links for code examples.
• Animation with Timers. See Rat Race and AnimationList under links for code examples.
• Model-view-controller. See Rat Race under links for code examples.
• Threads and concurrent programming (PPT)
• Animation with threads. See othello-0 and othello-1 underlinks for code examples.
• RMI and remote, concurrent observers. (PPT) See Othello-2 underlinks for code examples.

Design by Contract

• Design by Contract
• DbC and defensive programming
• Contracts for objects -- 0 (clear box)
• Contracts for objects -- 1 (black box)
• Contracts for objects -- 2 (inheritance)
• Contracts and static verification

(c) Theodore Norvell