Explore the words cloud of the DECODER project. It provides you a very rough idea of what is the project "DECODER" about.
The following table provides information about the project.
TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH
|Coordinator Country||Austria [AT]|
|Total cost||4˙245˙718 €|
|EC max contribution||4˙245˙718 € (100%)|
1. H2020-EU.2.1.1. (INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT))
|Duration (year-month-day)||from 2019-01-01 to 2021-12-31|
Take a look of project's partnership.
|1||TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH||AT (VILLACH)||coordinator||379˙000.00|
|2||COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES||FR (PARIS 15)||participant||1˙224˙625.00|
|3||UNIVERSITAT POLITECNICA DE VALENCIA||ES (VALENCIA)||participant||666˙500.00|
|4||SYSGO GMBH||DE (KLEIN WINTERNHEIM)||participant||665˙068.00|
|5||CAPGEMINI ESPANA SL||ES (ALCOBENDAS MADRID)||participant||499˙400.00|
|7||TREE TECHNOLOGY SA||ES (SIERO)||participant||345˙000.00|
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 (email@example.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.