Type abstrait

Un type abstrait est composé de cinq champs : Type abstrait ; Utilise ; Opérations ; Pré-conditions ; Axiomes. Ces cinq éléments sont souvent réunis sous l'acronyme : TUOPA. Le champ « Type abstrait » contient le nom du type que l'on est en train de décrire et…