For the A Real Estate Inc. problem in Chapters 4 (exercises I, J, and K), 5(exercises P and Q), 6(exercise D), and 7 (exercise a):
1. Choose one of the classes and create a set of invariants for attributes and relationships and add them to the CRC card for the class.
2. Choose one of the methods in the class that you chose and create a contract and a method specification for it. Use OCL to specify any pre- or post condition and use both Structured English and an activity diagram to specify the algorithm.
CLASS:
Systems Analysis & Design
with UML Version 2.0 / 4TH Edition
ISBN # 978-1-118-03742-3
Authors: Alan Dennis, Barbara H. Wixom, and David Tegarden