CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
This deliverable defines a plan to achieve the integration among the different tools used in this project.
Project Collateral, Dissemination and Communication - V2 (opens in new window)This deliverable will be an update of D72 and include all kind of communication material developed and used within the DECODER project The report also covers the promotion activities undertaken to build awareness for DECODER and build a community of early adopters including presentations exhibitions and publications at academic and industry events workshop organizations etc The report also covers the standardisation activities related to DECODER technologies
Generation, evolution and exploitation of ASFM (opens in new window)D3.3 explains how the whole WP3 tool-chain exploits the ASFM. It defines the algorithms that are implemented in D3.4 and that will be implemented in D3.5. This deliverable will evolve to become the documentation of the resulting demonstrators of T3.2, T3.3, T3.4 and T3.5 that are the software D3.2, D3.4 and D3.5.
Updated methodology design report (opens in new window)Second (improved) version of D5.2
Application of DECODER to selected OW2 projects (opens in new window)Application of DECODER to selected OW2 projects 36This deliverable reports on the work carried out in T64
Report on application for embedded use-case (opens in new window)Report on application for embedded usecase 36This deliverable reports on the work carried out in T61
Validation report (opens in new window)This deliverable reports about the validation results obtained after evaluating the proposed methodological framework and its tool support
Status Report of Use Cases (opens in new window)This report is an interim report of ongoing and planned activities within WP6.
Report on OpenCV quality assessment and code map (opens in new window)Report on OpenCV quality assessment and code map 36This deliverable reports on the work carried out in T62
Report on techniques for information extraction from source code, V2 (opens in new window)Report on first version of techniques for information extraction from source code [18] This report represents a first version of the NLP techniques used to extract information from source code together with the datasets used to train the models.
Report on existing representations and specifications relevant to the PKM (opens in new window)Review of existing representations (e.g. ASTM). Definition of the meta-model. Definition of precise artefacts (version control systems, bug managers, etc.) addressed by DECODER and related conventions.
Report on techniques for information extraction from source code, V1 (opens in new window)This is the preliminary report on first version of techniques for information extraction from source code [12] This preliminary report represents a first version of the NLP techniques used to extract information from source code together with the datasets used to train the models.
Report on final version of techniques for code summarization (opens in new window)Report on final version of techniques for code summarization 30This report presents the datasets used during T 24 and describes the techniques used to summarize source code
Project Collateral, Dissemination and Communication – V1 (opens in new window)This deliverable is a report presenting communication material developed for the promotion of DECODER including project logo, brochure, posters, logos, presentations, press and media material, etc. The report also covers the promotion activities undertaken to build awareness for DECODER and build a community of early adopters including presentations exhibitions and publications at academic and industry events, workshop organizations, etc. The report also covers the standardisation activities related to DECODER technologies.
Application characterization report (opens in new window)This deliverable reports on the major characteristics of critical and medium critical applications object of this project.
ASFM Language Definition (opens in new window)D3.1 defines the ASFM language. D3.1 is the main result of T3.1. ASFM descriptions are the input of task 3.2, the output of task 3.3, and the input/output of tasks 3.4 and 3.5. This report will contain the details of the universal part common to all WP3 tools and the main concepts of the part specific to each tool.
Semantic Extraction from text and alignment with code (opens in new window)Design a semantic extraction tool, experiment and evaluate its capacity. The tool builds structured information from text fragment relying on Named Entity Recognition, Entity Linking and Semantic Role labelling to build a structured intermediate representation. Define architecture of a neuronal network to reformulate code into text and text into code based on neuronal network and aligned corpus. Study about complementary of approaches to extract traces.
Project Quality Plan (opens in new window)The project quality plan (the project handbook) constitutes a set of project templates, explanations on the project management process, review process, quality checks, meeting organisation, which is communicated to all partners.
Report on first version of techniques for code summarization (opens in new window)Report on first version of techniques for code summarization [24] This report specifies the datasets used during T2.4 and also the techniques used to summarize code.
Report on information extraction from informal documents (opens in new window)Report on information extraction from informal documents 30Description of the semantic and text analysis task carried out using SRL
Initial methodology design report (opens in new window)This deliverable provides the design of the proposed methodological framework.
Report on Extraction and verification of (Industry Standard) Application Design Documentation (opens in new window)Report on Extraction and verification of Industry Standard Application Design Documentation 36This deliverable reports on the work carried out in T63
This deliverable provides tool support based on Eclipse to the proposed methodological framework
ACSL/ACSL++ and JML translator from ASFM (opens in new window)D3.2 provides a software demonstrator that translates the information coming from the common universal part and the source code into ACSL/ACSL++ and JML annotations. D3.2 is the main result of T3.2. Tasks 3.4 and 3.5 will then use these annotations as a first basis to enrich until they become precise, complete for the reviewers’ objectives and unambiguous.
Final version of the GUI for semantic navigation and change assessment (opens in new window)Final Graphical User Interface developed in T43 and T44 This demonstrator will provide the User Interface of the interactive tools that will help developers perform a semantic navigation complete changes and enhance consistency
Use-case data from the PKM (opens in new window)This is a dataset containing machine learning results on Linux drivers (use case A), OpenCV libraries (B), My-Thai- Star (C) and Joram/Lutece/Sat4j/Asm (D) exported from the PKM and hosted at UPV’s riunet (see data management in Section 2). Included documentation will describe how it was generated, how it can be used, and explain the data formats. It is scheduled as M24 snapshot to allow for early partners’, users and also EU review. UPV’s riunet will give an opportunity to provide updates, if needed, when referring to it in D6.2-D6.5 at M36.
First prototype of the GUI for trace recovery and impact of change control (opens in new window)First minimal Graphical User Interface developed in T4.3 and T4.4. This User Interface will allow users to use the interactive tool developed to browse Repository Monitor with hypertext navigation, based on traceability matrix and TESTAR’s model-diff. The User Interface will also provide a view of the artefacts where the traces are appointed to change.
Trace recovery (opens in new window)Demonstrator of tools to build traceability matrix for Persistent Monitor, relying on D4.1.
Various open source software components on the client side: includes client PKM communication libraries, parser adaptation and improvement (C/C++/Java compiler based, Frama-C based), artefact extractor. Developed in an agile manner, with some snapshots available since M09. With related public documentation.
Open source PKM server-side software – first version (opens in new window)Open source persistent knowledge monitor (server side). Developed (concurrently with D1.2) in an agile manner, with some snapshots available since M09. With related public documentation.
Open source PKM server-side software - final version (opens in new window)Second version of D13 with agile development and further snapshots available twice a year and related public documentation
Open source client-side software - final version (opens in new window)Second version of D12 with agile development and further snapshots available twice a year and related public
The deliverable is a report presenting the results of activities undertaken to setup the project’s web site and technical platform including developer tools, mailing lists, wikis, social network accounts, etc. The website is available for everyone interested in sharing and reusing the resources and services of the DECODER project. It aims to involve the community at large, e.g., by promoting competitions and social activities.
Publications
Author(s):
Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricos, Olivia Rodriguez-Valdes, Ad Mulders
Published in:
Software Testing, Verification and Reliability (STVR), 2021, ISSN 1099-1689
Publisher:
John Wiley & Sons Ltd
DOI:
10.1002/stvr.1771
Author(s):
Cristian Robledo, Francesca Sallicati, Gaël de Chalendar, Marcos Fernández, Pablo de Castro, Eduardo Martín, Javier Gutiérrez, Yannis Bouachera
Published in:
Open Research Europe, 2022, ISSN 2732-5121
Publisher:
European Commission
DOI:
10.12688/openreseurope.14507.1
Author(s):
Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello
Published in:
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021, Page(s) 59-64, ISBN 9781450385435
Publisher:
Association for Computing Machinery
DOI:
10.1145/3464971.3468425
Author(s):
Aaron van der Brugge, Fernando Pastor Ricós, Pekka Aho, Beatriz Marín, Tanja E. J. Vos
Published in:
Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2021, 2021
Publisher:
SISTEDES
Author(s):
Victoria Torres, Miriam Gil, Vicente Pelechano
Published in:
20th International Conference of Product-Focused Software Development and Process Improvement (PROFES 2019), 2019
Publisher:
Universitat Politècnica de València
Author(s):
Victoria Torres, Miriam Gil, Vicente Pelechano
Published in:
20th International Conference of Product-Focused Software Development and Process Improvement (PROFES 2019), 2019
Publisher:
Universitat Politècnica de València
Author(s):
Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez
Published in:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, ISoLA 2020, Lecture Notes in Computer Science, 2020
Publisher:
Universitat Politècnica de València
Author(s):
Pekka Aho, Govert Buijs, Abdurrahman Akin, Serafettin Senturk, Fernando Pastor Ricós, Stijn de Gouw, Tanja E. J. Vos
Published in:
Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2021, 2021
Publisher:
SISTEDES
Author(s):
Olivia Rodríguez-Valdés, Tanja E. J. Vos, Pekka Aho, Beatriz Marín
Published in:
QUATIC 2021: Quality of Information and Communications Technology, 2021
Publisher:
Universitat Politècnica de València
Author(s):
Miriam Gil, Victoria Torres, Manoli Albert, Vicente Pelechano
Published in:
29th International Conference on Information Systems Development (ISD2021), 2021
Publisher:
Association for Information Systems (AIS)
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available