Introduction to Eecs2030 2018 12 03
Exploring Eecs2030 2018 12 03 reveals several interesting facts. Tower of Hanoi (Java Code Tracing, Running Time) - Binary Search (Running Time) - allPositive (Proof of Correctness) - Merge ...
Eecs2030 2018 12 03 Comprehensive Overview
Recursion (programming, running time, correctness proof) - Static attributes - Testing (equivalence classes) Exceptions - JUnit - Recursion (Programming, Recurrence Relation, Proof of Correctness) Administratives - Review of Classes and Objects - Basic use of Eclipse.
Tracing Selection Sort and Insertion Sort in Java - Call by Value (Primitive Type vs. Reference Type)
Summary & Highlights for Eecs2030 2018 12 03
- Type Cast - Comilable Cast vs. Non-Compilable Cast - ClassCastException vs. Exception-Free Cast - Polymorphic Method ...
- Proving Loop Correctness.
- Methods, Method Calls, Context Objects - Aliasing.
- Console Testers - Manual re-runs of tests - State diagram for inferring tests - JUnit assertions.
- Exceptions Examples: Circle, Bank - Tracing Cases where Exceptions occur and do not occur - catch-specify requirement.
Stay tuned for more updates related to Eecs2030 2018 12 03.