Les problèmes liés au temps de développement et à la maintenance des logiciels provoquent généralement une baisse de productivité de l'industrie logic...
Le travail decrit dans cette these appartient au contexte general de la mise au point de systemes distribues. Notre approche vise a pouvoir analyser a...
