Introduction to Eecs3311 2019 01 07
Exploring Eecs3311 2019 01 07 reveals several interesting facts. Administrative - Design vs. Implementation - Design by Contracts - DbC in Java (Version
Eecs3311 2019 01 07 Comprehensive Overview
Design by Contract (DbC) in Java (Version 2 to 5) - Encode preconditions as exceptions - Encode class invariant as assertions. iPad Notes here: ... iPad Notes here: ...
iPad Notes here: ...
Summary & Highlights for Eecs3311 2019 01 07
- Singleton Pattern (Java vs. Eiffel) - Inheritance (code reuse, testing of postcondition)
- iPad Notes here: ...
- iPad Notes here: ...
- Motivating Problem: Interactive System - State Transition Diagrams - Non-OO, Hierarchical Design - OO, State Design Pattern ...
- Short-Circuit Operators vs. Logical Operators - Expanded vs. Reference Types - Reference vs. Shallow vs. Deep Copies.
Stay tuned for more updates related to Eecs3311 2019 01 07.
