Write B-Method (B-Notation) machine specification for Paper Round

$30-250 USD

Closed

Posted

over 7 years ago

$30-250 USD

Paid on delivery

Need to write Formal Specifications for Paper Round machine, using B-Method Notation. Paper shop delivers its newspapers and magazines to the houses that have subscriptions. Each house can subscribe to up to 1 newspaper and up to 3 magazines. More detailed project specs attached in PDF. Please contact me if you have questions.

Embedded Software

PHP

Software Architecture

Software Development

Software Testing

Project ID: 12019115

About the project

2 proposals

Remote project

Active 7 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

2 freelancers are bidding on average $203 USD for this job

@ivissani

We are a small company from Argentina formed exclusively by Ms.C.s and Ph.D.s in Computer Sciences. We have a very strong background in formal methods and software specification. As an example we study a full course on ADT specification, we also study Z at the undergrad level. More than that, some our people are currently doing Ph.D.s related to software specification. We are sure we can help you. Anyway, the completion time is not a real estimate as we couldn't access the PDF that you mentioned on the description. Maybe if you can update the description and make sure the attachment is there we can give you a better estimate. Thank you!

$250 USD in 2 days