Knowledge Tree

researcher / Jean-Louis Durieux

Jean-Louis Durieux

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Raisonnement qualitatif applique au test evolutif des logiciels

Les automates asynchrones : traces, construction, determinisation, caracterisation en termes de reseaux de petri

Introduction de méthodes rigoureuses de génie logiciel pour le développement d'applications spatiales embarquées

Conception et réalisation d'un atelier de réécriture et de calcul symbolique

Contribution à la modélisation de méthodes : application aux méthodes de Jackson

Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation

Application du concept d'objet a la representation et a l'utilisation de connaissances dans un systeme de conception assistee par ordinateur en architecture