Ensino do inglês no 1º ciclo: perceções dos professores de inglês do 1º e 2º ciclos e alunos do 2º ciclo

Sendo a escola uma instituição concebida para a formação académica e social da criança, a aprendizagem duma língua estrangeira torna-se crucial para que a criança desenvolva uma atitude positiva perante outras línguas e culturas. É, portanto, necessário que a escola encontre formas de ensinar línguas estrangeiras que sejam adequadas ao 1º ciclo do Ensino Básico. O presente projeto de mestrado, intitulado Ensino do Inglês no 1º ciclo: perceções dos professores de Inglês do 1º e 2º ciclos e dos alunos do 2º ciclo reflete uma investigação baseada nas opiniões e perceções de profissionais e alunos de escolas públicas portuguesas que, direta ou indiretamente, estão envolvidos com o Inglês no 1º ciclo. Inicialmente apresenta-se um enquadramento legal que permite perceber quais as normas e orientações existentes na Europa e em Portugal, em termos de ensino precoce de línguas estrangeiras. A introdução do Programa de Generalização do Ensino de Inglês em 2005 começou por refletir um caminho de convergência com as políticas educativas europeias. No entanto, muitas das vitórias conseguidas por este Programa, pertencem ao passado. Os profissionais no ensino das línguas estrangeiras questionam-se acerca de muitos aspetos, originados pela forma como se cumpre atualmente o Ensino do Inglês, enquanto Atividade de Enriquecimento Curricular no 1º ciclo. Os questionários aplicados neste projeto pretendem dar voz às perceções e opiniões destes mesmos profissionais.

O contributo da expressão plástica para o desenvolvimentodas múltiplas linguagens da criança

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Uma aplicação Web para apoio a laboratórios remotos reconfiguráveis baseados na norma IEEE 1451.0

Nos últimos anos, o processo de ensino e aprendizagem tem sofrido significativas alterações graças ao aparecimento da Internet. Novas ferramentas para apoio ao ensino têm surgido, nas quais se destacam os laboratórios remotos. Atualmente, muitas instituições de ensino disponibilizam laboratórios remotos nos seus cursos, que permitem, a professores e alunos, a realização de experiências reais através da Internet. Estes são implementados por diferentes arquiteturas e infraestruturas, suportados por vários módulos de laboratório acessíveis remotamente (e.g. instrumentos de medição). No entanto, a sua inclusão no ensino é ainda deficitária, devido: i) à falta de meios e competências técnicas das instituições de ensino para os desenvolverem, ii) à dificuldade na partilha dos módulos de laboratório por diferentes infraestruturas e, iii) à reduzida capacidade de os reconfigurar com esses módulos. Para ultrapassar estas limitações, foi idealizado e desenvolvido no âmbito de um trabalho de doutoramento [1] um protótipo, cuja arquitetura é baseada na norma IEEE 1451.0 e na tecnologia de FPGAs. Para além de garantir o desenvolvimento e o acesso de forma normalizada a um laboratório remoto, este protótipo promove ainda a partilha de módulos de laboratório por diferentes infraestruturas. Nesse trabalho explorou-se a capacidade de reconfiguração de FPGAs para embutir na infraestrutura do laboratório vários módulos, todos descritos em ficheiros, utilizando linguagens de descrição de hardware estruturados de acordo com a norma IEEE 1451.0. A definição desses módulos obriga à criação de estruturas de dados binárias (Transducer Electronic Data Sheets, TEDSs), bem como de outros ficheiros que possibilitam a sua interligação com a infraestrutura do laboratório. No entanto, a criação destes ficheiros é bastante complexa, uma vez que exige a realização de vários cálculos e conversões. Tendo em consideração essa mesma complexidade, esta dissertação descreve o desenvolvimento de uma aplicação Web para leitura e escrita dos TEDSs. Para além de um estudo sobre os laboratórios remotos, é efetuada uma descrição da norma IEEE 1451.0, com particular atenção para a sua arquitetura e para a estrutura dos diferentes TEDSs. Com o objetivo de enquadrar a aplicação desenvolvida, efetua-se ainda uma breve apresentação de um protótipo de um laboratório remoto reconfigurável, cuja reconfiguração é apoiada por esta aplicação. Por fim, é descrita a verificação da aplicação Web, de forma a tirar conclusões sobre o seu contributo para a simplificação dessa reconfiguração.

