Abstraction  Adolescent  Aide diagnostic  Algèbre  Alimentation  Analyse programme  Appareillage  Application  Application industrielle  Asspegique  Asynchronisme  Bibliothèque de spécification  Cd  Chimie  Chimie générale et physique  Cognition  Communicating process  Comportement alimentaire  Composés inorganiques -- Synthèse  Computer science  Computer system  Conception programme  Concurrence  Concurrent program  Diagnosis  Diagnostic  Diagnostic panne  Dialogue Homme-Machine  Distributed system  Détection de défaut  Développement logiciel  E,R-algèbres  Eiffel  Eiffel  Environnement de spécification  Environnement spécification  Expert system  Feeding behavior  Grammaire  Génie logiciel  Homme  Human  Héritage  Informatique -- Aspect cognitif  Informatique  Informatique, automatique théorique, systèmes  Installation industrielle  Instrumentation  Intelligence artificielle  Interface utilisateur  Interfaces utilisateur  LISP  Langage  Langage de spécification  Langage spécification  Langages de programmation  Langages à objets  Logical programming  Logiciels -- Développement  Logique temporelle  Maintenance automatisée  Man Machine dialogue  Metabolic diseases  Modeling  Modifications de spécification  Modèle OSI  Modélisation  Multiprocesseur  Multiprocessor  Métabolisme pathologie  Méthodes formelles  Méthodologie  Nutrition  OSI  Outil logiciel  Pannes  Parallel programming  Parallélisme  Parallélisme  Planification  Planning  Pliage  Preuve programme  Processus communicant  Program analysis  Program proof  Program specification  Programmation logique  Programmation parallèle  Programmation parallèle  Programme concurrent  Protocole transmission  Prototypage  Prototype  Raisonnement  Raisonnement non-monotone  Relations entre spécification  Représentation des connaissances  Reuse  Réseau télécommunication  Réutilisation  Réécriture  Réécriture de termes  Réécriture, Systèmes de  Sciences appliquées  Software development  Software engineering  Specification language  Spécification  Spécification formelle  Spécification programme  Spécifications  Spécifications algébriques  Structures de données  Synthesis  Synthèse  Système expert  Système informatique  Système réparti  Systèmes experts  Systèmes informatiques  Sémantique opérationnelle  TMN  Technique  Telecommunication network  Temps réel  Temps réel  Thesis  Thèse  Traitement réparti  Transformation  Transformation programme  Transmission protocol  User interfaces  Validation  Vérification de propriété d'interface  XSLT  Éducation nutritionnelle  Épidémiologie  

Jean-Pierre Finance a dirigé les 15 thèses suivantes :

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Jean-Pierre Finance a été membre de jury de la thèse suivante :