Welcome to the VariaMos tool WebSite.

VariaMos is a modeling tool that incorporates different modeling languages to specify and analyze families of systems, for instance (self) adaptive systems and (dynamic) product lines.


Important Note
Do not forget to follow the tool configuration steps the first time and the execution requirements (variables and library) for OSX. From version VariaMos requires SWIProlog 7.2.3
Video Tutorial
video tutorial using version is available online.

Do you want to contact us? Use this simple contact form:


Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Families of Systems & SAS Modeling Tool