Z specifications formal methods. homework 1

IN PROGRESS
Bids
11
Avg Bid (USD)
$162
Project Budget (USD)
$30 - $250

Project Description:
I need help with my assignment. The assignment is about formal methods and tools, Z specifications. I have to write design invariant schemas, types, sets. Design use case diagram according to the case study.

Knowledge required: UML, Z language, formal methods and tools.

For more details please PM

Skills required:
Algorithmen, Ingenieurwesen, Mathematik, UML-Design
Hire mydreamadsl
Project posted by:
mydreamadsl Italy
Verified
Project ID: 1595060
Report Project
Post a Project like this
Public Clarification Board
Bids are hidden by the project creator. Log in as the project creator or as one of the bidders to view bids.
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.


Freelancer.com (formerly GetAFreelancer, Scriptlance and vWorker/Rentacoder) is the world's largest freelancing, outsourcing and crowdsourcing marketplace for small business. Hire freelancers to work in software, writing, data entry and design right through to engineering and the sciences, sales and marketing, and accounting & legal services.

Find freelance jobs and make money online! We have freelance coders, writers, programmers, designers, marketers and more. Getting the best web design, custom programming, professional writing or affordable marketing has never been easier!

© Copyright 2013 Freelancer Technology Pty Limited (ACN 142 189 759)
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)