Beschreibung
Lingénierie des lignes de produits logiciels est une discipline récente en génie logiciel. Cest une adaptation du principe des chaînes de production au développement dapplications informatiques. Lapport majeur de ce paradigme est lintroduction dune architecture de référence permettant la gestion de la variabilité. Cette discipline a connu un grand succès en terme de productivité, mais des efforts conséquents liés à la gestion de la diversité doivent être envisagés. Dans le cadre de cet ouvrage, nous nous intéressons particulièrement à lanalyse automatique des modèles FD et FTS. Le diagramme FD est un formalisme largement utilisé pour la spécification structurelle des produits. Il sagit dun arbre spécifiant les caractéristiques et leurs dépendances. Le formalisme FTS est utilisé pour la spécification comportementale. Cest un système de transitions paramétré dans lequel ces transitions sont étiquetées avec les caractéristiques dun diagramme FD en plus d'être marquées avec des actions. Il est instancié différemment pour chaque produit selon les caractéristiques requises.
Autorenporträt
Dr. Khaled Khalfaoui est maître de conférences au département d'informatique de l'Université de Jijel, en Algérie. Ses recherches portent sur la vérification formelle des systèmes, les transformations de modèles ainsi que l'informatique quantique.
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