Localização de jogos

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação do Doutor Manuel Moreira da Silva Esta versão não contém as críticas e sugestões dos elementos do júri

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Disquietude: A Sonata-Form Inquiry Into Multiliteracies Practices in an EAL Classroom

This narrative case study describes an English as an Additional Language teacher’s struggle to understand her young adult learners’ apparent resistance toward multiliteracies pedagogical practices in a college setting. Multiliteracies Pedagogy (New London Group, 1996) advocates the use of digital media, and home languages and culture, to engage diverse youth in designing personally meaningful multimodal texts that can significantly impact learner identity, voice, and agency. This arts-based study uses an innovative sonata-style format to document the making of a class documentary, accompanied by teacher reflections on the video project in the form of poetry, journal excerpts, and classroom dialogue. The sonata form provides a unique methodology for teacher inquiry, allowing the teacher-researcher to explore the ways in which curriculum, pedagogy, and sociocultural influences intersect in the classroom. The study does not end with a clear resolution of the problem; instead, the process of inquiry leads to deeper understandings of what it means to teach in the complex worlds of diverse learners.

Dispositifs architecturaux et expérience spatiale de la ville: le cas de l'installation architecturale

L’installation architecturale, l’objet de recherche central de cette thèse, est un type d’intervention architecturale qui échappe autant au discours professionnel qu’à celui des chercheurs en architecture lorsqu’il s’agit de définir les limites de la profession et celles de la discipline. Prenant ses distances avec le déterminisme fonctionnaliste qui domine la pensée et la pratique courantes de l’architecture, la recherche a pour but de montrer que l’installation architecturale s’inscrit dans une tradition classique bien ancrée dans la pratique et dans la théorie de l’architecture et que son rôle dans la pensée sur le projet architectural et urbain de la ville contemporaine a occupé et occupe encore une place importante. C’est pour ces raisons que la recherche se présente essentiellement comme une exploration guidée avant tout par le souci de contribuer à la reconnaissance de cette pratique particulière de l’architecture. Avant de poser l’hypothèse de recherche, nous avons présumé que l’installation architecturale agit comme une construction active dans l’espace public, qu’elle comble certains manques quant à la définition des enjeux urbains de la ville contemporaine, particulièrement dans un contexte où les libertés de choix, de mouvances et d’opportunités sont largement accompagnés par des stratégies d’organisation, de contrôle public et de constructions technologiques, d’efficacité énergétique et fonctionnelle. La recherche a également supposé que cette valeur d’agitation sociale et culturelle est liée à certaines caractéristiques inhérentes à l’architecture, à la ville et à l’individu et qu’elle représente, par le fait même, un objet de recherche important tout en offrant une porte d’entrée dans les questions plus larges qui traversent la discipline. Parmi celles-ci sont particulièrement étudiés des pratiques et des discours qui échappent aux définitions usuelles et qui offrent un regard critique quant aux limites de la discipline, des pratiques qui mettent en lumière des idées telles que l’instable et l’événement, des notions d’intervention et d’éthique, d’action et d’exploration. Cette thèse cherche ainsi à éclairer la contribution potentielle de l’installation architecturale dans les problématiques urbaines et architecturales et de montrer comment l’expérience de la ville à travers le dispositif architectural peut transformer nos manières d’aborder l’espace construit.

Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo

Ce mémoire vise à recenser les avantages et les inconvénients de l'utilisation du langage de programmation fonctionnel dynamique Scheme pour le développement de jeux vidéo. Pour ce faire, la méthode utilisée est d'abord basée sur une approche plus théorique. En effet, une étude des besoins au niveau de la programmation exprimés par ce type de développement, ainsi qu'une description détaillant les fonctionnalités du langage Scheme pertinentes au développement de jeux vidéo sont données afin de bien mettre en contexte le sujet. Par la suite, une approche pratique est utilisée en effectuant le développement de deux jeux vidéo de complexités croissantes: Space Invaders et Lode Runner. Le développement de ces jeux vidéo a mené à l'extension du langage Scheme par plusieurs langages spécifiques au domaine et bibliothèques, dont notamment un système de programmation orienté objets et un système de coroutines. L'expérience acquise par le développement de ces jeux est finalement comparée à celle d'autres développeurs de jeux vidéo de l'industrie qui ont utilisé Scheme pour la création de titres commerciaux. En résumé, l'utilisation de ce langage a permis d'atteindre un haut niveau d'abstraction favorisant la modularité des jeux développés sans affecter les performances de ces derniers.

