SlideShare a Scribd company logo
1 of 14
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 Project Overview
Virgile Prevosto (CEA List), Cedric Thomas (OW2)
with DECODER's partners
2nd Hamburg Requirements Engineering Symposium
4 September 2019
Sep 4, 2019 22019 DEveloper COmpanion for Documented and annotatEd code Reference
Project Objectives
Initial Results
Roadmap and Conclusion
Sep 4, 2019 32019 DEveloper COmpanion for Documented and annotatEd code Reference
DEveloper COmpanion for Documented and annotatEd
code Reference
Code
Code
Code, Formal
Specification
Code, Documentation,
Models, Analysis results
Informal documentation
tied to a piece of code
Abstract model
representation
Generate formal
annotations for formal
verification tools
automatically
Formal specification
Explore UML
models with
Moskitt
Derive formal verification
from informal information
at code or specification
level
Analyse raw code
information
Test interaction
scenarios with
Testar and semi-
formal models
Verify C and Java
code with FramaC
and OpenJML
Query
documentation and
report generation
Informal documentation,
abstract model
Test results,
abstract models
Formal specifications,
Verification objectives,
documentation
Code, Model,
Specification
Refined specifications,
Auxiliary annotations
(invariants)
Verification results
Report
Persistent
Knowledge
Monitor
Reporting
Verification
Testing
Syntactic
Analysis
NLP
Analysis
Modelling
Specification
Synthesis
Extended IDE
Sep 4, 2019 42019 DEveloper COmpanion for Documented and annotatEd code Reference
Encompassing the Whole Development Lifecycle
Sep 4, 2019 52019 DEveloper COmpanion for Documented and annotatEd code Reference
From Informal to Formal Documents
Natural Language Processing
Knowledge extraction from informal documents → correspondence with relevant code pieces
Knowledge extraction from formal documents → semi-automated documentation generation
Abstract Semi-Formal Models (ASFM)
Graphical description of the effects of a function on the data structures involved
Language for semi-automated generation of ASFM diagrams
Interactive diagrams that can be manipulated by developers (graphical debugging)
Sep 4, 2019 62019 DEveloper COmpanion for Documented and annotatEd code Reference
Use Cases: Evaluation and Improvement of DECODER Toolset
Linux Drivers
Quickly and accurately assess the quality of an external Linux driver for inclusion in embedded
systems
OpenCV
Build a better knowledge of OpenCV API and its usage in some applications
MyThaiStar
UI/UX design and verification
Java
Usage of Decoder toolset on selected Open Source Java projects
Sep 4, 2019 72019 DEveloper COmpanion for Documented and annotatEd code Reference
PKM Meta Model
Sep 4, 2019 82019 DEveloper COmpanion for Documented and annotatEd code Reference
PKM Server Design
JSON as Main Interchange Format
Start working on a JSON Schema
Take advantage of existing proposals:
SARIF
JCDB
Others?
Back-end: Document-Oriented DB
MongoDB: license issues
CouchDB: quite well known
OrientDB: graph model used by Testar
Others?
Sep 4, 2019 92019 DEveloper COmpanion for Documented and annotatEd code Reference
Information Extraction
Dataset Collection
Existing code and documents sets provided by use cases
Existing third-party datasets (code and documents, on GitHub)
DeepAPI training corpus for natural language (correspondences with Java call sequences)
Initial Experiments
Code to NL:
Features extraction and grouping tokens
NL to Code:
Consider programming language as a foreign language
Standard neural machine translation: NL to programming language
Objective: compute semantic similarity between source code and informal description
Sep 4, 2019 102019 DEveloper COmpanion for Documented and annotatEd code Reference
UX Workshops
General Workshop (Valencia, June, 26th)
Prepare design of PKM client(s)
Define core roles
Define usage scenarios
Dedicated UC Workshops
Define UC scenarios
Identify specific needs
Sep 4, 2019 112019 DEveloper COmpanion for Documented and annotatEd code Reference
Dissemination Activities
Public website at https://decoder-project.eu
Presence on LinkedIn and Twitter
Decoder poster, presented at OW2 Conf
Contact with other projects
https://openreq.eu/
https://www.chariotproject.eu/
Sep 4, 2019 122019 DEveloper COmpanion for Documented and annotatEd code Reference
Current Status
Progressing according to plan
PKM implementation still the main challenge
Schema design (critical)
DB engine final choice (less stringent)
NLP and code processing experimentation ramping up
Work on ASFM has started
Use cases investigation and methodology discussions ramping up
Sep 4, 2019 132019 DEveloper COmpanion for Documented and annotatEd code Reference
Open Questions
What should fit in the PKM schema?
Suggestion on a particular document DB implementation?
Projects with which we could / should interact?
Sep 4, 2019 142019 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.

