Now showing documents 1-1 of 1

    • iASTD, un interpréteur d'ASTD

      Salabert, Kevin (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 ...