researcher / Patrick Sallé

Patrick Sallé

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Approche de métamodélisation pour la simulation et la vérification de modèle : application à l'ingénierie des procédés
Analyse statistique d'un calcul d'acteurs par interprétation abstraite
Une plateforme réflexive ouverte pour la gestion d'applications concurrentes réparties à base d'acteurs
Analyse statique de la communication dans un langage d'acteur fonctionnel
Vérification statique de programmes répartis
Etude et implantation de mecanismes reflexifs dans un langage concurrent
Analyses statiques d'un calcul d'acteurs par typage
Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets
Modélisation par objets de systèmes complexes dans le cadre d'applications scientifiques spatiales : introduction de la notion de version dans un modèle objet multivue
La GDAO (Gestion Didactique Assistée par Ordinateur) : un modèle informatisé d'aide à la recherche de stratégies pédagogiques et à la production de connaissances sur la décision didactique
Représentation orientée objet de système opérationnel avec application au domaine spatial
La cooperation entre systemes experts et systemes de gestion de bases de donnees : l'optimisation des performances d'un systeme expert accedant a une base de faits volumineuse
Modélisation des connaissances méthodologiques en développement de projets logiciels : application : prototype d'un système expert didactique en génie logiciel
Application de la méthodologie acteur à la simulation discrète et intégration d'un modèle du temps à un interprète plasma
Ciel : Classes et Instances En Logique
Conception d'applications conversationnelles adaptée à l'utilisateur