Clusterability

Density-based cluster analysis engine (DBCAE) is an exploratory data analysis tool, which assesses the clusterability of a given data set and performs clus-
tering based on the results obtained from the clusterability evaluation

Convex Hull

Convex Hull (also known as SBQI, Software Build Quality Inspector) is a tool for finding novelties, anomalies and outliers in the data using unsupervised and semi-supervised paradigms

MegaM@Rt2 Eclipse IDE

The MegaM@Rt2 Eclipse IDE bundles together a number of Eclipse-based MegaM@Rt2 tools, namely:

Modelio Constellation

Constellation organizes and manages collaborative (distributed) World Wide Modeling projects,

NeoEMF

NeoEMF is a project that aims at handling large EMF models in an efficient and scalable way.

RCRS

RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework