BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

As perturbações da aquisição e do desenvolvimento da linguagem : um estudo preliminar da prevalência, dos fatores associados e das necessidades de encaminhamento para terapia da fala em crianças de idade pré escolar no concelho de Oeiras

RESUMO - Objetivos: Identificar a prevalência das perturbações da aquisição e desenvolvimento da linguagem (PADL) em crianças dos 3 anos aos 5 anos e 11 meses integradas em instituições de ensino pré escolar do concelho de Oeiras, os fatores associados e as necessidades de encaminhamento para Terapia da Fala. Método: Foi realizado um estudo de prevalência, descritivo e correlacional. A amostra é aleatória estratificada e é constituída por 147 crianças dos 3 aos 5 anos e 11 meses que frequentam o ensino pré escolar, que tenham o português europeu como língua materna e que não apresentem sinalização ou diagnóstico de necessidades educativas especiais. A linguagem foi avaliada através do TALC (SUA-KAY & TAVARES, 2011) e do subteste fonológico TFF-ALPE (MENDES et al., 2009). As informações referentes às características sociodemográficas e aos dados linguísticos foram recolhidas através de uma ficha de caracterização. Para determinação das prevalências foi utilizada a razão de prevalências. O teste do qui-quadrado e o teste de Fisher foram utilizados na comparação das prevalências entre faixas etárias, sexos e natureza da instituição e na verificação de associação entre a presença de PADL e os possíveis fatores determinantes. A regressão logística foi utilizada para verificar a associação entre o nível educacional da mãe e a presença de PADL. Resultados: A prevalência global de PADL é de 14,9%. Nos rapazes a prevalência estimada foi de 19,0% e nas raparigas de 10,3%. Nas crianças de 3 anos não se verificou a presença de PADL, tendo-se encontrado uma prevalência de 23,5% nas crianças de 4 anos e de 14,9% nas de 5. A prevalência de PADL foi de 17,9% nas instituições públicas e de 12,5% nas privadas. Não se verificaram diferenças significativas entre as prevalências por faixa etária, sexo e natureza da instituição (p>0,05). Das crianças identificadas com PADL, 72,7% não têm apoio nem se encontram sinalizadas para terapia da fala e necessitam de ser encaminhadas. O sexo da criança, a idade dos pais, a escolaridade do pai, fatores perinatais, tamanho da família e história de alterações de linguagem na família não se encontraram associadas às PADL (p > 0,05), tendo esta associação sido verificada com a escolaridade da mãe (p < 0,05). As mães com nível educacionais mais elevados nem sempre apresentam um papel protetor de PADL. Conclusões: A prevalência global de PADL vai ao encontro da maioria das prevalências encontradas na literatura, sendo maior no sexo masculino, nas crianças de 4 anos e nas que frequentam o ensino público. A grande maioria das crianças com PADL não estavam sinalizadas como tal. A escolaridade da mãe foi o único fator que se encontrou associado à presença de PADL, não apresentando, no entanto, um valor explicativo totalmente claro.

Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Redefining the MED13L syndrome

Congenital cardiac and neurodevelopmental deficits have been recently linked to the mediator complex subunit 13-like protein MED13L, a subunit of the CDK8-associated mediator complex that functions in transcriptional regulation through DNA-binding transcription factors and RNA polymerase II. Heterozygous MED13L variants cause transposition of the great arteries and intellectual disability (ID). Here, we report eight patients with predominantly novel MED13L variants who lack such complex congenital heart malformations. Rather, they depict a syndromic form of ID characterized by facial dysmorphism, ID, speech impairment, motor developmental delay with muscular hypotonia and behavioral difficulties. We thereby define a novel syndrome and significantly broaden the clinical spectrum associated with MED13L variants. A prominent feature of the MED13L neurocognitive presentation is profound language impairment, often in combination with articulatory deficits.

The Importance of Using Games to Teach English in the 3rd Cycle

