Une Approche de Spécification des Changements de Besoins
61,90 €
58,80 €
Économisez 5%
L’ingénierie des lignes de produits logiciels est une discipline récente en génie logiciel.
C’est une adaptation du principe des chaînes de production au développement d’applications informatiques.
L’apport majeur de ce paradigme est l’introduction d’une 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 à l’analyse automatique des modèles FD et FTS.
Le diagramme FD est un formalisme largement utilisé pour la spécification structurelle des produits.
Il s’agit d’un arbre spécifiant les caractéristiques et leurs dépendances.
Le formalisme FTS est utilisé pour la spécification comportementale.
C’est un système de transitions paramétré dans lequel ces transitions sont étiquetées avec les caractéristiques d’un diagramme FD en plus d'être marquées avec des actions.
Il est instancié différemment pour chaque produit selon les caractéristiques requises.
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.
Fiche technique
- Auteur
- Khaled Khalfaoui
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pays
Algérie
L’ingénierie des lignes de produits logiciels est une discipline récente en génie logiciel.
C’est une adaptation du principe des chaînes de production au développement d’applications informatiques.
L’apport majeur de ce paradigme est l’introduction d’une 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 à l’analyse automatique des modèles FD et FTS.
Le diagramme FD est un formalisme largement utilisé pour la spécification structurelle des produits.
Il s’agit d’un arbre spécifiant les caractéristiques et leurs dépendances.
Le formalisme FTS est utilisé pour la spécification comportementale.
C’est un système de transitions paramétré dans lequel ces transitions sont étiquetées avec les caractéristiques d’un diagramme FD en plus d'être marquées avec des actions.
Il est instancié différemment pour chaque produit selon les caractéristiques requises.