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 Platform to speed up software
development, with quality and security
Virgile Prevosto
CEA, List
SFSCon
2021-11-12
DEveloper COmpanion for Documented and annotatEd
code Reference
Project at a glance
I https://www.decoder-project.eu/
I Started in January 2019, for 36 months
I Provide a unified platform for
managing all kinds of information on a
given codebase.
I Target all stakeholders in software
development life cycle:
I developers
I reviewers
I maintainers
Methodology
Use-cases
UX
Natural
Language
Processing
Software
Engineering
Tools
Coordination:
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
2
PKM Architecture
Node.js
PKM cli
PKM
over TCP
MongoDB driver
PKM util PKM core
PKM RESTful
HTTP server
Bash scripts
User’s console JS SDK UI and tools
over
https
PKM
API
I Use docker containers
I REST server uses
OpenAPI
I AGPL and Apache
licenses
I https://gitlab.ow2.
org/decoder/pkm-api
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
3
PKM tools
PKM
Decoder
Front-end
Jupyter
Process
Engine
doc-to-asfm
asfm-to-doc
Trace
recovery
tool
NER
SP
SRL
Summarization
Code repair
Variable Misuse
JMLGen
Frama-C
OpenJML Testar
Tool
Formal
Debug
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
4
Code summarization
I Identification of possible
variable misuse
I Suggestion for code repair
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
5
Correspondance between natural language and code
I Semantic role labeling
I Semantic parsing
I Traceability matrix
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
6
Abstract Semi-Formal Models
ASFM Language
I class diagrams
I type/class invariants
I state machines description
ASFM Tools
I doc-to-asfm with user-defined parsers
I asfm-to-doc
I excavator and Testar can generate
ASFM templates
I FormalDebug tool
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
7
Decoder Front-end
I browser-based
I basic support for the main tools
feeding the PKM
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
8
Decoder Front-end
I browser-based
I basic support for the main tools
feeding the PKM
I Traceability matrix
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
8
Decoder Front-end
I browser-based
I basic support for the main tools
feeding the PKM
I Traceability matrix
I Jupyter notebook
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
8
In Practice
Use Cases in Decoder
I PKM and tools have been assessed on all projects (C, C++, Java)
I Development of helper tools
I Experiments with doc-to-asfm
I First version of datasets for NLP tools extracted
Outside of the project
beta-campaigns
I doc2json
I JmlGen
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
9
Summary
Decoder achievements
I Robust infrastructure for the PKM
I Tools well connected with the PKM
I Process Engine for guiding users through their tasks
I Powerful UI
Future directions
I Extend ASFM and related tooling (FormalDebug)
I Improve usage of AI-based tools for software analysis
I LEIA project
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
10
Contacts
GLOBE https://www.decoder-project.eu/
@ https://www.decoder-project.eu/view/Main/Contacts
TWITTER decoderproject
LINKEDIN Decoder H2020
Slideshare DecoderProject
Acknowledgments
The DECODER project has received funding from the European Union’s Horizon 2020 research
and innovation programme under grant agreement No 824231.
Icons designed by ultimatearm, eucalyp, Freepik, and pixel-perfect from Flaticon
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
11
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.
2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12
12

More Related Content

What's hot

Rob Horner resume Jan-6-2016
Rob Horner resume Jan-6-2016Rob Horner resume Jan-6-2016
Rob Horner resume Jan-6-2016
Rob Horner
 
Nassim_TLILI_resume
Nassim_TLILI_resumeNassim_TLILI_resume
Nassim_TLILI_resume
Nassim TLILI
 
Resume-Zhuyu
Resume-ZhuyuResume-Zhuyu
Resume-Zhuyu
雨 朱
 

What's hot (11)

Profes'19 Software Knowledge Representation
Profes'19 Software Knowledge RepresentationProfes'19 Software Knowledge Representation
Profes'19 Software Knowledge Representation
 
