Bonjour,
 
Avec Ada ; Comme avec d'autre langage ; Il est d'usage, dans un programme de dire ce que fait le programme et comment il le fait.
 
Malheureusement ; J'ai pas le niveau pour expliquer le concept.
Je pose donc un ou plusieurs question sans pour autant mettre de point d'interrogation. Le vide sera de lui même interrogatif.
 
Néamoins, j'ai préparé ; Dans la perspective d'augmenter mon projet courant ; Quelques élément qui permettent de construire un tel fichier qui peut servir d'entête de spécification.
 
Dans l'objectif d'écrire une classe Dev_Classes qui permettra de stoquer les élément de cette classe dans un arbre N-aires éthérogène permettant de décrire un programme, j'ai préalablement posté alieur sur ce forum une déscription d'un arbre N-aires.
 
De mémoire, les éléments suivant permettent définir "ce que fait le progrmme" et "comment il le fait"
 
Dev_Class :
+ License
+ Main
+ Library
   + Axiomatic
      Précondition
      Axiom
      Predicat
      Condition
   + Specification
      + Component
         Action
         Class
         Machine
         Systèm