Présentation sur les ASTD

J’ai participé aujourd’hui à une journée du groupe de travail LaMHA du GDR GPL. A cette occasion, j’ai fait une présentation des ASTD, le langage formel et graphique que nous avons développé avec Marc Frappier et Régine Laleau ces dernières années. En particulier, j’ai présenté la relation de raffinement qui a été définie pour les ASTD (pour plus de détails, voir article de revue).