SE450: Lecture 6 (DBC/Quiz I) [0/24] Next page

Overview of Today's Class [1/24]
Type Safe Enum [2/24]
DBC: Design By Contract [3/24]
Assertions: The assert functionality in Java 1.4 [4/24]
Assertions: Enabling and Disabling assertions [5/24]
Assertions: Assertions Example [6/24]
Assertions: Assertions in JDK 1.3 [7/24]
DBC: Common assertion usage [8/24]
DBC: Pre/Post/Invariants [9/24]
DBC: A DBC methodology [10/24]
DBC: Java implementation conclusion [11/24]
DBC: Alternatives/APIs [12/24]
Examples [13/24]
Final Project: Requirements [14/24]
Final Project: Deliverables [15/24]
Final Project: Grading [16/24]
Final Project: Examples [17/24]
Project: Example: A Game [18/24]
Project: Example: Simulation [19/24]
Project: Example: Simple Framework [20/24]
Project: Good Projects [21/24]
Project: Bad Projects [22/24]
Homework [23/24]
Final Project proposal [24/24]

Next page