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

Résumé en langue originale

On étudie les éléments essentiels que doit posséder un bon outil de spécification. Ces caractéristiques permettent l'analyse de quelques méthodologies de spécification en faisant apparaître les points forts et les limites. On étudie ensuite les réseaux de pétri et plus particulièrement les réseaux de pétri structurés qui constituent la base d'une méthodologie de spécification et de conception dont on donne les principales directions. On présente des méthodes et outils d'analyse permettant une validation presque complète des spécifications à un niveau d'abstraction donné. On montre que l'utilisation de réseaux de pétri structures apporte, par rapport à l'utilisation de réseaux de pétri normaux, un certain nombre de simplifications