Logiciel / Software


MU-MMINT is a version of the MMINT, an Eclipse-based infrastructure for INTeractive Model Management, that supports May Uncertainty. It was developed by Alessio Di Sandro.

MetricHistory is an extensible tool developed by Thomas Schweizer for collecting and processing software measurements across mutiple versions of a code base.

Tyson is a Ecore-based DSML developed by Navpreet Kaur for expressing Software Product Lines with Design Choices.

TAPIR  is a tool developed by Erick Raelijohn for generating recommendations to developers about correct API usage. At its core, it relies on the representation of API usage patterns as LTL formulars.