SFScon21 - Simone Tritini - The Environmental Data Platform web portal
SFScon21 - Simone Tritini - The Environmental Data Platform web portalSFScon21 - Simone Tritini - The Environmental Data Platform web portal
SFScon21 - Simone Tritini - The Environmental Data Platform web portal
 
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 Board
 
Badusha_Profile
Badusha_ProfileBadusha_Profile
Badusha_Profile
 
Decoder project overview
Decoder project overviewDecoder project overview
Decoder project overview
 
OpenChain: How to manage OSS licenses for CI/CD development
OpenChain: How to manage OSS licenses for CI/CD developmentOpenChain: How to manage OSS licenses for CI/CD development
OpenChain: How to manage OSS licenses for CI/CD development
 
Guruprasad
GuruprasadGuruprasad
Guruprasad
 
proposal
proposalproposal
proposal
 
Rob Horner resume Jan-6-2016
Rob Horner resume Jan-6-2016Rob Horner resume Jan-6-2016
Rob Horner resume Jan-6-2016
 
Nassim_TLILI_resume
Nassim_TLILI_resumeNassim_TLILI_resume
Nassim_TLILI_resume
 
Resume-Zhuyu
Resume-ZhuyuResume-Zhuyu
Resume-Zhuyu
 

Similar to SFScon21 - Virgile Prevosto - DECODER Platform to speed up software development, with quality and security

Sagar_Ware_Resume
Sagar_Ware_ResumeSagar_Ware_Resume
Sagar_Ware_Resume
Sagar Ware
 

Similar to SFScon21 - Virgile Prevosto - DECODER Platform to speed up software development, with quality and security (20)

DECODER MyThaiStar Use Case
DECODER MyThaiStar Use CaseDECODER MyThaiStar Use Case
DECODER MyThaiStar Use Case
 
Profes'19 Decoder
Profes'19 DecoderProfes'19 Decoder
Profes'19 Decoder
 
DEEP: a user success story
DEEP: a user success storyDEEP: a user success story
DEEP: a user success story
 
SSHOC Dataverse in the European Open Science Cloud
SSHOC Dataverse in the European Open Science CloudSSHOC Dataverse in the European Open Science Cloud
SSHOC Dataverse in the European Open Science Cloud
 
2. EOSC-hub (Daan Broeder, CLARIN ERIC)
2. EOSC-hub (Daan Broeder, CLARIN ERIC)2. EOSC-hub (Daan Broeder, CLARIN ERIC)
2. EOSC-hub (Daan Broeder, CLARIN ERIC)
 
Monitoring Cloud Native Applications with Prometheus
Monitoring Cloud Native Applications with PrometheusMonitoring Cloud Native Applications with Prometheus
Monitoring Cloud Native Applications with Prometheus
 
Automated CI/CD testing, installation and deployment of Dataverse infrastruct...
Automated CI/CD testing, installation and deployment of Dataverse infrastruct...Automated CI/CD testing, installation and deployment of Dataverse infrastruct...
Automated CI/CD testing, installation and deployment of Dataverse infrastruct...
 
Sirius Project, Now and In the Future
Sirius Project, Now and In the FutureSirius Project, Now and In the Future
Sirius Project, Now and In the Future
 
Software Tools for Building Industry 4.0 Applications
Software Tools for Building Industry 4.0 ApplicationsSoftware Tools for Building Industry 4.0 Applications
Software Tools for Building Industry 4.0 Applications
 
DockerPenang Meetup #3
DockerPenang Meetup #3DockerPenang Meetup #3
DockerPenang Meetup #3
 
Development workflow guide for building docker apps
Development workflow guide for building docker appsDevelopment workflow guide for building docker apps
Development workflow guide for building docker apps
 
Development workflow guide for building docker apps
Development workflow guide for building docker appsDevelopment workflow guide for building docker apps
Development workflow guide for building docker apps
 
Overview of the Sustainability Plans of the ICT-29b) Projects
Overview of the Sustainability Plans of the ICT-29b) ProjectsOverview of the Sustainability Plans of the ICT-29b) Projects
Overview of the Sustainability Plans of the ICT-29b) Projects
 
