Savoir comment faire pour enseigner les savoir-faire

Une équipe de professeurs et professionnels du Collège Montmorency s’est concertée pour peaufiner une méthode permettant d’enseigner plus efficacement les savoir-faire pratiques dans les classes de sciences. En plus de renforcer le sentiment de responsabilité des étudiants face à l’apprentissage, celle-ci vise, entre autres, à leur assurer une plus grande maitrise de diverses connaissances et compétences procédurales. Une approche didactique, une marche à suivre comportant quatre étapes et des outils d’accompagnement, de vérification et de correction ont été développés pour favoriser la cohérence du travail des professeurs et des techniciens et pour leur permettre d’allouer plus de temps à l’enseignement pratique, essentiel dans leur discipline. Il faut lire cet article stimulant pour en savoir plus et se laisser inspirer

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Un défi bien connu dans le domaine des méthodes formelles est d'améliorer leur intégration dans les processus de développement industriel. Dans le contexte des systèmes embarqués, l’utilisation des techniques de vérification formelle nécessitent tout d'abord de modéliser le système à valider, puis de formaliser les propriétés devant être satisfaites sur le modèle et enfin de décrire le comportement de l'environnement du modèle. Ce dernier point que nous nommons « contexte de preuve » est souvent négligé. Il peut être, cependant, d'une grande importance afin de réduire la complexité de la preuve. Dans notre contribution, nous cherchons à proposer à l’utilisateur une aide pour la formalisation de ce contexte en lien avec la formalisation des propriétés. Dans ce but, nous proposons et expérimentons un langage (DSL), nommée CDL (Context Description Language), pour la description des acteurs de l’environnement, basée sur des diagrammes d’activités et de séquence et des patrons de définition des propriétés à vérifier. Les propriétés sont modélisées et reliées à des régions d’exécution spécifiques du contexte. Nous illustrons notre contribution sur un exemple et décrivons des résultats sur plusieurs applications industrielles embarquées

Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables

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

Analyse préliminaire de la situation et des perspectives de la culture du haricot de Lima (Phaseolus lunatus L.) sur la Côte péruvienne (Vallées d'Ica, Pisco et Casma)

Preliminary analysis of the situation and prospects of the Lima bean crop (Phaseolus lunatus L.) in the Peruvian Coast (Valleys of Ica, Pisco and Casma). The Lima bean, Phaseolus lunatus L., is a crop of regional importance on the Peruvian Coast. Within the framework of a collaborative project between the ""faculté universitaire des Sciences agronomiques'"" in Gembloux and the ""Universidad Nacional Agraria La Molina"" in Lima, we carried out a diagnosis of this speculation in the Ica, Pisco and Casma valleys in order to define the constraints which limit crop yields and to suggest improvements within the reach of the smallholders. To achieve these objectives we carried out a formal survey, centred on the Lima bean crop and smallholder relations with the agro-socio-economical environment, and an informal survey, centred on the studied farm systems. To complete these data we met some key informants belonging to all the sectors in contact with agriculture. This study allowed us to identify five undersystems in the farm systems of the Peruvian Coastal Valleys. These undersystems are: cotton, commercial food crops, self-subsistence food crops, livestock and fruit trees. The Lima bean usually belongs to the commercial food crops undersystem. There are two types of constraints. External constraints affect all the components of the farm system and are mainly: end of State support to agriculture, liberalization of trade and unavailability of credit. Internal constraints directly affect the Lima bean crop. Low income leads to a deficiency in pest control and adequate crop management. The Lima bean is also in competition with other components of the system such as cotton and common bean

Le programme Mogador en linguistique formelle arabe et ses applications dans le domaine de la recherche et du filtrage sémantique

The MOGADOR project aims at devolopping a new approach to Arabic Natural Langage Processing, by designing software tools based on an original description of Arabic grammar that gives top priority to its tool-words (in a redefined definition). These 'tool-words', that do not derivate from the standard morphological system, trigger off expectations at both syntactic and semantic levels, and thus constrain the sentence either locally or globally. Based on our theoretical and algorithmic work in morphological analysis, electronic dictionaries and proof software in corpora analysis and Information Retrieval, we plan to make available a new generation of filters featuring limited complexity. We propose steps in both theoretical and software fields, with the design of new parsers and software proof tools. These filters could be embedded in search tools boosting them with the results of new linguistic analysis, which have become essential considering the recent boom of the Arabic Web.Développer une approche nouvelle du traitement automatique de larabe fondés sur une modélisation originale de la grammaire arabe donnant la priorité aux mots-outils (redéfinis), est l'ambition du programme MOGADOR. Échappant au système de dérivation, ces mots-outils induisent des attentes syntaxiques voire sémantiques contraignant localement et/ou globalement la phrase. Forts de nos développements algorithmiques et applicatifs en analyse morphologique, en dictionnaires électroniques et en démonstrateurs dans le domaine de l'analyse de corpus et de la recherche d'informations, nous projetons, par des développements théoriques, la construction de nouveaux analyseurs et des mises en oeuvre concrètes, de rendre possibles de nouvelles méthodes de filtrage à complexité maîtrisée. Ces filtres pourront être couplés à des moteurs de recherche, dopant ces derniers par des analyses linguistiques qui sont devenues nécessaires depuis l'explosion du Web en langue arabe

Intervenir à partir de l’approche écologique : au centre, l’intervenante

Des travailleuses sociales, impliquées dans des interventions auprès de familles faisant l'objet de plaintes pour négligence envers un enfant, ont suivi avec l'auteur un atelier dont les objectifs étaient de prendre connaissance des concepts en approche écologique, de faire la jonction entre cette approche et la problématique dans laquelle elles oeuvraient, de fournir un contexte approprié à l'analyse des territoires et d'identifier des voies nouvelles d'intervention. Cet article est le produit des observations de fauteur et de ses discussions avec les intervenantes

Le microfinancement dans les pays en développement. Evolution, théories et pratiques

Cette bibliographie est un outil permettant d'approfondir les thèmes de travail actuels liés au microfinancement : évolution de la pensée économique depuis les années 90, réflexions et réalisations sur le diagnostic, la mise en oeuvre, le suivi, l'impact et la régulation des systèmes de microfinancement. Elle est destinée aux opérateurs de terrain impliqués dans la mise en oeuvre de ces systèmes, aux chercheurs et aux experts se consacrant à leur étude et à leur amélioration, ainsi qu'aux étudiants qui cherchent à comprendre leur fonctionnement et leurs contraintes. Elle accorde une bonne place à la littérature "grise" et aux références francophones; elle se présente sous forme de 340 références dont 240 avec un bref résumé, regroupées en sept chapitres, chacun introduit par une synthèse

Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs

The purpose of this document is to describe an overview of my work on the topic of "programming mutli/many-core COTS in the context of aeronautics" and to propose future research work.L’objectif de ce document est de décrire une synthèse des travaux que j’ai menés autour du thème de "la programmation sûre de plates-formes embarquées" et de proposer des perspectives de recherche pour les années à venir