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.
- Repository link
- MMINT wiki
- Relevant documents: My PhD thesis, Video demo, ICSE’15 demo writeup, MODELS’15 MMINT demo writeup
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.