Type de Données Abstrait

Une spécification d’une catégorie de données par l’ensemble des opérations qui peuvent y être effectuées et les propriétés (sémantique comportementale) que ces opérations doivent satisfaire, indépendante de toute implémentation particulière.