#	Pagina
attuale pagina	/open-h2020/projects/219908/index.html

Opendata, web and dolomites

DECODER SIGNED

DEveloper COmpanion for Documented and annotatEd code Reference

Total Cost €

EC-Contrib. €

Partnership

Views

DECODER project word cloud

Explore the words cloud of the DECODER project. It provides you a very rough idea of what is the project "DECODER" about.

benefit tools computing vice refinement proofs natural beforehand efficiency representation everywhere abstractions solutions medium introduce situation framework combination language specifications improvement 20 radically big deployment specification advent transition permits herein phases model ide assimilated uses smooth iot transformations methodology versa efforts transformation productivity formal cloud informal generalise persistent material party radical languages monitor automate formalisms domains belonging software combining engineers criticality engineering maintenance expects paradigms techniques mentioned prototype decoder data programming recommendations extraction code manner abstract

Project "DECODER" data sheet

The following table provides information about the project.

Coordinator	TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Organization address address: BURGPLATZ 3A city: VILLACH postcode: 9500 website: www.technikon.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Austria [AT]
Total cost	4˙245˙718 €
EC max contribution	4˙245˙718 € (100%)
Programme	1. H2020-EU.2.1.1. (INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT))
Code Call	H2020-ICT-2018-2
Funding Scheme	RIA
Starting year	2019
Duration (year-month-day)	from 2019-01-01 to 2021-12-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Organization address address: BURGPLATZ 3A city: VILLACH postcode: 9500 website: www.technikon.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (VILLACH)	coordinator	379˙000.00
2	COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Organization address address: RUE LEBLANC 25 city: PARIS 15 postcode: 75015 website: www.cea.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS 15)	participant	1˙224˙625.00
3	UNIVERSITAT POLITECNICA DE VALENCIA UNIVERSITAT POLITECNICA DE VALENCIA Organization address address: CAMINO DE VERA SN EDIFICIO 3A city: VALENCIA postcode: 46022 website: www.upv.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (VALENCIA)	participant	666˙500.00
4	SYSGO GMBH SYSGO GMBH Organization address address: AM PFAFFENSTEIN 14 city: KLEIN WINTERNHEIM postcode: 55270 website: http://www.sysgo.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (KLEIN WINTERNHEIM)	participant	665˙068.00
5	CAPGEMINI ESPANA SL CAPGEMINI ESPANA SL Organization address address: CALLE ANABEL SEGURA 14 city: ALCOBENDAS MADRID postcode: 28108 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (ALCOBENDAS MADRID)	participant	499˙400.00
6	OW2 OW2 Organization address address: 114 BOULEVARD HAUSSMANN city: PARIS postcode: 75008 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	participant	466˙125.00
7	TREE TECHNOLOGY SA TREE TECHNOLOGY SA Organization address address: DE LA POMARADA 76 city: SIERO postcode: 33429 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (SIERO)	participant	345˙000.00

Map

Project 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.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "DECODER" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "DECODER" are provided by the European Opendata Portal: CORDIS opendata.