OSS Projects Knowledge Mining with CROSSMINER, OW2con'18, June 7-8, 2018
OSS Projects Knowledge Mining with CROSSMINER, OW2con'18, June 7-8, 2018OSS Projects Knowledge Mining with CROSSMINER, OW2con'18, June 7-8, 2018
OSS Projects Knowledge Mining with CROSSMINER, OW2con'18, June 7-8, 2018
 
Sagar_Ware_Resume
Sagar_Ware_ResumeSagar_Ware_Resume
Sagar_Ware_Resume
 
AUK - CV WO Ref
AUK - CV WO RefAUK - CV WO Ref
AUK - CV WO Ref
 
Arcadia project overview
Arcadia project overview Arcadia project overview
Arcadia project overview
 
nativeappdevelopmentwithpython1658264723355.pdf
nativeappdevelopmentwithpython1658264723355.pdfnativeappdevelopmentwithpython1658264723355.pdf
nativeappdevelopmentwithpython1658264723355.pdf
 
Phonebook Directory or Address Book In Android
Phonebook Directory or Address Book In AndroidPhonebook Directory or Address Book In Android
Phonebook Directory or Address Book In Android
 
Android development classes in chandigarh : Big Boxx Academy
Android development classes in chandigarh : Big Boxx AcademyAndroid development classes in chandigarh : Big Boxx Academy
Android development classes in chandigarh : Big Boxx Academy
 

More from South Tyrol Free Software Conference

SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
South Tyrol Free Software Conference
 
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
South Tyrol Free Software Conference
 
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
South Tyrol Free Software Conference
 
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelinesSFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
South Tyrol Free Software Conference
 
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
South Tyrol Free Software Conference
 
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis MapsSFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
South Tyrol Free Software Conference
 

More from South Tyrol Free Software Conference (20)

SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
SFSCON23 - Rufai Omowunmi Balogun - SMODEX – a Python package for understandi...
 
SFSCON23 - Roberto Innocenti - From the design to reality is here the Communi...
SFSCON23 - Roberto Innocenti - From the design to reality is here the Communi...SFSCON23 - Roberto Innocenti - From the design to reality is here the Communi...
SFSCON23 - Roberto Innocenti - From the design to reality is here the Communi...
 
SFSCON23 - Martin Rabanser - Real-time aeroplane tracking and the Open Data Hub
SFSCON23 - Martin Rabanser - Real-time aeroplane tracking and the Open Data HubSFSCON23 - Martin Rabanser - Real-time aeroplane tracking and the Open Data Hub
SFSCON23 - Martin Rabanser - Real-time aeroplane tracking and the Open Data Hub
 
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
SFSCON23 - Marianna d'Atri Enrico Zanardo - How can Blockchain technologies i...
 
SFSCON23 - Lucas Lasota - The Future of Connectivity, Open Internet and Human...
SFSCON23 - Lucas Lasota - The Future of Connectivity, Open Internet and Human...SFSCON23 - Lucas Lasota - The Future of Connectivity, Open Internet and Human...
SFSCON23 - Lucas Lasota - The Future of Connectivity, Open Internet and Human...
 
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
SFSCON23 - Giovanni Giannotta - Intelligent Decision Support System for trace...
 
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelinesSFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
SFSCON23 - Elena Maines - Embracing CI/CD workflows for building ETL pipelines
 
SFSCON23 - Christian Busse - Free Software and Open Science
SFSCON23 - Christian Busse - Free Software and Open ScienceSFSCON23 - Christian Busse - Free Software and Open Science
SFSCON23 - Christian Busse - Free Software and Open Science
 
SFSCON23 - Charles H. Schulz - Why open digital infrastructure matters
SFSCON23 - Charles H. Schulz - Why open digital infrastructure mattersSFSCON23 - Charles H. Schulz - Why open digital infrastructure matters
SFSCON23 - Charles H. Schulz - Why open digital infrastructure matters
 
