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 postcondition and use both Structured English and an activity diagram to specify the algorithm.
Please see attached.
Book: Systems Analysis & Design, An Object Oriented Approach with UML, Wiley