Le processus de sécularisation : l'implication des élites catholiques laïques

À partir des études récentes démontrant l’importance des élites catholiques dans la foulée des changements et de la modernisation de la société québécoise entre les années 1930 et 1970, nous tentons de mieux comprendre ces élites, leurs motifs et leur destin. Issues des jeunes générations de laïcs contestataires des années 1930 et 1940, nous montrons d’abord que les élites catholiques laïques ont été influencées par des courants philosophiques de renouveau chrétien et par leur formation dans l’Action catholique spécialisée. En contestant le cléricalisme et le conservatisme présents au Québec entre 1930 et 1960, elles ont développé une pensée réformiste se situant dans l’esprit du concile Vatican II et de la Révolution tranquille. Un trait caractérise ces élites: même en étant critiques envers l’Église catholique, elles sont tout de même demeurées loyales envers le catholicisme. Nous proposons de nous réapproprier la sociologie de Max Weber afin de mieux comprendre l’implication des élites catholiques laïques à la modernisation de la société québécoise et, par là, de saisir le type particulier de sécularisation qu’a connu le Québec des années 1950 à 1970. Pour ce faire, nous retenons les parcours de vie et le discours de trois représentants de ces élites: Guy Rocher, Jacques Grand’Maison et Claude Ryan. À partir de ces acteurs, nous délinéons trois « voies » distinctes empruntées par les élites catholiques laïques pour s’engager dans la société. Ces trois « voies » relatent certes des types d’engagement différents, mais elles renvoient aussi à un ancrage catholique commun. En considérant le point de vue de ces élites face aux transformations du paysage religieux au Québec, nous examinons enfin l’utilisation du concept de sécularisation par rapport à la laïcisation et la déconfessionnalisation ainsi que les enjeux actuels liés à la religion.

Téléphone, phonographe et radio : l'imaginaire sonore entre textualité et reproduction technique

Ce mémoire décrit l’imaginaire sonore tel qu’il s’est transformé par l’apparition de dispositifs de reproduction (téléphone, phonographe et radio) à la fin du 19ème siècle et au début du 20ème siècle. Si ces appareils de reproduction sonore signalent un nouveau contexte socioculturel permettant la captation, la conservation et la transmission de manifestations sensibles, ils transforment également la manière de concevoir le son, ils modifient le statut de l’audition par rapport aux autres sens et reconfigurent un imaginaire qui traduit un rapport à soi, à autrui et au monde. Cette étude littéraire de la reproductibilité sonore propose une réflexion entre technologie et poétique en questionnant l’idée de communication. L’élément spécifique qui caractérise les appareils de reproduction sonore est un objet technique nommé «transducteur ». Je considère le transducteur à la fois comme métaphore et matérialité de médiation; conçu en termes de dispositif de transduction, ce concept permet une différente compréhension des pratiques sociales et de l’imaginaire constituant cet artefact culturel.

Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

Los métodos de enseñanza en ELE : el método comunicativo revisado