SFSCON23 - Andrea Vianello - Achieving FAIRness with EDP-portal
SFSCON23 - Andrea Vianello - Achieving FAIRness with EDP-portalSFSCON23 - Andrea Vianello - Achieving FAIRness with EDP-portal
SFSCON23 - Andrea Vianello - Achieving FAIRness with EDP-portal
 
SFSCON23 - Thomas Aichner - How IoT and AI are revolutionizing Mass Customiza...
SFSCON23 - Thomas Aichner - How IoT and AI are revolutionizing Mass Customiza...SFSCON23 - Thomas Aichner - How IoT and AI are revolutionizing Mass Customiza...
SFSCON23 - Thomas Aichner - How IoT and AI are revolutionizing Mass Customiza...
 
SFSCON23 - Stefan Mutschlechner - Smart Werke Meran
SFSCON23 - Stefan Mutschlechner - Smart Werke MeranSFSCON23 - Stefan Mutschlechner - Smart Werke Meran
SFSCON23 - Stefan Mutschlechner - Smart Werke Meran
 
SFSCON23 - Mirko Boehm - European regulators cast their eyes on maturing OSS ...
SFSCON23 - Mirko Boehm - European regulators cast their eyes on maturing OSS ...SFSCON23 - Mirko Boehm - European regulators cast their eyes on maturing OSS ...
SFSCON23 - Mirko Boehm - European regulators cast their eyes on maturing OSS ...
 
SFSCON23 - Marco Pavanelli - Monitoring the fleet of Sasa with free software
SFSCON23 - Marco Pavanelli - Monitoring the fleet of Sasa with free softwareSFSCON23 - Marco Pavanelli - Monitoring the fleet of Sasa with free software
SFSCON23 - Marco Pavanelli - Monitoring the fleet of Sasa with free software
 
SFSCON23 - Marco Cortella - KNOWAGE and AICS for 2030 agenda SDG goals monito...
SFSCON23 - Marco Cortella - KNOWAGE and AICS for 2030 agenda SDG goals monito...SFSCON23 - Marco Cortella - KNOWAGE and AICS for 2030 agenda SDG goals monito...
SFSCON23 - Marco Cortella - KNOWAGE and AICS for 2030 agenda SDG goals monito...
 
SFSCON23 - Lina Ceballos - Interoperable Europe Act - A real game changer
SFSCON23 - Lina Ceballos - Interoperable Europe Act - A real game changerSFSCON23 - Lina Ceballos - Interoperable Europe Act - A real game changer
SFSCON23 - Lina Ceballos - Interoperable Europe Act - A real game changer
 
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
SFSCON23 - Johannes Näder Linus Sehn - Let’s monitor implementation of Free S...
 
SFSCON23 - Gabriel Ku Wei Bin - Why Do We Need A Next Generation Internet
SFSCON23 - Gabriel Ku Wei Bin - Why Do We Need A Next Generation InternetSFSCON23 - Gabriel Ku Wei Bin - Why Do We Need A Next Generation Internet
SFSCON23 - Gabriel Ku Wei Bin - Why Do We Need A Next Generation Internet
 
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis MapsSFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
SFSCON23 - Edoardo Scepi - The Brand-New Version of IGis Maps
 
SFSCON23 - Davide Vernassa - Empowering Insights Unveiling the latest innova...
SFSCON23 - Davide Vernassa - Empowering Insights  Unveiling the latest innova...SFSCON23 - Davide Vernassa - Empowering Insights  Unveiling the latest innova...
SFSCON23 - Davide Vernassa - Empowering Insights Unveiling the latest innova...
 

Recently uploaded

Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo DiehlFuture Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
Peter Udo Diehl
 
Structuring Teams and Portfolios for Success
Structuring Teams and Portfolios for SuccessStructuring Teams and Portfolios for Success
Structuring Teams and Portfolios for Success
UXDXConf
 

