In this lab we focus on writing the operation contracts for the system events in your System Sequence Diagrams.
Writing operation contracts is the last artifact in object oriented analysis, You will have to write the operation contracts for all complicated contracts that need enough investigation and refinements. Specilly focus on the post conditions to be in the past tens and belong to one category among objects creation, association forming and attribute changes.
To earn PASS status, system is about to evaluate you using multiple choice questions (MCQs) and True/False type questions.