Find Jobs
Hire Freelancers

Automated code from a formal specification in GCL-based or DSL language

$1500-3000 USD

Cancelado
Publicado hace alrededor de 11 años

$1500-3000 USD

Pagado a la entrega
I need you to build an automated code synthesizer with the following requirements: - Input is a formal specification written in GLC (Guarded Command Language), DHL (Dijkstra-Hehner Language), RAISE (RSL) and if you want, any other you may know. UML, graphical specifications or state-charts are not valid. Format is plain text and eventually XML. See: [login to view URL] - Output must be compilable or interpreted code in C, C++, Java or any industrial language. - The engine must derivate both iterative and recursive code depending on specification. - Generated code have to be correct by construction, reliable and must satisfy the specification. It will be used in critical safety real-time embedded systems. Algorithm derivation process could be carried out by theorem proving and artificial intelligence algorithms to produce theorems, but you are free to propose your own solution. - You can build the tool in any language you prefer. - Quality code is required: code documentation, must be scalable, maintainable, well designed, self-documented, bug free and fast. - You must deliver a paper (IEEE for Transactions format preferred, LaTeX or Word) about the work and research done. Please PM for further information. Before biding, ensure you have an strong proposal of the project.
ID del proyecto: 4129950

Información sobre el proyecto

3 propuestas
Proyecto remoto
Activo hace 11 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
3 freelancers están ofertando un promedio de $2.183 USD por este trabajo
Avatar del usuario
I am interested.
$2.800 USD en 40 días
4,9 (5 comentarios)
4,2
4,2
Avatar del usuario
hello, awaiting for your reply.
$2.000 USD en 30 días
0,0 (0 comentarios)
0,0
0,0
Avatar del usuario
Seems interesting project. Can You send example of specification file to be converted to C++ program?
$1.750 USD en 40 días
0,0 (0 comentarios)
0,0
0,0

Sobre este cliente

Bandera de COLOMBIA
bogota, Colombia
0,0
0
Miembro desde ene 15, 2013

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.