Skip to main content

DEveloper COmpanion for Documented and annotatEd code Reference

Objective

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.

Field of science

  • /natural sciences/computer and information sciences/software/software development
  • /natural sciences/computer and information sciences/data science/natural language processing
  • /natural sciences/computer and information sciences/software
  • /natural sciences/computer and information sciences/software/system software/operating systems
  • /humanities/languages and literature/languages - general
  • /natural sciences/computer and information sciences/data science/big data
  • /social sciences/economics and business/economics/production economics/productivity

Call for proposal

H2020-ICT-2018-2
See other projects for this call

Funding Scheme

RIA - Research and Innovation action

Coordinator

TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH
Address
Burgplatz 3A
9500 Villach
Austria
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
EU contribution
€ 379 000

Participants (6)

COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES
France
EU contribution
€ 1 224 625
Address
Rue Leblanc 25
75015 Paris 15
Activity type
Research Organisations
CAPGEMINI ESPANA SL
Spain
EU contribution
€ 499 400
Address
Calle Anabel Segura 14
28108 Alcobendas Madrid
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
OW2
France
EU contribution
€ 466 125
Address
114 Boulevard Haussmann
75008 Paris
Activity type
Other
SYSGO GMBH
Germany
EU contribution
€ 665 068,75
Address
Am Pfaffenstein 8
55270 Klein Winternheim
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
TREE TECHNOLOGY SA
Spain
EU contribution
€ 345 000
Address
De La Pomarada 76
33429 Siero
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
UNIVERSITAT POLITECNICA DE VALENCIA
Spain
EU contribution
€ 666 500
Address
Camino De Vera Sn Edificio 3A
46022 Valencia
Activity type
Higher or Secondary Education Establishments