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

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.

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.

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.

MicroProfile, RxJava, React.js - what else do you need to build lightweight but robust reactive systems efficiently with opensource tools? Maybe something for effective data processing and distributed persistence? You can have it too with Kafka and Hazelcast. Now let’s have a look at how to assemble all together in almost no time, using Payara Micro.

Different types of data require different approaches of how you distribute & manipulate your data. Update frequency? Staleness? Legacy or new? Push or Pull? Check this session to see how different technologies can be applied to solve a plethora of data scenarios with different requirements.