Knowledge Tree

researcher / Jean-Pierre Finance

Jean-Pierre Finance

at_id:

orcid_id:

Disciplines:

Applied sciences

Chemistry

Computer sciences

Medicine and health

Edit Merge See Links

Directed Thesis:

Spécification d'interfaces homme-machine et prototypage

Formalisation du comportement des objets gérés dans le cadre du modele OSI

Aides au développement de spécifications

Protocoles de communication et grammaires attribuées

Stratégies non monotones dans le développement de programmes

Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation

Transformation de programmes logiques

Programmation parallèle asynchrone et impérative : études et propositions : une extension parallèle du langage objet Eiffel

Techniques d'implantation de programmes parallèles sur architectures réparties

Spécification et validation de systèmes de processus communicants

Méthodes, langages et outils de spécification et de construction des systèmes de diagnostic

Un système expert de diagnostic médical appliqué à la nutrition

Le transfert d'expertise : Application à la réalisation d'un système d'aide à la synthèse en chimie organique