Colloque

Stratégies de décomposition des spécifications difonctionnelles

Ali Jaqua

Membre a labase

Ali Jaqua

Résumé du colloque

Les études récentes des méthodologies de recouvrement avant de programme-nous ont dévoilé un espace de problèmes très généraux et possédant des propriétés uniformes: les difonctionnelles. L'objectif de cette communication est de présenter certaines stratégies d'analyse et de décomposition de problèmes déduites des propriétés intrinsèques aux difonctionnelles et de la notion d'"information critique" qui nous fournit des indications sur les caractéristiques du problème, voire même certains paramètres et propriétés relatifs aux phénomènes réels qui font l'objet de notre spécification. Contrairement aux méthodes usuelles de décompositions subjectives du problème, nous proposons un découpage sur les frontières des rectangles dont l'union constitue une difonctionnelle associée à notre problème. Dans la présente communication nous exposerons des nouvelles questions relatives à ces nouvelles approches de décomposition, en particulier la généralisation des rectangles et leur groupement dans le but de former une arborescence naturelle de la structure du problème.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Stratégies de décomposition des spécifications difonctionnelles

Ali Jaqua

Synapse: un langage de programmation basé objet pour les applications multi-tâches en temps réel

Michel De Champlain

Un modèle pour la représentation des programmes parallèles

Jalal Almhanna

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Stratégies de décomposition des spécifications difonctionnelles

Ali Jaqua