Find Jobs
Hire Freelancers

java expert for Alloy model for use in specifying the RoutePlanner system.

₹600-1500 INR

Avslutat
Publicerad nästan fem år sedan

₹600-1500 INR

Betalning vid leverans
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.
Project ID: 19646410

Om projektet

Distansprojekt
Senaste aktivitet fem år sedan

Ute efter att tjäna lite pengar?

Fördelar med att lägga anbud hos Freelancer

Ange budget och tidsram
Få betalt för ditt arbete
Beskriv ditt förslag
Det är gratis att registrera sig och att lägga anbud på uppdrag

Om kunden

Flagga för INDIA
Delhi, India
4,6
23
Verifierad betalningsmetod
Medlem sedan aug. 16, 2017

Kundverifikation

Tack! Vi har skickat en länk för aktivering av gratis kredit.
Något gick fel med ditt e-postmeddelande. Vänligen försök igen.
Registrerade Användare Totalt antal jobb publicerade
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Laddar förhandsgranskning
Tillstånd beviljat för geolokalisering.
Din inloggningssession har löpt ut och du har blivit utloggad. Logga in igen.