Mathématiques et programmation analyse des besoins et inventaire de ressources au collégial /

"Ce projet constitue le troisième volet d'une recherche portant sur les applications de l'ordinateur dans l'enseignement et l'apprentissage des mathématiques au collégial"Également disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr

Une nouvelle approche d'aide à la conception par ordinateur en architecture basée sur la modélisation d'opérateurs sémantiques et la création de maquettes procédurales

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Signe géographique : chorèmes et tégéos

La théorie des chorèmes se propose d'adopter, pour analyser des phénomènes géographiques, un point de vue bien défini et compare les chorèmes à des signes linguistiques. La comparaison n'est pas exacte car les chorèmes n'ont pas pour fin la communication. Toutefois, on peut relever une ambiguïté dans la conception des chorèmes. Tantôt il s'agit des objets géographiques, tantôt des schémas graphiques qui servent à les noter sur une carte. En ce second sens, les chorèmes sont bien des signes, véhiculant le discours du géographe.Les conséquences de la confusion entre l'objet « chorème » et sa représentation graphique sont analysées sur la base des deux dessins qui se retrouvent dans les publications de Roger Brunet et Robert Ferras de 1980 à 1990: aires en contact et évolutions ponctuelles.Un tégéo (contraction de « théorie de la géographie ») est un signe géographique dont le signifié désigne un objet géographique constitué par un couple indissociable (information, lieu) différentié à la surface de la terre. Le tégéo est exprimé à l'aide d'une représentation dont le dessin est un signifiant obéissant à une logique.In analysing geographic phenomena, the theory of "choremes" assumes a definite point of view comparing "choremes" to linguistic signs. The comparison is imperfect because choremes are not conceived for purposes of communication. Nevertheless, a certain ambiguity is evident in their conception. They may on occasion be applied to geographic objects or to geographic schema which facilitate their cartography.The consequences of the confusion between the "choremes" and its graphic representation are analysed using two graphics found in the publications of Roger Brunet and Robert Ferras: contact zones (aires en contact) and punctual evolution (évolutions ponctuelles).A tégéo (contraction of theory of geography) is a geographic sign whose meaning indicates a geographic object comprising an indissociable pair (information, place) differentiated on the earth's surface. The tégéo is expressed using a representation the design of which follows a prescribed logic

Application du modèle Entité-Composant-Système à la programmation d'interactions

National audienceThis paper introduces a new GUI framework based on the Entity- Component-System model (ECS), where interactive elements (Entities) can acquire any data (Components). Behaviors are managed by continuously running processes (Systems) which select entities by the components they possess. This model facilitates the handling and reuse of behaviors. It allows to define the interaction modalities of an application globally, by formulating them as a set of Systems. We present Polyphony, an experimental toolkit implementing this approach, detail our interpretation of the ECS model in the context of GUIs, and demonstrate its use with a sample application.Cet article présente un nouveau cadre de conception d’IHM basé sur le modèle Entité-Composant-Système (ECS). Dans ce modèle, les éléments interactifs (Entités) acquièrent librement des données (Composants). Les comportements sont régis par des processus communs s’exécutant continuellement (Systèmes), qui sélection- nent les entités par les composants qu’elles possèdent. Ce modèle favorise la manipulation et la réutilisation des comportements. Il permet de définir globalement les modalités d’interaction d’une application, en les formulant par un ensemble de systèmes. Nous présentons Polyphony, une boîte à outils expérimentale implémen- tant cette approche, détaillons notre interprétation du modèle ECS en contexte IHM, et l’illustrons avec un exemple d’application

Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence JFLA 2009.Pour la vingtième année consécutive, les Journées Francophones des Langages Applications sont l'occasion de se retrouver dans un cadre agréable et propice aux échanges conviviaux. Cette année, c'est à Saint-Quentin sur Isère, près de Grenoble, que nous nous réunissons, maintenant la tradition de l'alternance mer-montagne. Les neuf articles choisis par le comité de programme reflètent bien la diversité de notre communauté et les avancés tant du point de vue de l'application de langages fonctionnels que de la conception et de l'utilisation d'assistants à la preuve. Nous avons souhaité également inclure des articles plus proches de tutoriels ou de retours d'expérience, ceux-ci étant particulièrement adaptés au cadre pédagogique des Journées. Deux orateurs nous ont fait l'honneur d'accepter notre invitation. L'exposé de Vincent Balat, de l'université Paris 7, intitulé ≪ Ocsigen : approche fonctionnelle typée de la programmation Web ≫ illustre l'utilisation croissante de langages applicatifs dans des milieux inattendus. L'exposé de Bruno Barras, de Trusted Labs, intitulé ≪ Faut-il avoir peur de sa carte SIM ? ≫ présente l'application d'assistants à la preuve dans la modélisation de cartes à puces. Pour la quatrième année consécutive, deux sessions d'une demi-journée chacune sont consacrées à des cours. Le premier porte sur la modélisation de la linguistique (par Gérard Huet, de l'INRIA Paris - Rocquencourt) et le deuxième sur les bibliothèques Coq utilisées dans la preuve récente du théorème des quatre couleurs (par Assia Mahboubi, de l'INRIA Saclay - Île-de-France)