Considering your work done for the Holiday Travel Vehicles inproblem #1 1) Choose one of the classes and create a set ofinvariants for attributes and relationships and add them to the CRCcard for the class. 2) Choose one of the methods in the class thatyou chose and create a contract and a method specification for it.Use OCL to specify any pre- or postcondition and use bothStructured English and an activity diagram to specify thealgorithm.
Expert Answer
An answer will be send to you shortly. . . . .