Find Jobs
Hire Freelancers

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

₹600-1500 INR

Closed
Posted almost 5 years ago

₹600-1500 INR

Paid on delivery
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: 19694878

About the project

Remote project
Active 5 yrs ago

Looking to make some money?

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

About the client

Flag of INDIA
Delhi, India
4.6
23
Payment method verified
Member since Aug 16, 2017

Client Verification

Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.