Communication and training materials
See the Wiki . In this place you will find useful documentation for developpers and contributors
What are their differences from other existing software product line tools?
From the point of view of analysis and verification, most of the tools found in the literature are formalism-dependent, and they only focus on feature models. In addition, most of them concentrate on verifying the consistency of a combination of features (a feature configuration) against the feature model.Tools like FAMA (http://www.isa.us.es/fama) and SPLOT (http://www.splot-research.org) consider several verification operations for feature models. VariaMos supports the same verification operations but not only over feature models, but also over other models based in the meta-models defined by engineers in order to represent variability-based systems. Currently VariaMos focus mainly on domain engineering activities and therefore it primarily provides functionalities related to modeling, reasoning, and simulation on variability models written in any notation.
The web version of VariaMos is supported by the following team
VariaMos Past Version Team
Raul Mazo, Juan Muñoz, Daniel Correa, Luisa Rincon, Angela Villota, Jose Lopez, Esteban Echavarría, David Henao
Copyright (c) 2015-2018
Raul Mazo, Diego Quiroz, Sebastian Monsalve, David Lopez, Jose Lopez
Copyright (c) 2014-2015
Copyright (c) 2009-2014:
If you want to collaborate or you’re interested on using VARIAMOS contact us we’d love to hear from you!