Patrick Sallé

Acteurs  Assistants de preuve  Aéronautique -- Instruments  Bases de données  Bases de données orientées objet  Calcul d'acteurs primitifs  Calcul de processus  Compilation optimisée  Conception assistée par ordinateur  Coq  DO-178C  Didacticiels  Développement prouvé  Enseignement assisté par ordinateur  Ergonomie  Erlang  Espace extra-atmosphérique -- Exploration  Expressivité  Fiabilité  Génie logiciel  Générateur de code  Génération automatique de code  Héritage  Implémentation ouverte  Informatique -- Gestion  Inférence  Ingénierie dirigée par les modèles  Interaction en éducation  Interprétation abstraite  Java  Lambda-calcul  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation orientés objet  Linéarité  Logiciel de commande de vol  Logiciels -- Vérification  Logique temporelle  Messages orphelins  Middleware  Ml-act  Modularité  Métamodélisation  Méthodologie  Performances  Petri, Réseaux de  Placement  Programmation automatique  Programmation orientée objets  Pédagogie par objectifs  Représentation des connaissances  Réflexivité  Réseaux logiques programmables  Simulation de modèles  Simulation par ordinateur  Simulation, Méthodes de  Simulink  Structures de données  Systèmes conversationnels  Systèmes de télécommunications  Systèmes embarqués  Systèmes experts  Systèmes homme-machine  Systèmes informatiques -- Mise en oeuvre  Sémantique comportementale  Séparation des niveaux  Technique des plasmas  Traitement réparti  Typage  Vérication formelle  Vérification de modèles  

Patrick Sallé a dirigé les 18 thèses suivantes :

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Informatique
Soutenue en 1988
Thèse soutenue