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
Project Description

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

## Deliverables

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).

## Platform


Skills Required

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

    • Forbes
    • The New York Times
    • Time
    • Wall Street Journal
    • Times Online