Show simple document record

dc.contributor.advisorFrappier, Marcfr
dc.contributor.authorSalabert, Kevinfr
dc.date.accessioned2014-05-16T15:36:48Z
dc.date.available2014-05-16T15:36:48Z
dc.date.created2011fr
dc.date.issued2011fr
dc.identifier.isbn9780494836767fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4922
dc.description.abstractLe 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.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Kevin Salabertfr
dc.titleiASTD, un interpréteur d'ASTDfr
dc.typeMémoirefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record