Conception et implémentation d'un langage de description de diagrammes de mathématiques discrètes et d'informatique théorique

Bourgeois, Mathieu (2011). « Conception et implémentation d'un langage de description de diagrammes de mathématiques discrètes et d'informatique théorique » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en mathématiques.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (2MB)

Résumé

Dans ce mémoire, nous analysons la description de diagrammes structurés dans le domaine des mathématiques discrètes et de l'informatique théorique. Cette analyse s'effectue à partir de méthodes établies du génie logiciel. Nous trouvons un ensemble de propriétés que nous recherchons dans une solution informatique nous permettant de créer ces diagrammes. Nous analysons aussi les outils classiques à partir des propriétés précédentes qui nous permettent de réaliser ces diagrammes dans un environnement LATEX. Nous observons que ces outils ne sont pas aussi puissants qu'ils le pourraient en fonction des propriétés établies par notre analyse. Par la suite, en nous basant sur les méthodes de représentation graphique des courbes et sur la théorie des langages informatiques, nous jetons les bases d'un langage de description. Nous présentons aussi un outil, développé en Java qui nous permet de décrire aisément nos diagrammes d'informatique théorique et de mathématiques discrètes à partir d'une hiérarchie d'objets claire et extensible. Nous avons implémenté les éléments essentiels de notre langage en SDDL (Structured Diagram Description Language). Nous l'avons aussi validé à l'aide d'exemples représentatifs tirés de sources d'autorité. Nous avons finalement présenté notre solution dans le cadre de la conférence TUG 2010. Nous l'avons aussi présenté avec un article dans la revue du TeX Users Groups, TUG. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : diagrammes, informatique théorique, mathématiques discrètes, langage

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur
Directeur de thèse:	Villemaire, Roger
Mots-clés ou Sujets:	Graphique, Informatique théorique, Langage de description, Mathématique discrète
Unité d'appartenance:	Faculté des sciences > Département de mathématiques
Déposé par:	Service des bibliothèques
Date de dépôt:	07 mai 2012 19:51
Dernière modification:	01 nov. 2014 02:21
Adresse URL :	http://archipel.uqam.ca/id/eprint/4633

Modifier les métadonnées (propriétaire du document)

Statistiques