Success!

Note

Error

Session expiration Your session is going to expireClick here to extend

Budget:

Small project <800

Posted on

1/25/11 12:44 AM

Buyer:

Mir***

This project has expired

Why don't you register anyway? We are sure that you will find many similar projects out of the thousands waiting for you!

Post similar project now

Description

For the open assessment, given the specification of a software system. Parts of this description have been omitted, and must be filled in so that the resulting specification parses, type-checks, and can be successfully animated to demonstrate compliance with the software's requirements.