Object-Oriented Analysis and Design Theory (CS574)

Object-Oriented Analysis and Design Theory of object-oriented design, classes, interfaces, inheritance hierarchy, correctness; Abstract data types, encapsulation, formal specification with preconditions, postconditions, and invariants, proofs of correctness; Object-oriented software, objects and classes, genericity, inheritance, polymorphism, overloading; Single and multiple inheritance, programming by contract, subclassing as subcontract, specification and verification; Programming language examples include C++, Java, Smalltalk, and Eiffel.