• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

iASTD, un interpréteur d'ASTD

Thumbnail
View/Open
MR83676.pdf (3.325Mb)
Publication date
2011
Author(s)
Salabert, Kevin
Show full document record
Abstract
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 d'exécuter de façon simple une suite d'évènements afin de valider la spécification, et un outil plus durable permettant d'exécuter efficacement le système d'information final généré à partir d'une spécification ASTD. Ce mémoire présente l'ensemble des travaux évoqués à propos de l'interpréteur iASTD d'ASTD, depuis l'écriture des algorithmes décrivant l'exécution d'actions sur la structure ASTD spécifiée, à leur implémentation dans le langage oCaml, en passant par l'introduction d'algorithmes de Kappa optimisation pour l'exécution des opérateurs quantifiés. Les tests fonctionnels et les tests de performance sont également présentés.
URI
http://savoirs.usherbrooke.ca/handle/11143/4922
Collection
  • Sciences – Mémoires [1657]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback