Repository navigation

VARIAMOS

Public

About

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

github.com/SPLA/VARIAMOS/wiki

feature-modeling software-product-engineering software-product-lines

6 stars

11 watching

Name		Name	Last commit message	Last commit date
.settings		.settings
com.variamos.common		com.variamos.common
com.variamos.compiler/.settings		com.variamos.compiler/.settings
com.variamos.componentparser		com.variamos.componentparser
com.variamos.dynsup		com.variamos.dynsup
com.variamos.gui		com.variamos.gui
com.variamos.hlcl		com.variamos.hlcl
com.variamos.io		com.variamos.io
com.variamos.reasoning		com.variamos.reasoning
com.variamos.solver		com.variamos.solver
docs		docs
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.travis.yml		.travis.yml
CONTRIBUTING.md		CONTRIBUTING.md
README.md		README.md
build.gradle		build.gradle
issue_template.md		issue_template.md
settings.gradle		settings.gradle