At Profes 2019, Dr. Victoria Torres from Universitat Politècnica de València presents the H2020 DECODER Project.

1. DEveloper COmpanion for Documented and annotatEd code Reference
The DECODER project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 824231.
DECODER – DEveloper COmpanion for
Documented and annotatEd code Reference
Victoria Torres, Miriam Gil and Vicente Pelechano
PROFES European Project Space
Barcelona, 27-29 November, 2019

2. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
1. Project summary
2. Project motivation
3. Goals of the project
4. Expected achievements and outcome
5. Collaborations with other projects

3. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
1. Project Summary
Project name: Developer Companion for Documented and annotated code Reference
Project Acronym: DECODER
EU program: H2020-ICT-2018-2020 (Information and Communication Technologies)
Key Dates: January 2019 – December 2021
This project has received funding from the European Union’s H2020 research and innovation
programme under the grant agreement 824231

4. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
Participating partners
Partner Country Key positions
TEC Austria Project Leader and WP8 Leader
CEA France WP1, WP3 Leader
TREE Spain WP2 Leader
CAPGEMINI Spain WP4 Leader
UPV Spain WP5 Leader
SYSGO Germany WP6 Leader
OW2 France WP7 Leader

5. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
2. Project motivation
Too much time wasted during software
development projects
Wrong decisions taken
Amount of information for stakeholders
Lack of proper documentation
Lack of effective tools to support software
production
Lack of systematic approach for the
development and reuse of components
Lack of knowledge about components
Required interactions between different
stakeholders
Each one at different level of abstraction
Dealing with ambiguous and incomplete
documents
Software engineers need help. They
need software project intelligence!!!

6. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
3. Goals of the project
Objective 1: High-level abstract models for engineers
Objective 2: Significantly increase software development and maintenance efficiency
Objective 3: Drastically improving the use of informal knowledge and artefacts
Objective 4: Build collaborative knowledge and smart user interfaces
Objective 5: Improve the overall quality of software for medium-criticality domains

7. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
DECODER Overall Concept
PKM
Persistent
Knowledge
Monitor
Generate formal annotations for
formal verification tools
automatically
Refined specifications,
Auxiliary annotations (invariants)
Code, Model, Specification
Specification
Synthesis
Abstract model representation
Formal specifications, verification
Objectives, documentation
Explore UML models
Modelling
Informal documentation tied to a
piece of code
Formal specification
Derive formal verification
from informal information at
code or specification level
NPL
Analysis
Code
Informal documentation
abstract model
Analyse raw code
information
Syntactic
Analysis
Code
Test interaction scenarios
with Testar and
semiformal methods
Test results,
abstact models
Testing
Code, Formal Specification
Verification results
Verify C and java code
with Frama-C
Verification
Code, Documentation, Models,
Analysis results
Report
Query documentation
and report generation
Reporting

8. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
DECODER Work Package Distribution
WP1: Persistent Knowledge Monitor
WP2:
Activities for
the developer
WP3:
Activities for
the reviewer
WP4:
Activities for
the maintainer
WP5:
Methodology
WP6: Use Cases
WP7: Dissemination, Communication, Exploitation, Standardization and Capacity Building
WP8: Project, Risk and Innovation Management

9. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
4. Expected outcome
WP1 Persistent Knowledge Monitor:
- database storing all relevant documents for a software project
- Tools for feeding and querying the database
- Common schema to ease interactions
WP2 Natural Language Processing:
- Tools to extract and formalize relevant knowledge from informal code related data into formal
documentation
WP3 Abstract Semi-Formal Models (ASFM)
- Graphical high-level specification language (GSL)
- Semi-automated generation of ASFM diagrams
WP4 Natural Language Processing:
- Tools to assist the user to control the impact of changes through a traceability matrix.
WP5 Flexible methodology
- Support end-users along the life cycle of a project
WP6 Evaluation and Improvement of DECODER toolset on large use cases
- Linux Drivers, OpenCV, MyThaiStar, Java

10. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
4. Expected achievements
Improve the productivity of software engineers of medium-criticality applications along the whole lifecycle
process
Increasing the abstraction level, namely at specification stage
Using requirements engineering techniques to integrate more complete specifications into the development process
Using Formal Methods to reduce the time and efforts for integration testing
Development of novel languages defined from the abstraction of the formalisms
Abstract formal design language, namely ASFM
Abstract graphical specification language, namely GSL
Development of new languages and methods to formalize software requirements that are often informal based
on NLP techniques to formalize in a human understandable formalism the informal requirements.
Demonstrate the applicability and viability of the proposed solution on several use cases

11. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
5. Collaborations with other projects
https://vessedia.eu/
https://openreq.eu/
https://chariot.eu/

12. 2019 DEveloper COmpanion for Documented and annotatEd code Reference
Thank You!
The DECODER project has received funding from the European Union’s Horizon 2020 research and innovation programme under
grant agreement number 824231.
If you need further information, please contact the coordinator: TECHNIKON Forschungs- und Planungsgesellschaft mbH, Burgplatz
3a, 9500 Villach, AUSTRIA, Tel: +43 4242 233 55, Fax: +43 4242 233 55 77, E-Mail: coordination@DECODER.eu
The information in this document is provided “as is”, and no guarantee or warranty is given that the information is fit for any particular purpose. The content
of this document reflects only the author`s view – the European Commission is not responsible for any use that may be made of the information it contains.
The users use the information at their sole risk and liability.