The title of this thesis is “The importance of using games to teach English in the 3rd Cycle”. I choose this topic because I think that games are important in the process of learning and because in my opinion not only students but people in general are more motivated to learn when they are having fun or when they are doing something that is interesting. Some authors argue that games stimulate learners to practise, to activate and extend their English vocabulary, and that most students feel more motivated to learn and learn more easily when they are having fun. Games make demands on learners’ intelligence and imagination and calls for active participation. That is exactly what 3rd Cycle students and teachers need in order to have success in their studies and work respectively. The 3rd Cycle students have covered the majority of the grammar and functions contents of the English curriculum in the previous Cycles (the 1st and 2nd Cycle) and in the 3rd Cycle the students need most of their time to put into practice what they have learned before. Games are an effective method to put in practice what they have learned before and also through games they have several contexts and different situations to explore in order to show their knowledge or their vocabulary. The 3rd Cycle students need methods that motivate them to learn and to participate in class and since they already study a specific language function. If the teacher uses an enjoyable method like games students will not get bored and they will be more motivate to participate in class.

As Línguas de Cabo Verde: uma Radiografia Sociolinguística

Esta dissertação constitui um estudo de caso, exploratório e de carácter descritivo. Tem como objectivo fazer uma radiografia sociolinguística de Cabo Verde, particularmente centrada no actual uso das duas línguas faladas no arquipélago, o português (PCV) e o crioulo cabo-verdiano (LCV). A linha de pesquisa adoptada inspira-se fortemente nos estudos de macrosociolinguística, tomando a situação de contacto de línguas, caracterizadora da sociedade cabo-verdiana, como ponto de partida para o enquadramento de um conjunto de questões seleccionadas para investigação mais aprofundada. São, assim, explorados os processos implicados nesta situação de contacto concreta e os resultados linguísticos decorrentes da mesma, como o bilinguismo ou a diglossia (cf. Cap. 3). Recorrendo a contributos teóricos de áreas associadas e complementares (cf. Cap. 1), foca-se a importância da análise dos domínios em que cada uma das línguas é usada, das redes sociais dos falantes ou das suas atitudes linguísticas. A investigação partiu de uma recolha de dados realizada para o efeito, nas nove ilhas habitadas. As unidades de análise retidas correspondem a uma amostragem de dois grupos sociais distintos: falantes jovens, alunos do ensino secundário (inquiridos por questionário), e falantes adultos cuja profissão implica uma intensa actividade linguística (professores e ‘líderes’, inquiridos por entrevistas semi-dirigidas). Foi usada uma metodologia de recolha o mais rigorosa possível e adoptado o tratamento estatístico de dados (cf. Cap. 2). O confronto dos comportamentos linguísticos e das atitudes das duas gerações inquiridas, com diferentes características (cf. Introdução), forneceu importantes informações sobre a dinâmica linguística da sociedade cabo-verdiana, conclusões essas que serão importantes para a definição de orientações no âmbito da política linguística (cf. Cap. 5). É apresentada, como complemento, uma análise exploratória de alguns aspectos sintácticos atestados nas produções dos indivíduos inquiridos com instrução superior (cf. Cap. 4), um contributo, embora modesto, para a definição da variedade padrão do PCV

A linguagem química e o ensino da química orgânica

The importance of chemical language and specifically of molecular models and their representations in the development of chemistry is discussed. Structural formulas are projections of molecular models used as a specific language by chemists. The meaningful learning of chemistry requires knowledge of this language. The use of these analogical symbols without the necessary understanding engenders difficulties for the learning of chemistry.

Kielikeskuksissa toimivien kieltenopettajien käsityksiä ja kokemuksia massayliopiston luomista haasteista

