Mémoires de Fin d’Etudes
Etablissement
Université de Biskra - Mohamed Khider
Affiliation
Département d’Informatique
Auteur
KHALFAOUI, Khaled
Directeur de thèse
foudil cherif (Maitre de conférence)
Co-directeur
allaoua chaoui (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Une approche de spécification des changements des besoins basée transformation de graphes
Mots clés
lignes de produits logiciels, transformation de models, grammaires de graphes, specification, verification.
Résumé
L’ingénierie des lignes de produits logiciels est une approche pour le développement de familles de systèmes logiciels. Une ligne de produits logiciels peut être définie comme un ensemble de produits partageants un ensemble commun de caractéristiques. Dans ce contexte, plusieurs travaux ont été réalisés afin de gérer la complexité inhérente aux systèmes avec un grand degré de variabilité. L‘objectif de cette thèse est de développer des cadres pour la spécification formelle et la vérification de ces systèmes en se basant sur la transformation de graphes.
Statut
Signalé