DVD rental system

Avg Bid (USD)
Project Budget (USD)
$30 - $250

Project Description:
below is the project that i am working on, i am a student and i can't get it to understand and do it, i need help,

Your fourth assignment will give you an opportunity to work with formal software engineering methods. For your term project, you need to write a formal specification for your software product. You may work with a partner if you are working with a partner on the term project.
You will need to create a complete set of UML diagrams (class, use case, sequence, collaboration, state, activity, component, deployment) for your term project. You will need to write algebraic specifications for each data structure or object used in your program. You are to write formal specifications for each ordinary function, procedure, or method used in your design. You will need to formally prove the correctness of one of the algorithms defined as a function, procedure, or method.
This assignment is due the week of November 27th. Your assignment write-up should include a brief overview of the software product, the algebraic specifications for the data structures and objects, the formal specifications for your algorithms, one algorithm correctness proof, and a set of UML diagrams.

Skills required:
C# Programming, Visual Basic
About the employer:
Public Clarification Board
Bids are hidden by the project creator. Log in as the employer to view bids or to bid on this project.
You will not be able to bid on this project if you are not qualified in one of the job categories. To see your qualifications click here.

$ 100
in 0 days
$ 388
in 90 days
$ 155
in 10 days
Hire Pharoa
$ 388
in 3 days
$ 257
in 3 days
Hire umarj99
$ 150
in 10 days
$ 721
in 10 days
Hire jeremtank
$ 100
in 1 days