Inicio   >   Proyectos   >   DECODER

DECODER

DEveloper COmpanion for Documented and annotatEd code Reference

Ámbito
Europeo
Fecha
01/01/2019 - 31/12/2021
Sector
  • Manufactura
  • Otros
Presupesto
4245718,75
Finanaciador

Comisión Europea H2020

INFORMACIÓN DEL PROYECTO

DESCRIPCIÓN

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.

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.

Impacto

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.

Casos de Éxito

Cap Gemini Valencia - 2 casos de estudio:
- with MyThaiStar use case brings up usable documentation through the extraction and verification of Industry Standard Application Design Documentation
- exploring the DECODER Java framework with several relevant projects selected from its open source code base
Other case studies: https://www.decoder-project.eu/view/Main/Use-cases

Entidades

Technikon (AU)
Capgemini Group (ES)
CEA Tech (FR)
OW2 (FR)
Sysgo AG (GE)
Tree Technology (ES)
Universitat Politècnica de València (ES)

DATOS DE CONTACTO

Tanja Vos
Profesora

VRAIN

CAPACIDADES TECNOLÓGICAS