Challenges of mass university conceived and experienced by university language centre language teachers The massification of the university involved not only an expansion but also a transition from one period to another, from elite higher education to mass higher education. Massification cannot be viewed as expansion and structural change but it has to be viewed in a context of a number of changes involving universities, state, economy, society and culture as well as science, technology, education and research. In the Finnish academic context, massification is often associated with negative development and it may be used as an excuse for poor teaching. The objective of the present study is to find out how the mass context is manifested in the work of university language centre language teachers. The data were collected by means of semi-structured questionnaires from 32 language teachers working at language centres at the universities of Helsinki, Jyväskylä, Tampere and Turku in Finland. Both Finnish and native speakers, 6 male and 26 female teachers, were included. All the teachers in the study had taught more than 10 years. The data were complemented by interviews of four teachers and email data from one teacher. Phenomenographic analysis of the informants’ conceptions enabled a description of their experiences of students at a mass university, conceptions of teaching and learning and of issues related to work health. Some conceptions were consonant with earlier results. The conceptions revealed differences between two teacher groups, teachers of subject-specific language, or language for specific purposes (LSP), and teachers of elementary and advanced language courses (general language teachers). For the first, the conceptions of the investigated teachers provided a picture of the students as a member of a mass university. The students were seen as customers who demanded special services to facilitate their studies or were selective about the contents of the course. The finding that appeared only in the LSP teachers’ data was the unengaged attitude towards language study, which appeared as mere hunt for credits. On the other hand, the students were also seen as language learning individuals, but a clear picture of a truly interested language learner was evident in the data of general language teachers. The teachers’ conceptions of teaching and learning revealed a picture of experienced teachers with a long background of teaching, reflecting experiences from different time periods and influences from their own education and illustrating the increasing problems with organizing individual tutoring due to large, heterogeneous groups. It seemed, however, that in spite of the large student groups, general language teachers were able to support the students’ learning processes and to use learner-centred methods, whereas LSP teachers were frequently compelled to resort to knowledge transmission type of teaching. The conditions of the mass university were clearly manifested in the respondents’ conceptions about work satisfaction: there were a number of factors related to administration, teaching arrangements and the status of the language centres that were likely to add to the teachers’ work stress, whereas traditional characteristics of academic work were viewed as promoting work satisfaction. On the basis of the teachers’ conceptions, it is safe to assume that academic mass context and students’ orientations have an effect on the teacher’s approach to teaching, while there is no unequivocal association between mass university teaching and poor teaching.

A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Accommodating College ESL Learner Communication Needs: Perceptions, Policies, and Practices

The purpose of this qualitative inquiry was to determine how the Practical Nursing and Pharmacy Technician programs in one southern Ontario community college could more effectively accommodate ESL learners' communication needs. The literature review examined (a) linguistic issues, such as language testing and second-language learning theories, (b) organizational matters, such as ESL curriculum and teacher training, and (c) affective issues, such as motivation for second-language learning, learning styles, and the student-teacher relationship. I gathered perceptual data from the programs' administrators, faculty members, and ESL learners. Eleven participants took part in individual interviews or a focus group session. The results suggest that ESL learners need assistance with discipline-specific vocabulary and cultural nuances. College ESL learners' weak communicative competence, together with misleading acceptance standards for ESL learners and limited support available to faculty members and to students, decrease opportunities for successful completion of the programs. The results point to re-assessment of the college's admission policies and procedures, program evaluation practices that consider the needs of ESL learners, discipline-specific language support, and strategies to enhance the ESL student-teacher relationship. The study highlights theory relating to ESL learners' self-perception and engagement, as well as the importance of including the voice of college ESL learners in educational research. The results suggest that despite ESL learners' perseverance in completing their studies, power imbalances remain. The college has yet to implement organizational strategies such as discipline-specific communications and ESL courses and extended language support that could meet the communication needs of ESL learners in the two programs.

Análisis del radioteatro a través de la obra de Julio Cortázar : Adiós, Robinson

SOMMAIRE Cette recherche est basée sur l’étude de la pièce Adieu, Robinson, écrite par Julio Cortazar pour le théâtre radiophonique en 1977. Publiée en 1984, elle a été rééditée en 1995 –après le décès de son auteur– et diffusée, vers la fin des années 70, sur tous les continents. L’analyse de l’œuvre a été réalisée en tenant compte de deux orientations différentes mais complémentaires: l’une plus formelle ou technique et l’autre idéologique. Il y a, d’abord, l’étude du théâtre radiophonique comme discours qui utilise un langage spécifique –le langage radiophonique– et suppose un “théâtre écrit pour la radio”, et ce, à partir des œuvres de Rudolf Arnheim, Armand Balsebre et Etienne Fuzellier. Puis, il y a une mise en contexte de la pièce en faisant référence à la situation particulièrement mouvementée de l’Amérique latine, pendant les années 70, en mettant en rapport le sujet de la “décolonisation” avec celui de la libération. Avant d’aborder le sujet du théâtre radiophonique –ce qui inclut ses origines en Argentine, les premières pièces et les caractéristiques du format– et en prenant comme référence l’auteur Jésus Martin-Barbero, nous revoyons brièvement l’histoire du mélodrame, ce spectacle de forte valeur émotionnelle présent en Amérique latine, notamment, dans le théâtre radiophonique et le feuilleton télévisé. Suivant une revue des caractéristiques concernant le style d’écriture de Cortazar, nous analysons la pièce théâtrale d’un point de vue qui tient compte, principalement, des catégories d’espace et de temps, particulièrement importantes dans l’étude d’une œuvre radiophonique. Finalement, cette étude prétend démontrer que le but de Julio Cortazar, en écrivant Adieu, Robinson, n’était pas de proposer un passe-temps radiophonique, mais plutôt d’atteindre un public plus vaste via un puissant moyen de communication en lui offrant une fable anticolonialiste. Mots-clés : Cortazar, Robinson Crusoé, décolonisation, sémiologie du théâtre radiophonique.

