Une Approche de Spécification des Changements de Besoins - Khalfaoui, Khaled
40,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
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.