Automated Analysis of Orthogonal Variability Models. A First Step

  title={Automated Analysis of Orthogonal Variability Models. A First Step},
  author={Fabricia Roos-Frantz and Sergio Segura},
The automated analysis of variability models is a challenge to be reached in SPLE (Software Product Line Engineering). Only recently researchers have devoted their attention to the reasoning on these models. However, their work has focused on Feature Models. Orthogonal Variability Modeling (OVM) is one of the approaches for modeling variability in software product line. Hence, an automated support is needed to reasoning on orthogonal variability models (OVMs). Although the automated analysis of… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

Fama framework

  • A. Ruiz-Corts, S. Segura, A. Jimenez
  • Software Product Line Conference Tool…
  • 2008

Fama framework. In Software Product Line Conference Tool Demonstrations (SPLC 08 Tools Demos

  • P. Trinidad, D. Benavides, A. Ruiz-Corts, S. Segura, A. Jimenez
  • 2008
1 Excerpt

A survey on the automated analyses of feature models

  • D. Benavides, A. Ruiz-Cort és, P. Trinidad, S. Segura
  • Jornadas de Ingenier ı́a del Software y Bases de…
  • 2006
3 Excerpts

Similar Papers

Loading similar papers…