Intervention orthophonique et neurobiologie du cerveau : apports de la neuroimagerie à la prise en charge de l’aphasie chronique

L’aphasie est un trouble acquis du langage entraînant des problèmes de communication pouvant toucher la compréhension et/ou l’expression. Lorsque l’aphasie fait suite à un accident vasculaire cérébral, une régression des déficits communicatifs s'observe initialement, mais elle peut demeurer sévère pour certains et est considérée chronique après un an. Par ailleurs, l’aphasie peut aussi être observée dans l’aphasie progressive primaire, une maladie dégénérative affectant uniquement le langage dans les premières années. Un nombre grandissant d’études s’intéressent à l’impact de la thérapie dans l’aphasie chronique et ont démontré des améliorations langagières après plusieurs années. L’hémisphère gauche semble avoir un rôle crucial et est associé à de meilleures améliorations langagières, mais la compréhension des mécanismes de plasticité cérébrale est encore embryonnaire. Or, l’efficacité de la thérapie dans l’aphasie progressive primaire est peu étudiée. À l’aide de la résonance magnétique fonctionnelle, le but des présentes études consiste à examiner les mécanismes de plasticité cérébrale induits par la thérapie Semantic Feature Analysis auprès de dix personnes souffrant d’aphasie chronique et d’une personne souffrant d’aphasie progressive primaire. Les résultats suggèrent que le cerveau peut se réorganiser plusieurs années après une lésion cérébrale ainsi que dans une maladie dégénérative. Au niveau individuel, une meilleure amélioration langagière est associée au recrutement de l’hémisphère gauche ainsi qu’une concentration des activations. Les analyses de groupe mettent en évidence le recrutement du lobule pariétal inférieur gauche, alors que l’activation du gyrus précentral gauche prédit l’amélioration suite à la thérapie. D’autre part, les analyses de connectivité fonctionnelle ont permis d’identifier pour la première fois le réseau par défaut dans l’aphasie. Suite à la thérapie, l’intégration de ce réseau bien connu est comparable à celle des contrôles et les analyses de corrélation suggèrent que l’intégration du réseau par défaut a une valeur prédictive d’amélioration. Donc, les résultats de ces études appuient l’idée que l’hémisphère gauche a un rôle prépondérant dans la récupération de l’aphasie et fournissent des données probantes sur la neuroplasticité induite par une thérapie spécifique du langage dans l’aphasie. De plus, l’identification d’aires clés et de réseaux guideront de futures recherches afin d’éventuellement maximiser la récupération de l’aphasie et permettre de mieux prédire le pronostic.

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

En la actualidad, el uso de las tecnologías ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informáticos o usuarios llamados “no expertos” se interesen en su uso, razón por la cual los investigadores científicos se han visto en la necesidad de producir estudios que permitan la adaptación de sistemas, a la problemática existente dentro del ámbito informático. Una necesidad recurrente de todo usuario de un sistema es la gestión de la información, la cual se puede administrar por medio de una base de datos y lenguaje específico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseño y construcción, lo cual se ve reflejado en costos y métodos complejos, entonces se plantea una pregunta ¿qué hacer cuando los proyectos son pequeñas y los recursos y procesos son limitados? Teniendo como base la investigación realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una técnica diferente de aprendizaje, para lo cual utiliza una aproximación evolucionista, donde la aplicación de un algoritmo genético adaptado origina sentencias SQL válidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximación, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigación [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin éxito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% más alto que la herramienta siguiente más próxima Query by Output QBO[31]. El promedio obtenido en la ejecución de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo genético supone la existencia de fases que amplían los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relación a las aplicaciones de este tipo. En conclusión y según lo anteriormente expuesto, se obtuvo una herramienta automática con una aproximación evolucionista, con buenos resultados y un proceso simple para el usuario “no experto”.