• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1985

Résumé en langue originale

Ce travail présente à la fois un outil de modélisation (RÉseau Multi-Niveaux : REMUN) et un langage de description (LIDO : Langage Interprété de Description des Ordinateurs). Une 1ère partie concerne la définition de REMUN dont le tout est de permettre la modélisation d'un système logique à tous les niveaux de description. La seconde partie présente l'application de cet outil au niveau transfert de registre, un langage de description de systèmes logiques, LIDO, a été défini.