Cancelled

Formal development of Software Systems

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

N/A

Skills: Anything Goes

See more: work made for hire clause, work for hire clause, no hire clause, model sketch, formal, data extract review, type software required, worker model, clause, data systems, sketch model

About the Employer:
( 0 reviews ) United Kingdom

Project ID: #3852729