Find Jobs
Hire Freelancers

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

₹600-1500 INR

已关闭
已发布将近 5 年前

₹600-1500 INR

货到付款
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: 19646410

关于此项目

远程项目
活跃5 年前

想赚点钱吗?

在Freelancer上竞价的好处

设定您的预算和时间范围
为您的工作获得报酬
简要概述您的提案
免费注册和竞标工作

关于客户

INDIA的国旗
Delhi, India
4.6
23
付款方式已验证
会员自8月 16, 2017起

客户认证

谢谢!我们已通过电子邮件向您发送了索取免费积分的链接。
发送电子邮件时出现问题。请再试一次。
已注册用户 发布工作总数
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
加载预览
授予地理位置权限。
您的登录会话已过期而且您已经登出,请再次登录。