Recently uploaded (20)

Speed Wins: From Kafka to APIs in Minutes
Speed Wins: From Kafka to APIs in MinutesSpeed Wins: From Kafka to APIs in Minutes
Speed Wins: From Kafka to APIs in Minutes
 
Designing for Hardware Accessibility at Comcast
Designing for Hardware Accessibility at ComcastDesigning for Hardware Accessibility at Comcast
Designing for Hardware Accessibility at Comcast
 
Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo DiehlFuture Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
Future Visions: Predictions to Guide and Time Tech Innovation, Peter Udo Diehl
 
The Metaverse: Are We There Yet?
The  Metaverse:    Are   We  There  Yet?The  Metaverse:    Are   We  There  Yet?
The Metaverse: Are We There Yet?
 
Extensible Python: Robustness through Addition - PyCon 2024
Extensible Python: Robustness through Addition - PyCon 2024Extensible Python: Robustness through Addition - PyCon 2024
Extensible Python: Robustness through Addition - PyCon 2024
 
Buy Epson EcoTank L3210 Colour Printer Online.pdf
Buy Epson EcoTank L3210 Colour Printer Online.pdfBuy Epson EcoTank L3210 Colour Printer Online.pdf
Buy Epson EcoTank L3210 Colour Printer Online.pdf
 
What's New in Teams Calling, Meetings and Devices April 2024
What's New in Teams Calling, Meetings and Devices April 2024What's New in Teams Calling, Meetings and Devices April 2024
What's New in Teams Calling, Meetings and Devices April 2024
 
UiPath Test Automation using UiPath Test Suite series, part 1
UiPath Test Automation using UiPath Test Suite series, part 1UiPath Test Automation using UiPath Test Suite series, part 1
UiPath Test Automation using UiPath Test Suite series, part 1
 
Strategic AI Integration in Engineering Teams
Strategic AI Integration in Engineering TeamsStrategic AI Integration in Engineering Teams
Strategic AI Integration in Engineering Teams
 
Secure Zero Touch enabled Edge compute with Dell NativeEdge via FDO _ Brad at...
Secure Zero Touch enabled Edge compute with Dell NativeEdge via FDO _ Brad at...Secure Zero Touch enabled Edge compute with Dell NativeEdge via FDO _ Brad at...
Secure Zero Touch enabled Edge compute with Dell NativeEdge via FDO _ Brad at...
 
How Red Hat Uses FDO in Device Lifecycle _ Costin and Vitaliy at Red Hat.pdf
How Red Hat Uses FDO in Device Lifecycle _ Costin and Vitaliy at Red Hat.pdfHow Red Hat Uses FDO in Device Lifecycle _ Costin and Vitaliy at Red Hat.pdf
How Red Hat Uses FDO in Device Lifecycle _ Costin and Vitaliy at Red Hat.pdf
 
Introduction to Open Source RAG and RAG Evaluation
Introduction to Open Source RAG and RAG EvaluationIntroduction to Open Source RAG and RAG Evaluation
Introduction to Open Source RAG and RAG Evaluation
 
IESVE for Early Stage Design and Planning
IESVE for Early Stage Design and PlanningIESVE for Early Stage Design and Planning
IESVE for Early Stage Design and Planning
 
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptxIOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
 
Syngulon - Selection technology May 2024.pdf
Syngulon - Selection technology May 2024.pdfSyngulon - Selection technology May 2024.pdf
Syngulon - Selection technology May 2024.pdf
 
A Business-Centric Approach to Design System Strategy
A Business-Centric Approach to Design System StrategyA Business-Centric Approach to Design System Strategy
A Business-Centric Approach to Design System Strategy
 
SOQL 201 for Admins & Developers: Slice & Dice Your Org’s Data With Aggregate...
SOQL 201 for Admins & Developers: Slice & Dice Your Org’s Data With Aggregate...SOQL 201 for Admins & Developers: Slice & Dice Your Org’s Data With Aggregate...
SOQL 201 for Admins & Developers: Slice & Dice Your Org’s Data With Aggregate...
 
