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.