Write Java program specifications

Using a Java-like description language, you will write a specification that formally describes the behavior of a small Java program. In particular, you will write method preconditions (describing what must be true when a method is called) and method postconditions (describing what is true when a method exits). No special software is required - you will either remote desktop into one of our servers running Eclipse or use our web-browser interface. **The project will take approximately 4 hours:** * 1 - 1.5 hour(s) to learn to use the tool * 2 - 3 hour programming task; you will ideally work on this part without interruption * 15 - 25 minutes to fill out a survey describing your experience performing the task **The project will start 2/19/2012; the work must be completed by 2/26/2012. We will accept multiple bids.** Due to the nature of the project, we cannot accept bids from workers who have previously worked with us. ## Deliverables * * *This broadcast message was sent to all bidders on Wednesday Feb 15, 2012 8:12:54 PM: Hi, we appreciate everyone's bids. We'll be accepting bids within the next few days. Thanks! * * *This broadcast message was sent to all bidders on Saturday Feb 18, 2012 4:57:41 AM: We have notified bidders whose bids will be accepted; if you were not notified, we are not planning to accept your bid. Thank you again for your interest. * * *This broadcast message was sent to all bidders on Monday Feb 20, 2012 1:23:01 AM: Hi, we're having problems accepting bids - we've contacted the vWorker facilitator. The issue will hopefully be resolved soon.