SlideShare a Scribd company logo

Profes'19 Decoder

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

1 of 12
Download to read offline
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
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
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
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
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!!!
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

Recommended

Decoder project overview
Decoder project overviewDecoder project overview
Decoder project overviewDecoder Project
 
Profes'19 Software Knowledge Representation
Profes'19 Software Knowledge RepresentationProfes'19 Software Knowledge Representation
Profes'19 Software Knowledge RepresentationDecoder Project
 
DECODER Project Presentation to the Advisory Board
DECODER Project Presentation to the Advisory BoardDECODER Project Presentation to the Advisory Board
DECODER Project Presentation to the Advisory BoardDecoder Project
 
Combining formal and machine learning techniques for the generation of JML sp...
Combining formal and machine learning techniques for the generation of JML sp...Combining formal and machine learning techniques for the generation of JML sp...
Combining formal and machine learning techniques for the generation of JML sp...Decoder Project
 
BA_WebDevelopment_linkedIn
BA_WebDevelopment_linkedInBA_WebDevelopment_linkedIn
BA_WebDevelopment_linkedInJohnny Jessen
 

More Related Content

What's hot

Make my viral
Make my viralMake my viral
Make my viralNINANC
 
Basic Concepts Of Programming Language - Edukite
Basic Concepts Of Programming Language - EdukiteBasic Concepts Of Programming Language - Edukite
Basic Concepts Of Programming Language - EdukiteEduKite
 
Programming with c__course_syllabus
Programming with c__course_syllabusProgramming with c__course_syllabus
Programming with c__course_syllabusGronth Fraus
 
Make my viral
Make my viralMake my viral
Make my viralNINANC
 
Python course hyderabad 11
Python course hyderabad 11Python course hyderabad 11
Python course hyderabad 11AshishApponix
 
Python course hyderabad 14
Python course hyderabad 14Python course hyderabad 14
Python course hyderabad 14AshishApponix
 
New Standard for Widely Used Software
New Standard for Widely Used SoftwareNew Standard for Widely Used Software
New Standard for Widely Used SoftwareProlifogy Inc
 
Syllabus-EN1204-Language and Communication II
Syllabus-EN1204-Language and Communication IISyllabus-EN1204-Language and Communication II
Syllabus-EN1204-Language and Communication IIMain Uddin-Al-Hasan
 
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...South Tyrol Free Software Conference
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62BenT1990
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62BenT1990
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62BenT1990
 

What's hot (14)

Make my viral
Make my viralMake my viral
Make my viral
 
Basic Concepts Of Programming Language - Edukite
Basic Concepts Of Programming Language - EdukiteBasic Concepts Of Programming Language - Edukite
Basic Concepts Of Programming Language - Edukite
 
Programming with c__course_syllabus
Programming with c__course_syllabusProgramming with c__course_syllabus
Programming with c__course_syllabus
 
Make my viral
Make my viralMake my viral
Make my viral
 
Python course hyderabad 11
Python course hyderabad 11Python course hyderabad 11
Python course hyderabad 11
 
Python course hyderabad 14
Python course hyderabad 14Python course hyderabad 14
Python course hyderabad 14
 
New Standard for Widely Used Software
New Standard for Widely Used SoftwareNew Standard for Widely Used Software
New Standard for Widely Used Software
 
Dissemination Strategy Plan
Dissemination Strategy PlanDissemination Strategy Plan
Dissemination Strategy Plan
 
Syllabus-EN1204-Language and Communication II
Syllabus-EN1204-Language and Communication IISyllabus-EN1204-Language and Communication II
Syllabus-EN1204-Language and Communication II
 
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...
SFScon21 - Virgile Prevosto - DECODER Platform to speed up software developme...
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62
 
Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62Btec level 3 ass 1 u4 5 and 62
Btec level 3 ass 1 u4 5 and 62
 
Python 101
Python 101Python 101
Python 101
 

Similar to Profes'19 Decoder

DECODER MyThaiStar Use Case
DECODER MyThaiStar Use CaseDECODER MyThaiStar Use Case
DECODER MyThaiStar Use CaseDecoder Project
 
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020OW2
 
Programme Specification
Programme SpecificationProgramme Specification
Programme Specificationbutest
 
Barcode Verification Dct.docx
Barcode Verification Dct.docxBarcode Verification Dct.docx
Barcode Verification Dct.docxhrutikaghodke1
 
Iare dsd lab_manual
Iare dsd lab_manualIare dsd lab_manual
Iare dsd lab_manualazeez786
 
FYP Proposal Template.docx
FYP Proposal Template.docxFYP Proposal Template.docx
FYP Proposal Template.docxHayaIkram
 
PIACERE project overview, summary of objectives v2
PIACERE project overview, summary of objectives v2PIACERE project overview, summary of objectives v2
PIACERE project overview, summary of objectives v2PIACERE
 
