Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

¿Te ayudamos?

Ejemplos de búsqueda

Vídeos Explicativos

DECODER

Financiado

Cerrado

DEveloper COmpanion for Documented and annotatEd code Reference

Software is everywhere and the productivity of Software Engineers has increased radically with the advent of new specification, design and programming paradigms and languages. The main objective of the project DECODER is to introd... ver más

31/12/2021

TECHNIKON

4M€

Presupuesto del proyecto: 4M€

Líder del proyecto

TECHNIKON FORSCHUNGS UND PLANUNGSGESELLSCHAFT... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 6 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-12-31

ICT-16-2018: Software Technologies Specific Challenge:New advances in ICT technology influence the way software is developed. Software...

I+D

Cerrada hace 7 años

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

6 Participantes

TECHNIKON

379.00K€ | Lider

TREE TECHNOLOGY

345.00K€ | Participante

MINISTERE DE L'ENSEIGNEMENT...

466.13K€ | Participante

SYSGO GMBH

665.07K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 36 meses Fecha Inicio: 2018-12-06
Fecha Fin: 2021-12-31

Líder del proyecto

TECHNIKON FORSCHUNGS UND PLANUNGSGESELLSCHAFT... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 4M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Software is everywhere and the productivity of Software Engineers has increased radically with the advent of new specification, design and programming paradigms and languages. The main objective of the project DECODER is to introduce radical solutions to increase productivity and by means of new languages that improve the situation by abstractions of the formalisms used today for requirements analysis and specification. We will develop a methodology and tools to improve the productivity of the software development process for medium-criticality applications in the domains of IoT, Cloud Computing, and Operating Systems by combining Natural Language Processing techniques, Modelling techniques and Formal Methods. The combination is a novel approach that permits a smooth transition from informal requirements engineering to deployment and maintenance phases. A radical improvement is expected from the management and transformation of informal data into material (herein called ‘knowledge’) that can be assimilated by any party involved in a development process. Thus, the DECODER project will 1) introduce new languages to represent knowledge in a more abstract manner, 2) develop transformations leading from informal material into specifications and code and vice-versa, 3) define and prototype a Persistent Knowledge Monitor for managing all relevant knowledge, and 4) develop a prototype IDE. The project will automate the transformation steps using existing techniques from the Big Data (knowledge extraction), Model-Driven Engineering (knowledge representation and refinement), and Formal Methods (specifications and proofs). The project will produce a novel Framework combining these techniques and demonstrate its efficiency on several uses cases belonging to the beforehand mentioned domains. The project expects an average benefit of 20% in terms of efforts on these use-cases and will provide recommendations on how to generalise the approach to other medium-criticality domains.

Conecta tu I+D

Entra hoy

Forgot your password?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores