Summary of Course

1. Programming in Java
   • Imperative programming
     • variables
       • name
       • type
       • scope
       • lifetime
     • flow control
       • straight-line
       • branching ( if-else )
       • loops ( while, for, do-while )
       • method invocation
       • exceptions (try-catch-throw)
     • recursion
       • local variables, frames
   • Object oriented programming
     • classes versus objects (instantiation)
     • type hierarchies (widening, narrowing)
     • overriding, overloading
     • constructors
   • standard classes and Java Foundation Classes
     • java.lang, java.util, java.io
     • java.awt, javax.swing
2. Patterns (architecting classes)
   • debugging statements
   • Model-View-Controller
3. Correctness (reasoning about programs)
   • Boolean logic
   • Assertions
   • Loop invariants