spla / variamos Goto Github PK
View Code? Open in Web Editor NEWVariaMos is a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models.
Home Page: https://github.com/SPLA/VARIAMOS/wiki