Colloque

Modèle d'espace topologique pour le calcul de nouvelles métriques en génie logiciel

Alain Durand

Pierre N. Robillard

Membre a labase

Alain Durand

Résumé du colloque

Les mots métriques et complexité n'ont pas le même sens selon que l'on parle à un mathématicien, un informaticien théorique ou un ingénieur logiciel. Pour le mathématicien, le mot métrique est rattaché au domaine de la topologie, de l'intégration et la théorie de la mesure. Pour l'informaticien théorique, le mot complexité est rattaché à l'étude théorique des algorithmes. Pour l'ingénieur logiciel, le mot métrique (du logiciel) réfère une caractéristique particulière d'un programme. Le point de vue de chacun est abordé. On introduit ensuite l'intérêt de bâtir un modèle mathématique pour étudier certains aspects du logiciel. Un modèle restreint est alors proposé dans lequel on construit un espace et l'on en étudie certaines propriétés. Une distance d sur cet espace est introduite. On rejoint ensuite les travaux précédents sur l'analyse statique du code source et on montre des exemples d'utilisation pratique de l'application de ce modèle.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Système Tuteur Intelligent Réparit (STI)

Anatole Kengne

Les systèmes intelligents embarqués appliqués au transport routier: promesses et réalités

Jean-François Martin

Reconstruction tridimensionnelle basée sur le calcul du Flux Optique, avec contrainte stéréoscopique

Sébastien Roy

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Modèle d'espace topologique pour le calcul de nouvelles métriques en génie logiciel

Alain Durand