Modélisation de la variabilité basée sur les fonctionnalités dans l'évolution des logiciels

Cet ouvrage propose une méthodologie bio-inspirée guidant le processus de modélisation des fonctionnalités logicielles qui à partir d'un modèle d'exigences logicielles produit un modèle de conception logicielle basé sur les fonctionnalités et prenant en charge les aspects de variabilité et d'évolution. Cette méthodologie étend ainsi les concepts traditionnels du modèle de fonctionnalités en y ajoutant ceux de l'évolution. Elle construit un modèle de fonctionnalités étendu à partir du modèle traditionnel. Une combinaison de deux notations formelles est utilisée dans la spécification du modèle de fonctionnalités étendu. Les notations EBNF ont été utilisées pour définir la structure du modèle tandis que les notations algébriques ont été utilisées pour définir ses propriétés.