Programmer Productivity Enhancement Through Controlled Natural Language Input
Programmer Productivity Enhancement Through Controlled Natural Language InputProgrammer Productivity Enhancement Through Controlled Natural Language Input
Programmer Productivity Enhancement Through Controlled Natural Language Inputijseajournal
 
Why you need a Developer Relations team for your API
Why you need a Developer Relations team for your APIWhy you need a Developer Relations team for your API
Why you need a Developer Relations team for your APIPronovix
 
Azad, Eshan Unit 3 Recording sheet.doc
Azad, Eshan Unit 3 Recording sheet.docAzad, Eshan Unit 3 Recording sheet.doc
Azad, Eshan Unit 3 Recording sheet.docMigg13
 
Archiver 2nd_OMC event_Barcelona_Project Overview
Archiver 2nd_OMC event_Barcelona_Project OverviewArchiver 2nd_OMC event_Barcelona_Project Overview
Archiver 2nd_OMC event_Barcelona_Project OverviewArchiver
 
User-driven and market-pushed technological innovation in CCI
User-driven and market-pushed technological innovation in CCIUser-driven and market-pushed technological innovation in CCI
User-driven and market-pushed technological innovation in CCIJorge García Valbuena
 
324587-project-setting-guidance.pdf
324587-project-setting-guidance.pdf324587-project-setting-guidance.pdf
324587-project-setting-guidance.pdfMrRZapata
 
Memos case study Innerworkings
Memos case study InnerworkingsMemos case study Innerworkings
Memos case study InnerworkingsApro Software
 
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...apidays
 
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptx
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptxSOFTWARE DEVELOPMENT AND PROCESS MODELS.pptx
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptxSanthanalakshmiSelva2
 
CS8662 Mobile Application Development Lab Manual
CS8662 Mobile Application Development Lab ManualCS8662 Mobile Application Development Lab Manual
CS8662 Mobile Application Development Lab Manualpkaviya
 
apidays LIVE India - The link between technical documentation and developer e...
apidays LIVE India - The link between technical documentation and developer e...apidays LIVE India - The link between technical documentation and developer e...
apidays LIVE India - The link between technical documentation and developer e...apidays
 
IT6611 Mobile Application Development Lab Manual
IT6611 Mobile Application Development Lab ManualIT6611 Mobile Application Development Lab Manual
IT6611 Mobile Application Development Lab Manualpkaviya
 

Similar to Profes'19 Decoder (20)

DECODER MyThaiStar Use Case
DECODER MyThaiStar Use CaseDECODER MyThaiStar Use Case
DECODER MyThaiStar Use Case
 
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020
DECODER, a Smarter Environment for DevOps Teams , OW2online, June 2020
 
Programme Specification
Programme SpecificationProgramme Specification
Programme Specification
 
Barcode Verification Dct.docx
Barcode Verification Dct.docxBarcode Verification Dct.docx
Barcode Verification Dct.docx
 
Iare dsd lab_manual
Iare dsd lab_manualIare dsd lab_manual
Iare dsd lab_manual
 
FYP Proposal Template.docx
FYP Proposal Template.docxFYP Proposal Template.docx
FYP Proposal Template.docx
 
PIACERE project overview, summary of objectives v2
PIACERE project overview, summary of objectives v2PIACERE project overview, summary of objectives v2
PIACERE project overview, summary of objectives v2
 
Programmer Productivity Enhancement Through Controlled Natural Language Input
Programmer Productivity Enhancement Through Controlled Natural Language InputProgrammer Productivity Enhancement Through Controlled Natural Language Input
Programmer Productivity Enhancement Through Controlled Natural Language Input
 
Why you need a Developer Relations team for your API
Why you need a Developer Relations team for your APIWhy you need a Developer Relations team for your API
Why you need a Developer Relations team for your API
 
Azad, Eshan Unit 3 Recording sheet.doc
Azad, Eshan Unit 3 Recording sheet.docAzad, Eshan Unit 3 Recording sheet.doc
Azad, Eshan Unit 3 Recording sheet.doc
 
Archiver 2nd_OMC event_Barcelona_Project Overview
Archiver 2nd_OMC event_Barcelona_Project OverviewArchiver 2nd_OMC event_Barcelona_Project Overview
Archiver 2nd_OMC event_Barcelona_Project Overview
 
User-driven and market-pushed technological innovation in CCI
User-driven and market-pushed technological innovation in CCIUser-driven and market-pushed technological innovation in CCI
User-driven and market-pushed technological innovation in CCI
 
324587-project-setting-guidance.pdf
324587-project-setting-guidance.pdf324587-project-setting-guidance.pdf
324587-project-setting-guidance.pdf
 
The Reachout Methodology
The Reachout Methodology The Reachout Methodology
The Reachout Methodology
 