More Related Content

Similar to Decoder project overview

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
 
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
 
Call For papers - 8th International Conference on Software Engineering (SOEN...
Call For papers  - 8th International Conference on Software Engineering (SOEN...Call For papers  - 8th International Conference on Software Engineering (SOEN...
Call For papers - 8th International Conference on Software Engineering (SOEN...IJITCA Journal
 
SOENG 2022 cfp (1).pdf
SOENG 2022 cfp (1).pdfSOENG 2022 cfp (1).pdf
SOENG 2022 cfp (1).pdfIJITCA Journal
 
8 th International Conference on Software Engineering (SOENG 2022)
8 th International Conference on Software Engineering (SOENG 2022)8 th International Conference on Software Engineering (SOENG 2022)
8 th International Conference on Software Engineering (SOENG 2022)IJCSEA Journal
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)IJCSEA Journal
 
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...Daniel Krook
 
Archiver 3rd omc_project_overview
Archiver 3rd omc_project_overviewArchiver 3rd omc_project_overview
Archiver 3rd omc_project_overviewArchiver
 
3rd International Conference on NLP Trends & Technologies (NLPTT 2022)
3rd International Conference on NLP Trends & Technologies (NLPTT 2022) 3rd International Conference on NLP Trends & Technologies (NLPTT 2022)
3rd International Conference on NLP Trends & Technologies (NLPTT 2022) ijcsity
 
3 rd International Conference on Natural Language Processing and Applications...
3 rd International Conference on Natural Language Processing and Applications...3 rd International Conference on Natural Language Processing and Applications...
3 rd International Conference on Natural Language Processing and Applications...dannyijwest
 
3rd International Conference on Natural Language Processing and Applications ...
3rd International Conference on Natural Language Processing and Applications ...3rd International Conference on Natural Language Processing and Applications ...
3rd International Conference on Natural Language Processing and Applications ...IJCSEA Journal
 
8th International Conference on Software Engineering (SOFE 2022)
8th International Conference on Software Engineering (SOFE 2022)8th International Conference on Software Engineering (SOFE 2022)
8th International Conference on Software Engineering (SOFE 2022)ijccsa
 
Project update - João Fernandes
Project update - João FernandesProject update - João Fernandes
Project update - João FernandesArchiver
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)IJCSEA Journal
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)IJCSEA Journal
 
8th International Conference on Natural Language Computing (NATL 2022)
8th International Conference on Natural Language Computing (NATL 2022)8th International Conference on Natural Language Computing (NATL 2022)
8th International Conference on Natural Language Computing (NATL 2022)ijcsity
 
Call for Papers - 8th International Conference on Natural Language Computing ...
Call for Papers - 8th International Conference on Natural Language Computing ...Call for Papers - 8th International Conference on Natural Language Computing ...
Call for Papers - 8th International Conference on Natural Language Computing ...ijsc
 
Call For Papers - 8th International Conference on Software Engineering (SOENG...
Call For Papers - 8th International Conference on Software Engineering (SOENG...Call For Papers - 8th International Conference on Software Engineering (SOENG...
Call For Papers - 8th International Conference on Software Engineering (SOENG...IJITCA Journal
 
Call For papers - 8th International Conference on Software Engineering (SEC 2...
Call For papers - 8th International Conference on Software Engineering (SEC 2...Call For papers - 8th International Conference on Software Engineering (SEC 2...
Call For papers - 8th International Conference on Software Engineering (SEC 2...IJITCA Journal
 
8th International Conference on Software Engineering (SEC 2022)
8th International Conference on Software Engineering (SEC 2022)8th International Conference on Software Engineering (SEC 2022)
8th International Conference on Software Engineering (SEC 2022)IJCSEA Journal
 

Similar to Decoder project overview (20)

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...
 
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
 
Call For papers - 8th International Conference on Software Engineering (SOEN...
Call For papers  - 8th International Conference on Software Engineering (SOEN...Call For papers  - 8th International Conference on Software Engineering (SOEN...
Call For papers - 8th International Conference on Software Engineering (SOEN...
 
SOENG 2022 cfp (1).pdf
SOENG 2022 cfp (1).pdfSOENG 2022 cfp (1).pdf
SOENG 2022 cfp (1).pdf
 
8 th International Conference on Software Engineering (SOENG 2022)
8 th International Conference on Software Engineering (SOENG 2022)8 th International Conference on Software Engineering (SOENG 2022)
8 th International Conference on Software Engineering (SOENG 2022)
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)
 
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...
Commit to the Cause, Push for Change: Contributing to Call for Code Open Sour...
 
Archiver 3rd omc_project_overview
Archiver 3rd omc_project_overviewArchiver 3rd omc_project_overview
Archiver 3rd omc_project_overview
 
3rd International Conference on NLP Trends & Technologies (NLPTT 2022)
3rd International Conference on NLP Trends & Technologies (NLPTT 2022) 3rd International Conference on NLP Trends & Technologies (NLPTT 2022)
3rd International Conference on NLP Trends & Technologies (NLPTT 2022)
 
3 rd International Conference on Natural Language Processing and Applications...
3 rd International Conference on Natural Language Processing and Applications...3 rd International Conference on Natural Language Processing and Applications...
3 rd International Conference on Natural Language Processing and Applications...
 
3rd International Conference on Natural Language Processing and Applications ...
3rd International Conference on Natural Language Processing and Applications ...3rd International Conference on Natural Language Processing and Applications ...
3rd International Conference on Natural Language Processing and Applications ...
 
8th International Conference on Software Engineering (SOFE 2022)
8th International Conference on Software Engineering (SOFE 2022)8th International Conference on Software Engineering (SOFE 2022)
8th International Conference on Software Engineering (SOFE 2022)
 
Project update - João Fernandes
Project update - João FernandesProject update - João Fernandes
Project update - João Fernandes
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)
 
10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)10th International Conference on Software Engineering & Trends (SE 2022)
10th International Conference on Software Engineering & Trends (SE 2022)
 
8th International Conference on Natural Language Computing (NATL 2022)
8th International Conference on Natural Language Computing (NATL 2022)8th International Conference on Natural Language Computing (NATL 2022)
8th International Conference on Natural Language Computing (NATL 2022)
 
Call for Papers - 8th International Conference on Natural Language Computing ...
Call for Papers - 8th International Conference on Natural Language Computing ...Call for Papers - 8th International Conference on Natural Language Computing ...
Call for Papers - 8th International Conference on Natural Language Computing ...
 
Call For Papers - 8th International Conference on Software Engineering (SOENG...
Call For Papers - 8th International Conference on Software Engineering (SOENG...Call For Papers - 8th International Conference on Software Engineering (SOENG...
Call For Papers - 8th International Conference on Software Engineering (SOENG...
 
Call For papers - 8th International Conference on Software Engineering (SEC 2...
Call For papers - 8th International Conference on Software Engineering (SEC 2...Call For papers - 8th International Conference on Software Engineering (SEC 2...
Call For papers - 8th International Conference on Software Engineering (SEC 2...
 
8th International Conference on Software Engineering (SEC 2022)
8th International Conference on Software Engineering (SEC 2022)8th International Conference on Software Engineering (SEC 2022)
8th International Conference on Software Engineering (SEC 2022)
 

Recently uploaded

Lessons Learned from Building a Serverless Notifications System.pdf
Lessons Learned from Building a Serverless Notifications System.pdfLessons Learned from Building a Serverless Notifications System.pdf
Lessons Learned from Building a Serverless Notifications System.pdfSrushith Repakula
 
AI/ML Infra Meetup | Perspective on Deep Learning Framework
AI/ML Infra Meetup | Perspective on Deep Learning FrameworkAI/ML Infra Meetup | Perspective on Deep Learning Framework
AI/ML Infra Meetup | Perspective on Deep Learning FrameworkAlluxio, Inc.
 
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...Optimizing Operations by Aligning Resources with Strategic Objectives Using O...
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...OnePlan Solutions
 
KLARNA - Language Models and Knowledge Graphs: A Systems Approach
KLARNA -  Language Models and Knowledge Graphs: A Systems ApproachKLARNA -  Language Models and Knowledge Graphs: A Systems Approach
KLARNA - Language Models and Knowledge Graphs: A Systems ApproachNeo4j
 
10 Essential Software Testing Tools You Need to Know About.pdf
10 Essential Software Testing Tools You Need to Know About.pdf10 Essential Software Testing Tools You Need to Know About.pdf
10 Essential Software Testing Tools You Need to Know About.pdfkalichargn70th171
 
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Andreas Granig
 
Mastering Windows 7 A Comprehensive Guide for Power Users .pdf
Mastering Windows 7 A Comprehensive Guide for Power Users .pdfMastering Windows 7 A Comprehensive Guide for Power Users .pdf
Mastering Windows 7 A Comprehensive Guide for Power Users .pdfmbmh111980
 
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...Alluxio, Inc.
 
IT Software Development Resume, Vaibhav jha 2024
IT Software Development Resume, Vaibhav jha 2024IT Software Development Resume, Vaibhav jha 2024
IT Software Development Resume, Vaibhav jha 2024vaibhav130304
 
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdf
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdfStrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdf
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdfsteffenkarlsson2
 
Secure Software Ecosystem Teqnation 2024
Secure Software Ecosystem Teqnation 2024Secure Software Ecosystem Teqnation 2024
Secure Software Ecosystem Teqnation 2024Soroosh Khodami
 
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAOpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAShane Coughlan
 
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdf
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdfMicrosoft 365 Copilot; An AI tool changing the world of work _PDF.pdf
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdfQ-Advise
 
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product Updates
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product UpdatesGraphSummit Stockholm - Neo4j - Knowledge Graphs and Product Updates
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product UpdatesNeo4j
 
How to install and activate eGrabber JobGrabber
How to install and activate eGrabber JobGrabberHow to install and activate eGrabber JobGrabber
How to install and activate eGrabber JobGrabbereGrabber
 
Crafting the Perfect Measurement Sheet with PLM Integration
Crafting the Perfect Measurement Sheet with PLM IntegrationCrafting the Perfect Measurement Sheet with PLM Integration
Crafting the Perfect Measurement Sheet with PLM IntegrationWave PLM
 
how-to-download-files-safely-from-the-internet.pdf
how-to-download-files-safely-from-the-internet.pdfhow-to-download-files-safely-from-the-internet.pdf
how-to-download-files-safely-from-the-internet.pdfMehmet Akar
 
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAG
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAGAI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAG
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAGAlluxio, Inc.
 
Workforce Efficiency with Employee Time Tracking Software.pdf
Workforce Efficiency with Employee Time Tracking Software.pdfWorkforce Efficiency with Employee Time Tracking Software.pdf
Workforce Efficiency with Employee Time Tracking Software.pdfDeskTrack
 

Recently uploaded (20)

Lessons Learned from Building a Serverless Notifications System.pdf
Lessons Learned from Building a Serverless Notifications System.pdfLessons Learned from Building a Serverless Notifications System.pdf
Lessons Learned from Building a Serverless Notifications System.pdf
 
AI/ML Infra Meetup | Perspective on Deep Learning Framework
AI/ML Infra Meetup | Perspective on Deep Learning FrameworkAI/ML Infra Meetup | Perspective on Deep Learning Framework
AI/ML Infra Meetup | Perspective on Deep Learning Framework
 
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...Optimizing Operations by Aligning Resources with Strategic Objectives Using O...
Optimizing Operations by Aligning Resources with Strategic Objectives Using O...
 
KLARNA - Language Models and Knowledge Graphs: A Systems Approach
KLARNA -  Language Models and Knowledge Graphs: A Systems ApproachKLARNA -  Language Models and Knowledge Graphs: A Systems Approach
KLARNA - Language Models and Knowledge Graphs: A Systems Approach
 
10 Essential Software Testing Tools You Need to Know About.pdf
10 Essential Software Testing Tools You Need to Know About.pdf10 Essential Software Testing Tools You Need to Know About.pdf
10 Essential Software Testing Tools You Need to Know About.pdf
 
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
 
Mastering Windows 7 A Comprehensive Guide for Power Users .pdf
Mastering Windows 7 A Comprehensive Guide for Power Users .pdfMastering Windows 7 A Comprehensive Guide for Power Users .pdf
Mastering Windows 7 A Comprehensive Guide for Power Users .pdf
 
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...
AI/ML Infra Meetup | Improve Speed and GPU Utilization for Model Training & S...
 
IT Software Development Resume, Vaibhav jha 2024
IT Software Development Resume, Vaibhav jha 2024IT Software Development Resume, Vaibhav jha 2024
IT Software Development Resume, Vaibhav jha 2024
 
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdf
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdfStrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdf
StrimziCon 2024 - Transition to Apache Kafka on Kubernetes with Strimzi.pdf
 
Secure Software Ecosystem Teqnation 2024
Secure Software Ecosystem Teqnation 2024Secure Software Ecosystem Teqnation 2024
Secure Software Ecosystem Teqnation 2024
 
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAOpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
 
AI Hackathon.pptx
AI                        Hackathon.pptxAI                        Hackathon.pptx
AI Hackathon.pptx
 
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdf
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdfMicrosoft 365 Copilot; An AI tool changing the world of work _PDF.pdf
Microsoft 365 Copilot; An AI tool changing the world of work _PDF.pdf
 
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product Updates
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product UpdatesGraphSummit Stockholm - Neo4j - Knowledge Graphs and Product Updates
GraphSummit Stockholm - Neo4j - Knowledge Graphs and Product Updates
 
How to install and activate eGrabber JobGrabber
How to install and activate eGrabber JobGrabberHow to install and activate eGrabber JobGrabber
How to install and activate eGrabber JobGrabber
 
Crafting the Perfect Measurement Sheet with PLM Integration
Crafting the Perfect Measurement Sheet with PLM IntegrationCrafting the Perfect Measurement Sheet with PLM Integration
Crafting the Perfect Measurement Sheet with PLM Integration
 
how-to-download-files-safely-from-the-internet.pdf
how-to-download-files-safely-from-the-internet.pdfhow-to-download-files-safely-from-the-internet.pdf
how-to-download-files-safely-from-the-internet.pdf
 
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAG
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAGAI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAG
AI/ML Infra Meetup | Reducing Prefill for LLM Serving in RAG
 
Workforce Efficiency with Employee Time Tracking Software.pdf
Workforce Efficiency with Employee Time Tracking Software.pdfWorkforce Efficiency with Employee Time Tracking Software.pdf
Workforce Efficiency with Employee Time Tracking Software.pdf
 

Decoder project overview

  • 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 Project Overview Virgile Prevosto (CEA List), Cedric Thomas (OW2) with DECODER's partners 2nd Hamburg Requirements Engineering Symposium 4 September 2019
  • 2. Sep 4, 2019 22019 DEveloper COmpanion for Documented and annotatEd code Reference Project Objectives Initial Results Roadmap and Conclusion
  • 3. Sep 4, 2019 32019 DEveloper COmpanion for Documented and annotatEd code Reference DEveloper COmpanion for Documented and annotatEd code Reference Code Code Code, Formal Specification Code, Documentation, Models, Analysis results Informal documentation tied to a piece of code Abstract model representation Generate formal annotations for formal verification tools automatically Formal specification Explore UML models with Moskitt Derive formal verification from informal information at code or specification level Analyse raw code information Test interaction scenarios with Testar and semi- formal models Verify C and Java code with FramaC and OpenJML Query documentation and report generation Informal documentation, abstract model Test results, abstract models Formal specifications, Verification objectives, documentation Code, Model, Specification Refined specifications, Auxiliary annotations (invariants) Verification results Report Persistent Knowledge Monitor Reporting Verification Testing Syntactic Analysis NLP Analysis Modelling Specification Synthesis Extended IDE
  • 4. Sep 4, 2019 42019 DEveloper COmpanion for Documented and annotatEd code Reference Encompassing the Whole Development Lifecycle
  • 5. Sep 4, 2019 52019 DEveloper COmpanion for Documented and annotatEd code Reference From Informal to Formal Documents Natural Language Processing Knowledge extraction from informal documents → correspondence with relevant code pieces Knowledge extraction from formal documents → semi-automated documentation generation Abstract Semi-Formal Models (ASFM) Graphical description of the effects of a function on the data structures involved Language for semi-automated generation of ASFM diagrams Interactive diagrams that can be manipulated by developers (graphical debugging)
  • 6. Sep 4, 2019 62019 DEveloper COmpanion for Documented and annotatEd code Reference Use Cases: Evaluation and Improvement of DECODER Toolset Linux Drivers Quickly and accurately assess the quality of an external Linux driver for inclusion in embedded systems OpenCV Build a better knowledge of OpenCV API and its usage in some applications MyThaiStar UI/UX design and verification Java Usage of Decoder toolset on selected Open Source Java projects
  • 7. Sep 4, 2019 72019 DEveloper COmpanion for Documented and annotatEd code Reference PKM Meta Model
  • 8. Sep 4, 2019 82019 DEveloper COmpanion for Documented and annotatEd code Reference PKM Server Design JSON as Main Interchange Format Start working on a JSON Schema Take advantage of existing proposals: SARIF JCDB Others? Back-end: Document-Oriented DB MongoDB: license issues CouchDB: quite well known OrientDB: graph model used by Testar Others?
  • 9. Sep 4, 2019 92019 DEveloper COmpanion for Documented and annotatEd code Reference Information Extraction Dataset Collection Existing code and documents sets provided by use cases Existing third-party datasets (code and documents, on GitHub) DeepAPI training corpus for natural language (correspondences with Java call sequences) Initial Experiments Code to NL: Features extraction and grouping tokens NL to Code: Consider programming language as a foreign language Standard neural machine translation: NL to programming language Objective: compute semantic similarity between source code and informal description
  • 10. Sep 4, 2019 102019 DEveloper COmpanion for Documented and annotatEd code Reference UX Workshops General Workshop (Valencia, June, 26th) Prepare design of PKM client(s) Define core roles Define usage scenarios Dedicated UC Workshops Define UC scenarios Identify specific needs
  • 11. Sep 4, 2019 112019 DEveloper COmpanion for Documented and annotatEd code Reference Dissemination Activities Public website at https://decoder-project.eu Presence on LinkedIn and Twitter Decoder poster, presented at OW2 Conf Contact with other projects https://openreq.eu/ https://www.chariotproject.eu/
  • 12. Sep 4, 2019 122019 DEveloper COmpanion for Documented and annotatEd code Reference Current Status Progressing according to plan PKM implementation still the main challenge Schema design (critical) DB engine final choice (less stringent) NLP and code processing experimentation ramping up Work on ASFM has started Use cases investigation and methodology discussions ramping up
  • 13. Sep 4, 2019 132019 DEveloper COmpanion for Documented and annotatEd code Reference Open Questions What should fit in the PKM schema? Suggestion on a particular document DB implementation? Projects with which we could / should interact?
  • 14. Sep 4, 2019 142019 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.