Find Jobs
Hire Freelancers

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

₹600-1500 INR

Cerrado
Publicado hace casi 5 años

₹600-1500 INR

Pagado a la entrega
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 del proyecto: 19694878

Información sobre el proyecto

Proyecto remoto
Activo hace 5 años

¿Buscas ganar dinero?

Beneficios de presentar ofertas en Freelancer

Fija tu plazo y presupuesto
Cobra por tu trabajo
Describe tu propuesta
Es gratis registrarse y presentar ofertas en los trabajos

Sobre este cliente

Bandera de INDIA
Delhi, India
4,6
23
Forma de pago verificada
Miembro desde ago 16, 2017

Verificación del cliente

¡Gracias! Te hemos enviado un enlace para reclamar tu crédito gratuito.
Algo salió mal al enviar tu correo electrónico. Por favor, intenta de nuevo.
Usuarios registrados Total de empleos publicados
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Cargando visualización previa
Permiso concedido para Geolocalización.
Tu sesión de acceso ha expirado y has sido desconectado. Por favor, inica sesión nuevamente.