Formal development of Software Systems
This project is now closed with a project budget of $30 - $5000 USD.Get free quotes for a project like this
Project Budget$30 - $5000 USD
This task is about proposing different case studies and you need to follow these steps:
- Read the requirements
- Extract a list of Possible data types and functions
- Sketch out representations or the data types
- Sketch out signatures for the functions
- Complete type definitions by determining invariants
- Complete the function definitions, modifying data type definitions i required
- Review the requirements, noting how each clause been treated in the model
1) All deliverables will be considered "work made for hire" under U.S. Copyright law. Employer will receive exclusive and complete copyrights to all work purchased. (No 3rd party components unless all copyright ramifications are explained AND AGREED TO by the employer on the site per the worker's Worker Legal Agreement).
Looking to make some money?
- Set your budget and the timeframe
- Outline your proposal
- Get paid for your work
Hire Freelancers who also bid on this project
Looking for work?
Work on projects like this and make money from home!Sign Up Now
- The New York Times
- Wall Street Journal
- Times Online