Cette étude se focalise sur la révision de l’approche communicative des manuels d’enseignement de l’espagnol comme langue étrangère (ELE) et, plus particulièrement, sur celle des manuels utilisés dans les institutions scolaires du Québec. D’un point de vue historique, les premières inquiétudes liées à l’enseignement et à l’acquisition de langues secondes sont apparues dans l’Antiquité. Pendant des siècles, l’enseignement fondé sur la répétition de structures a prédominé, mais une fois le Moyen Âge passé, d’autres avancées pédagogiques sont nées. Par exemple, au XVIIe siècle, des études sur la question, inspirées de penseurs comme Montaigne et Locke, ont révélé que l’apprentissage formel de la langue n’était pas utile et que les apprenants avaient besoin d’une motivation pour apprendre. Le XXe siècle a été caractérisé par le déploiement de propositions méthodologiques à utiliser dans l’enseignement de langues secondes, et c’est ainsi que des méthodes telles que Directe, Audio-linguistique, Apprentissage communautaire de la langue et Approche naturelle ont surgi. Au milieu du XXe siècle s’est développée en Europe une proposition basée sur les besoins communicatifs des étudiants et ce qui, au début, était connu comme l’approche notionnelle fonctionnelle a évolué et est devenu l’enseignement communicatif. Une telle approche concerne essentiellement l’usage de la langue et accorde moins d’importance aux connaissances linguistiques. Elle a pour objectif principal que l’étudiant-parlant développe des habiletés interprétatives et expressives de la langue objet. En nous appuyant sur un cadre théorique de l’enseignement des langues et en analysant les manuels Nuevo ELE, Prisma et Español en marcha (niveaux A1-B2), nous prétendons vérifier la présence de l’approche communicative dans ces manuels afin de pouvoir démontrer que dans les activités dites communicatives, il y a différentes applications possibles des méthodes traditionnelles de l’enseignement de langues secondes et que, par conséquent, l’approche communicative réunit plusieurs propositions qui proviennent d’autres méthodes. Mot-clés : Espagnol langue étrangère (ELE), approche communicative, analyse de manuels, Nuevo ELE, Prisma, Español en marcha.

Représentations du Soi espagnol et de l’Autre inca dans le discours de Pedro Sarmiento de Gamboa

Comprendre les présupposés qui fondent les rapports au monde des individus selon leur appartenance civilisationnelle nécessite des outils et une méthode permettant de répondre à trois questions principales. D’abord, comment aborder le rapport que des individus et leurs collectivités entretiennent avec le monde et avec l’Autre selon leur propre système d’interprétations et d’explications de ces réalités? Ensuite, comment penser la diversité des collectivités humaines qui établissent de tels rapports? Finalement, comment aborder les dimensions collectives à travers les discours limités d’individus? Deux outils m’ont permis de prendre du recul face à ma subjectivité et d’accéder à un certain niveau de réalité et de validité quant aux faits rapportés et aux résultats atteints. Dans un premier temps, le réseau notionnel articulant les conceptions du monde (Ikenga-Metuh, 1987) comme phénomènes de civilisations (Mauss, 1929) accessibles par l’analyse des représentations sociales (Jodelet, 1997) permet de définir et d’étudier l’interface entre l’individuel et le collectif. Dans un deuxième temps, l’opérationnalisation de la recherche permet de cerner le XVIe siècle comme moment de rencontre propice à l’étude des civilisations andines et occidentales à travers les représentations du Soi espagnol et de l’Autre inca du chroniqueur Pedro Sarmiento de Gamboa. Finalement, la méthode d’analyse de discours (Sabourin, 2009) lève le voile sur une grammaire sociale polarisante entre le Soi et l’Autre, laquelle traverse les trois univers de sens (religieux, intellectuel et politique) observés dans le discours de Sarmiento. La mise à jour des positions théologiques, intellectuelles et politiques de l’auteur ouvre à son tour sur les récits et discours collectifs propres aux civilisations occidentales et andines de son époque, et permet un questionnement nouveau : cette polarisation est-elle unique à la localisation sociale de Sarmiento ou constitue-t-elle un phénomène civilisationnel proprement occidental ?

Complexité raffinée du problème d'intersection d'automates

Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une constante). Dans ce mémoire, nous étudions la complexité du problème d'intersection d'automates pour plusieurs types de langages et d'automates tels les langages unaires, les automates à groupe (abélien), les langages commutatifs et les langages finis. Nous considérons plus particulièrement le cas où chacun des automates possède au plus un ou deux états finaux. Ces restrictions permettent d'établir des liens avec certains problèmes algébriques et d'obtenir une classification intéressante de problèmes d'intersection d'automates à l'intérieur de la classe P. Nous terminons notre étude en considérant brièvement le cas où le nombre d'automates est fixé.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.