Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case Marseille cedex 09 Conception d’un logiciel pour la programmation par ensembles-réponses

Présentation de l’entreprise -University of Western Ontario -Département informatique Analyse de l’existant -Domaine d’application -Conception générale Travail réalisé -Restructuration du logiciel -Tests et performances -Ajout des contraintes d’intégrité Bilan -Bilan du stage -Bilan de la formation initiale SOMMAIRE

Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan SOMMAIRE Présentation de l’entreprise

SOMMAIRE UWO et son département informatique Université de Western Ontario, London, Canada Département informatique de l’université Plusieurs secteurs de recherche informatique à UWO Secteurs de recherche du tuteur - Intelligence artificielle - Applications pour l’intelligence artificielle Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

SOMMAIRE Analyse de l’existant Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan SOMMAIRE Domaine d’application Description - langage C/C++ utilisé - logiciel basé sur une recherche de M. Mercer et M. Risch But du logiciel - entrée : programme logique (prolog) - sortie : ensemble-réponses Autres logiciels utilisés - LParse - Smodels

SOMMAIRE Architecture du logiciel - Décomposer un problème - Résoudre le problème avec Smodels Algorithme et structure de données - Algorithme de Bron-Kerbosch (back-track) - Arbre Conception générale Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan LParse interface SModels

SOMMAIRE Conception générale Présentation de l’entreprise Analyse de l’existant -Domaine d’applications -Conception générale Travail réalisé Bilan LParse interface SModels SModule

SOMMAIRE Travail réalisé Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan SOMMAIRE Restructuration du logiciel Rendre le logiciel portable Organisation des fichiers en plusieurs dossiers Création de scripts d’exécution Utilisation d’iterators pour parcourir les vecteurs

SOMMAIRE Tests de performance Comparaison du temps d’exécution entre Smodels et Smodule Tests du programme avec des benchmarks Profilage d’exécution du logiciel avec gprof Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan

SOMMAIRE Prise en compte des contraintes d’intégrité Ajout des contraintes d’intégrités négatives - f :- not a, not b, not f Ajout des contraintes d’intégrités positives - f :- a, b, c, not f Débogage du logiciel Présentation de l’entreprise Analyse de l’existant Travail réalisé -Restructuration du logiciel -Tests de performance -Contraintes d’intégrité Bilan

SOMMAIRE Bilan Présentation de l’entreprise Analyse de l’existant Travail réalisé Bilan

SOMMAIRE Bilan du stage Mise en œuvre des connaissances Transformation des connaissances en compétences Stage linguistique Découverte du monde de la recherche Présentation de l’entreprise Travail réalisé Bilan - Bilan du stage - Bilan de la formation initiale

SOMMAIRE Bilan de la formation initiale Formation professionnalisée complète Bonnes bases en C++ et en algorithmique Bonnes bases en théorie des graphes Présentation de l’entreprise Travail réalisé Bilan - Bilan du stage - Bilan de la formation initiale

Nicolas TassaraAnnée 2006 Université de la Méditerranée Aix-Marseille II École Supérieure d’Ingénieurs de Luminy Département informatique Luminy case Marseille cedex 09 Conception d’un logiciel pour la programmation par ensembles-réponses