Memos case study Innerworkings
Memos case study InnerworkingsMemos case study Innerworkings
Memos case study Innerworkings
 
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...
apidays LIVE Hong Kong - Why you need a DevRel team for your API by Anna Tsol...
 
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptx
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptxSOFTWARE DEVELOPMENT AND PROCESS MODELS.pptx
SOFTWARE DEVELOPMENT AND PROCESS MODELS.pptx
 
CS8662 Mobile Application Development Lab Manual
CS8662 Mobile Application Development Lab ManualCS8662 Mobile Application Development Lab Manual
CS8662 Mobile Application Development Lab Manual
 
apidays LIVE India - The link between technical documentation and developer e...
apidays LIVE India - The link between technical documentation and developer e...apidays LIVE India - The link between technical documentation and developer e...
apidays LIVE India - The link between technical documentation and developer e...
 
IT6611 Mobile Application Development Lab Manual
IT6611 Mobile Application Development Lab ManualIT6611 Mobile Application Development Lab Manual
IT6611 Mobile Application Development Lab Manual
 

Recently uploaded

killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이
killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이
killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이ssuser82c38d
 
What are the Reasons for Tracking the Attendance of the Employees?
What are the Reasons for Tracking the Attendance of the Employees?What are the Reasons for Tracking the Attendance of the Employees?
What are the Reasons for Tracking the Attendance of the Employees?NYGGS Automation Suite
 
Orion Context Broker introduction 20240227
Orion Context Broker introduction 20240227Orion Context Broker introduction 20240227
Orion Context Broker introduction 20240227Fermin Galan
 
killing camp week 6 problem - maximal matrix.pdf
killing camp week 6 problem - maximal matrix.pdfkilling camp week 6 problem - maximal matrix.pdf
killing camp week 6 problem - maximal matrix.pdfssuser82c38d
 
killingcamp longest common subsequence.pdf
killingcamp longest common subsequence.pdfkillingcamp longest common subsequence.pdf
killingcamp longest common subsequence.pdfssuser82c38d
 
How AI is preventing account fraud at web scale
How AI is preventing account fraud at web scaleHow AI is preventing account fraud at web scale
How AI is preventing account fraud at web scaleAmir Moghimi
 
Implementing Docker Containers with Windows Server 2019
Implementing Docker Containers with Windows Server 2019Implementing Docker Containers with Windows Server 2019
Implementing Docker Containers with Windows Server 2019VICTOR MAESTRE RAMIREZ
 
Joseph Yoder : Being Agile about Architecture
Joseph Yoder : Being Agile about ArchitectureJoseph Yoder : Being Agile about Architecture
Joseph Yoder : Being Agile about ArchitectureHironori Washizaki
 
Role of DevOps in SaaS product Development.pdf.pptx
Role of DevOps in SaaS product Development.pdf.pptxRole of DevOps in SaaS product Development.pdf.pptx
Role of DevOps in SaaS product Development.pdf.pptxMindInventory
 
killing camp 주차장 나누기-2 topology sort.pdf
killing camp 주차장 나누기-2 topology sort.pdfkilling camp 주차장 나누기-2 topology sort.pdf
killing camp 주차장 나누기-2 topology sort.pdfssuser82c38d
 
Open Source vs Closed Source LLMs. Pros and Cons
Open Source vs Closed Source LLMs. Pros and ConsOpen Source vs Closed Source LLMs. Pros and Cons
Open Source vs Closed Source LLMs. Pros and ConsSprings
 
Automation for Bonterra Impact Management (fka Apricot)
Automation for Bonterra Impact Management (fka Apricot)Automation for Bonterra Impact Management (fka Apricot)
Automation for Bonterra Impact Management (fka Apricot)Jeffrey Haguewood
 
Welcome to AltTask - the nexus where innovation converges with empowerment!
Welcome to AltTask - the nexus where innovation converges with empowerment!Welcome to AltTask - the nexus where innovation converges with empowerment!
Welcome to AltTask - the nexus where innovation converges with empowerment!alttaskcom
 
Agile & Scrum, Certified Scrum Master! Crash Course
Agile & Scrum,  Certified Scrum Master! Crash CourseAgile & Scrum,  Certified Scrum Master! Crash Course
Agile & Scrum, Certified Scrum Master! Crash CourseRohan Chandane
 
No more Dockerfiles? Buildpacks to help you ship your image!
No more Dockerfiles? Buildpacks to help you ship your image!No more Dockerfiles? Buildpacks to help you ship your image!
No more Dockerfiles? Buildpacks to help you ship your image!Anthony Dahanne
 
Workshop híbrido: Stream Processing con Flink
Workshop híbrido: Stream Processing con FlinkWorkshop híbrido: Stream Processing con Flink
Workshop híbrido: Stream Processing con Flinkconfluent
 
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...Alluxio, Inc.
 