Behind the Scenes From the Manager's Chair: Decoding the Secrets of Successfu...
Behind the Scenes From the Manager's Chair: Decoding the Secrets of Successfu...Behind the Scenes From the Manager's Chair: Decoding the Secrets of Successfu...
Behind the Scenes From the Manager's Chair: Decoding the Secrets of Successfu...
 
Structuring Teams and Portfolios for Success
Structuring Teams and Portfolios for SuccessStructuring Teams and Portfolios for Success
Structuring Teams and Portfolios for Success
 
IoT Analytics Company Presentation May 2024
IoT Analytics Company Presentation May 2024IoT Analytics Company Presentation May 2024
IoT Analytics Company Presentation May 2024
 

SFScon21 - Virgile Prevosto - DECODER Platform to speed up software development, with quality and security

  • 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 Platform to speed up software development, with quality and security Virgile Prevosto CEA, List SFSCon 2021-11-12
  • 2. DEveloper COmpanion for Documented and annotatEd code Reference Project at a glance I https://www.decoder-project.eu/ I Started in January 2019, for 36 months I Provide a unified platform for managing all kinds of information on a given codebase. I Target all stakeholders in software development life cycle: I developers I reviewers I maintainers Methodology Use-cases UX Natural Language Processing Software Engineering Tools Coordination: 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 2
  • 3. PKM Architecture Node.js PKM cli PKM over TCP MongoDB driver PKM util PKM core PKM RESTful HTTP server Bash scripts User’s console JS SDK UI and tools over https PKM API I Use docker containers I REST server uses OpenAPI I AGPL and Apache licenses I https://gitlab.ow2. org/decoder/pkm-api 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 3
  • 4. PKM tools PKM Decoder Front-end Jupyter Process Engine doc-to-asfm asfm-to-doc Trace recovery tool NER SP SRL Summarization Code repair Variable Misuse JMLGen Frama-C OpenJML Testar Tool Formal Debug 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 4
  • 5. Code summarization I Identification of possible variable misuse I Suggestion for code repair 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 5
  • 6. Correspondance between natural language and code I Semantic role labeling I Semantic parsing I Traceability matrix 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 6
  • 7. Abstract Semi-Formal Models ASFM Language I class diagrams I type/class invariants I state machines description ASFM Tools I doc-to-asfm with user-defined parsers I asfm-to-doc I excavator and Testar can generate ASFM templates I FormalDebug tool 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 7
  • 8. Decoder Front-end I browser-based I basic support for the main tools feeding the PKM 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 8
  • 9. Decoder Front-end I browser-based I basic support for the main tools feeding the PKM I Traceability matrix 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 8
  • 10. Decoder Front-end I browser-based I basic support for the main tools feeding the PKM I Traceability matrix I Jupyter notebook 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 8
  • 11. In Practice Use Cases in Decoder I PKM and tools have been assessed on all projects (C, C++, Java) I Development of helper tools I Experiments with doc-to-asfm I First version of datasets for NLP tools extracted Outside of the project beta-campaigns I doc2json I JmlGen 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 9
  • 12. Summary Decoder achievements I Robust infrastructure for the PKM I Tools well connected with the PKM I Process Engine for guiding users through their tasks I Powerful UI Future directions I Extend ASFM and related tooling (FormalDebug) I Improve usage of AI-based tools for software analysis I LEIA project 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 10
  • 13. Contacts GLOBE https://www.decoder-project.eu/ @ https://www.decoder-project.eu/view/Main/Contacts TWITTER decoderproject LINKEDIN Decoder H2020 Slideshare DecoderProject Acknowledgments The DECODER project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 824231. Icons designed by ultimatearm, eucalyp, Freepik, and pixel-perfect from Flaticon 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 11
  • 14. 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. 2021 DEveloper COmpanion for Documented and annotatEd code Reference 2021-11-12 12