Slide 1Topics in OO, Design Patterns, Reasoning About Program Behavior... (part 4) Neelam Soundarajan Computer Sc. & Eng. e-mail: neelam@cse Slide 2 2 Background Design…