Cybersecurity Measures For Remote Workers.pdf
Cybersecurity Measures For Remote Workers.pdfCybersecurity Measures For Remote Workers.pdf
Cybersecurity Measures For Remote Workers.pdfCIOWomenMagazine
 
Passbolt Introduction and Usage for secret managment
Passbolt Introduction and Usage for secret managmentPassbolt Introduction and Usage for secret managment
Passbolt Introduction and Usage for secret managmentThierry Gayet
 

Recently uploaded (20)

killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이
killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이
killingcamp 광고삽입문제 풀이, killingcamp 광고삽입문제 풀이
 
What are the Reasons for Tracking the Attendance of the Employees?
What are the Reasons for Tracking the Attendance of the Employees?What are the Reasons for Tracking the Attendance of the Employees?
What are the Reasons for Tracking the Attendance of the Employees?
 
Orion Context Broker introduction 20240227
Orion Context Broker introduction 20240227Orion Context Broker introduction 20240227
Orion Context Broker introduction 20240227
 
killing camp week 6 problem - maximal matrix.pdf
killing camp week 6 problem - maximal matrix.pdfkilling camp week 6 problem - maximal matrix.pdf
killing camp week 6 problem - maximal matrix.pdf
 
killingcamp longest common subsequence.pdf
killingcamp longest common subsequence.pdfkillingcamp longest common subsequence.pdf
killingcamp longest common subsequence.pdf
 
How AI is preventing account fraud at web scale
How AI is preventing account fraud at web scaleHow AI is preventing account fraud at web scale
How AI is preventing account fraud at web scale
 
Implementing Docker Containers with Windows Server 2019
Implementing Docker Containers with Windows Server 2019Implementing Docker Containers with Windows Server 2019
Implementing Docker Containers with Windows Server 2019
 
Joseph Yoder : Being Agile about Architecture
Joseph Yoder : Being Agile about ArchitectureJoseph Yoder : Being Agile about Architecture
Joseph Yoder : Being Agile about Architecture
 
Role of DevOps in SaaS product Development.pdf.pptx
Role of DevOps in SaaS product Development.pdf.pptxRole of DevOps in SaaS product Development.pdf.pptx
Role of DevOps in SaaS product Development.pdf.pptx
 
killing camp 주차장 나누기-2 topology sort.pdf
killing camp 주차장 나누기-2 topology sort.pdfkilling camp 주차장 나누기-2 topology sort.pdf
killing camp 주차장 나누기-2 topology sort.pdf
 
Open Source vs Closed Source LLMs. Pros and Cons
Open Source vs Closed Source LLMs. Pros and ConsOpen Source vs Closed Source LLMs. Pros and Cons
Open Source vs Closed Source LLMs. Pros and Cons
 
Automation for Bonterra Impact Management (fka Apricot)
Automation for Bonterra Impact Management (fka Apricot)Automation for Bonterra Impact Management (fka Apricot)
Automation for Bonterra Impact Management (fka Apricot)
 
Welcome to AltTask - the nexus where innovation converges with empowerment!
Welcome to AltTask - the nexus where innovation converges with empowerment!Welcome to AltTask - the nexus where innovation converges with empowerment!
Welcome to AltTask - the nexus where innovation converges with empowerment!
 
Agile & Scrum, Certified Scrum Master! Crash Course
Agile & Scrum,  Certified Scrum Master! Crash CourseAgile & Scrum,  Certified Scrum Master! Crash Course
Agile & Scrum, Certified Scrum Master! Crash Course
 
No more Dockerfiles? Buildpacks to help you ship your image!
No more Dockerfiles? Buildpacks to help you ship your image!No more Dockerfiles? Buildpacks to help you ship your image!
No more Dockerfiles? Buildpacks to help you ship your image!
 
eLearning Content Development Company Code and Pixels.pdf
eLearning Content Development Company Code and Pixels.pdfeLearning Content Development Company Code and Pixels.pdf
eLearning Content Development Company Code and Pixels.pdf
 
Workshop híbrido: Stream Processing con Flink
Workshop híbrido: Stream Processing con FlinkWorkshop híbrido: Stream Processing con Flink
Workshop híbrido: Stream Processing con Flink
 
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...
Alluxio Monthly Webinar | Why a Multi-Cloud Strategy Matters for Your AI Plat...
 
Cybersecurity Measures For Remote Workers.pdf
Cybersecurity Measures For Remote Workers.pdfCybersecurity Measures For Remote Workers.pdf
Cybersecurity Measures For Remote Workers.pdf
 
Passbolt Introduction and Usage for secret managment
Passbolt Introduction and Usage for secret managmentPassbolt Introduction and Usage for secret managment
Passbolt Introduction and Usage for secret managment
 

Profes'19 Decoder

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