The introduction of the program is in the .pdf and the relevant code provided is in the .zip. Moreover, the class diagram is in the figure. The final goal is to complete the code provided but for this mission includes only documentation and class specifications. (The introduction for how to write class specifications is in the .ppt.
1st Deliverable: Pseudo-code, invariants, pre- and post-conditions for the AuctionServer and Simulation classes.