Find Jobs
Hire Freelancers

expert needed for an Alloy model for use in specifying the RoutePlanner system.

₹600-1500 INR

Mbyllur
Postuar almost 5 years ago

₹600-1500 INR

Paguhet në dorëzim
Alloy model For this portion of the project, you will need to write an Alloy model for use in specifying the RoutePlanner system. Tasks Write code for signatures and facts which will do the following:  Declare the existence of a “travel stop” type.  Declare the existence of a “route” type, which consists of an ordered sequence of travel stops.  Declare the existence of a “time” type, representing time of day. We will assume that routes always represent routes suggested by a planner app (rather than simply “possible” routes). Include an assertion that a route from starting stop A to ending stop B has exactly the same number of items in it as the reverse trip. Include an assertion that a route from any stop to itself consists of only one stop. Include explanatory comments in your model code.
ID e Projektit: 19694878

Rreth projektit

Projekt në distancë
Aktive 5 yrs ago

Po kërkoni të fitoni para?

Përfitimet e ofertës për Freelancer

Vendosni buxhetin dhe afatin tuaj
Paguhuni për punën tuaj
Përshkruani propozimin tuaj
Është falas të regjistrohesh dhe të bësh oferta për punë

Rreth klientit

Flamuri i INDIA
Delhi, India
4,6
23
Mënyra e pagesës u verifikua
Anëtar që nga gush 16, 2017

Verifikimi i klientit

Faleminderit! Ne ju kemi dërguar me email një lidhje për të kërkuar kredinë tuaj falas.
Ndodhi një gabim gjatë dërgimit të email-it tuaj. Ju lutemi provoni përsëri.
Përdorues të regjistruar Punë të postuara
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Po ngarkohet shikimi paraprak
Leja u dha për Geolocation.
Seanca e hyrjes ka skaduar dhe ke dalë. Hyr sërish.