CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Prototypes  \  Prototype Page Login  
banner bottom
File Top
VM (Variability Modeling and Configuration Language and Editor)

Variability modeling and configuration are crucial for the development of highly configurable systems such as video sequences generators and product lines. The variability modeling and configuration language provides a light human readable and writable textual notation that is modular, analyzable, aware of attributes, and type safe. The design rational and criteria were given by the industrial needs or our industrial partners in France. The development of this tool is based on JAVA and Xtext ( and it makes interface with the world famous CSP Choco solver (

Authors: Mauricio Alférez
File Bottom