Une approche i. A de la generation de code de protocole de communication. Generation de code de protocole de communication par systeme expert

par JEAN-PIERRE LAUNAY

Thèse de doctorat en Sciences appliquées

Sous la direction de M. GONDRAN.

Soutenue en 1995

à Paris 9 .

    mots clés mots clés


  • Résumé

    Les documents de specification de protocoles de communication sont principalement ecrits en langage naturel (norme osi ou rfc internet). L'elaboration de langages formels intermediaires (techniques formelles de description) a permis de structurer le cycle de developpement de logiciel associe: a partir d'une specification du protocole ayant ete reecrite dans un tel langage, il est possible de generer automatiquement du code. Cependant, on connait peu de choses sur le processus (manuel) de reformulation du document initial vers une telle specification formelle, et par voie de consequence, il est difficile d'avoir la conviction de l'equivalence entre les deux niveaux de description. L'objectif de la these est de definir un langage formel integrant differents types de representations, et qui soit plus proche du langage naturel employe par le specificateur, de sorte que l'on puisse qualifier de traduction le passage entre les deux niveaux de description


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 280 P.
  • Annexes : 41 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.