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

$30-250 USD

Închis

Data postării:

peste 7 ani în urmă

$30-250 USD

Plata la predare

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

ID-ul proiectului: 12019115

Despre proiect

2 propuneri

Proiect la distanță

Activ: 7 ani în urmă

Vrei să câștigi bani?

Adresa de e-mail

Avantajele de a licita pe platforma Freelancer

Stabilește bugetul și intervalul temporal

Îți primești plata pentru serviciile prestate

Evidențiază-ți propunerea

Te înregistrezi și licitezi gratuit pentru proiecte

2 freelanceri plasează o ofertă medie de $203 USD pentru proiect

@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 în 2 zile