DVD rental system

This project was awarded to it2051229 for $100 USD.

Get free quotes for a project like this
Project Budget
$30 - $250 USD
Total Bids
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.

Awarded to:
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