Search
Now showing documents 1-1 of 1
iASTD, un interpréteur d'ASTD
(Université de Sherbrooke, 2011)
Le langage de spécification formel ASTD a été conçu pour la description des systèmes d'information complexes. Deux outils sont alors nécessaires pour l'exécution d'actions sur une telle spécification : un outil permettant ...