Standard [35 minutes]

E-FMP's Extensible Symbolic Execution Tool

Eclipse Formal Modeling Project -E-FMP for short- provides an extensible tool called SymbEx for the development of model-based formal analyses using symbolic execution. This is the first tool to be contributed to the E-FMP project. SymbEx comes with an expressive entry language that captures a wide range of classical models semantics: e.g., UML/SysML, SDL, (Timed) Symbolic Transition Systems and abstractions of Hybrid Automata...

Experience level: 
Intermediate

Inline code annotations in Eclipse Platform with new CodeMining support

Code Mining is a port of Microsoft "CodeLens": a code mining represents a content (ex: label, icons) that should be shown along with source text. Some examples of code mining can be the number of references, links to run tests (with run/debug icons), SCM or code review annotations...

The main goals of code mining are to help developer to understand better the written code and to interact very quickly with it.

Code Mining is shipped by default as part of Eclipse Platform 4.8/Photon release.

In this talk I will present you:

Experience level: 
Intermediate

MQTT 5.0 is here - and Eclipse Paho is ready

The IoT protocol MQTT has existed since 1998, but its popularity has blossomed since open source implementations of both clients and servers became widely available.  Two of the most popular implementations have homes in the Eclipse Foundation: the Paho clients and Mosquitto server.  

Experience level: 
Intermediate
Track: 

Scale applications flexibly with MicroProfile

With the right tools, building scalable applications can be much easier than it seems. Eclipse MicroProfile allows you to build such applications easily and you get a variety of options to scale them if you add distributed data grids. These can become a backbone for building horizontally scalable services, while at the same time providing flexible caching to scale up their performance vertically.

Experience level: 
Intermediate

Our Sponsors

For information about becoming a sponsor, please visit the EclipseCon France2018 sponsor prospectus page.

Premium

Basic

Regional Supporter

Conference App Provider

Media

JUG Partners

EclipseCon Support Other Events

Our Other Events

Eclipse events are hosted all over the world!

  • EclipseCon Europe 2018