Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

How short and light can a simple pendulum be for classroom use?

We compare the period of oscillation of an ideal simple pendulum with the period of a more 'real' pendulum constituted of a rigid sphere and a rigid slender rod. We determine the relative error in the calculation of the local acceleration of gravity if the period of the ideal pendulum is use?d instead of the period of this real pendulum. © 2014 IOP Publishing Ltd..

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

PExIL: Programming Exercises Interoperability Language

Several standards appeared in recent years to formalize the metadata of learning objects, but they are still insufficient to fully describe a specialized domain. In particular, the programming exercise domain requires interdependent resources (e.g. test cases, solution programs, exercise description) usually processed by different services in the programming exercise life-cycle. Moreover, the manual creation of these resources is time-consuming and error-prone leading to what is an obstacle to the fast development of programming exercises of good quality. This paper focuses on the definition of an XML dialect called PExIL (Programming Exercises Interoperability Language). The aim of PExIL is to consolidate all the data required in the programming exercise life-cycle, from when it is created to when it is graded, covering also the resolution, the evaluation and the feedback. We introduce the XML Schema used to formalize the relevant data of the programming exercise life-cycle. The validation of this approach is made through the evaluation of the usefulness and expressiveness of the PExIL definition. In the former we present the tools that consume the PExIL definition to automatically generate the specialized resources. In the latter we use the PExIL definition to capture all the constraints of a set of programming exercises stored in a learning objects repository.

A pattern language for parallelizing irregular algorithms

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering

Phonological development in relation to native language and literacy: Variations on a theme in six alphabetic orthographies

Phonological development was assessed in six alphabetic orthographies (English, French, Greek, Icelandic, Portuguese and Spanish) at the beginning and end of the first year of reading instruction. The aim was to explore contrasting theoretical views regarding: the question of the availability of phonology at the outset of learning to read (Study 1); the influence of orthographic depth on the pace of phonological development during the transition to literacy (Study 2); and the impact of literacy instruction (Study 3). Results from 242 children did not reveal a consistent sequence of development as performance varied according to task demands and language. Phonics instruction appeared more influential than orthographic depth in the emergence of an early meta-phonological capacity to manipulate phonemes, and preliminary indications were that cross-linguistic variation was associated with speech rhythm more than factors such as syllable complexity. The implications of the outcome for current models of phonological development are discussed.

Core language for web applications

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Using children’s literature in ELT: A story-based approach

There has been a growing interest in the role of children’s literature in language teaching since the 80s, when the communicative approach made it possible to bring stories into the classroom (Garvie, 1990). It is undeniable that storytelling has many benefits. Not only are children naturally drawn to stories, but they are also an effective and enjoyable way to teach and learn. This article presents the findings of a MA project on using stories with children. It shows the importance of stories on language acquisition and concludes with some practical suggestions based on my teaching experience with young learners.

Efeito de um programa de autorregulação na promoção da autonomia de um aluno com Perturbação do Espetro do Autismo no 1º ano do 1º ciclo do ensino básico

Objetivo: Este estudo avaliou os efeitos da implementação de um programa de autorregulação no aumento da autonomia de um aluno com Perturbação do Espetro do Autismo, em contexto de sala de aula, no segmento letivo de Português. Método: A metodologia adotada foi quantitativa e experimental, num desenho de investigação de sujeito único, dividido em três fases de investigação: linha de base, início do programa de intervenção e um mês depois. Os registos dos vídeos, e a construção e implementação do programa de intervenção em conjunto com a professora, tiveram como base os princípios e procedimentos da Análise Comportamental Aplica. Resultados / Discussão: Após a implementação do programa de intervenção observou-se um acentuado aumento do envolvimento do aluno e das suas respostas às instruções académicas da professora, essencialmente ao nível das instruções de grupo que, na linha de base, apresentavam valores baixos. A eficácia da intervenção reforça a importância de se capacitar professores na aplicação de técnicas comportamentais dado que, neste estudo e à semelhança de outros, a professora aprendeu rapidamente a implementar práticas que facilmente se ajustam à sala de aula, levando à melhoria sistemática do comportamento do aluno com PEA numa sala de aula inclusiva.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A conversa e o relato enquanto possibilidades do comum, apartir de we aim to be amateurs (Art & Language, 1997)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia-Estética

Writing skills at secondary level. Developing an English language writing syllabus - a case study

Trabalho de projecto apresentado para o cumprimento dos requisitos necessários à obtenção do grau de mestre em Didática do Inglês