978-613-8-45774-9

Une Approche de Spécification des Changements de Besoins

Regular price
€61,90
Sale price
€61,90
Regular price
Sold out
Unit price
per 
Shipping calculated at checkout.

Summary:

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.

Author:

Khaled Khalfaoui

Biographie:

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.

Number of Pages:

136

Book language:

French

Published On:

2019-01-31

ISBN:

978-613-8-45774-9

Publishing House:

Éditions universitaires européennes

Keywords:

ligne de produits logiciels, vérification formelle, transformation de graphes

Product category:

COMPUTERS / General