Logiciel / Software

Moomin

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.

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

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