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.

Software languages engineering: experimental evaluation

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

A qualitative assessment of modularity in CaesarJ components based on implementations of design patterns

Tese de Mestrado em Engenharia Informática

Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

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

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

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Child programming: an adequate domain specific language for programming specific robots

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

Modelo do pensamento visual-espacial: transformações geométricas no início da escolaridade

Tese de doutoramento em Ciênicas da Educação: especialidade de Teoria Curricular e Ensino das Ciências

A educação visual do ensino básico: os professores em início de carreira e a orientação dada ao programa

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Design and implementation of a behaviorally typed programming system for web services

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.

Analysis of support for modularity in object teams based on design patterns

Dissertação de Mestrado em Engenharia Informática

Popular ID. Identidade visual popular portuguesa em remediação hipermédia

Trabalho de projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação, área de especialização em Comunicação e Artes.

Participação de crianças com multidificiência e deficiência visual em actividades na escola : orientações para a intervenção

O crescente reconhecimento das limitações das crianças com multideficiência e deficiência visual, quer nas interacções com os parceiros quer de uma forma geral nos ambientes em que se inserem, motivou este estudo, que pretendeu analisar o nível de participação destas crianças em actividades na escola. Considerando a importância de contribuir com informação para orientações na intervenção educativa de crianças com MDVI, realizou-se um estudo que analisa o seu comportamento e envolvimento em actividades da escola. Para a realização deste estudo, observaram-se os comportamentos de três crianças com MDVI, com idades compreendidas entre os 9 e os 10 anos, em três ambientes da escola, nomeadamente a sala de aula, o refeitório e o recreio, e em três actividades (pintura, jogos, almoço, saltar à corda, andar de baloiço e subir escadas) de forma a analisar o seu envolvimento e limitações nas actividades. Na análise dos dados das observações foram identificadas quatro categorias de participação: Inicia, Perde Oportunidade, Inicia com Apoio e Comportamento Potencialmente Comunicativo, registando-se valores que permitiram encontrar características dos comportamentos das crianças observadas, assim como o seu nível de participação em actividades na escola. Os resultados do estudo permitiram verificar que a participação das crianças em actividades está condicionada pelos ambientes em que estão envolvidas, e não pelas problemáticas que cada criança apresenta.----------------------------------------ABSTRACT: The motivation of this study is the increasing knowledge and awareness of children who have multiple disabilities and a visual impairment (MDVI) and the limitation with their peer interactions and in general. The purpose of this study was to analyze the participation level of children with MDVI in school activities. Considering the importance of contributing with guidelines for educational intervention with children with MDVI, we did a study that analyzes the behavior and the level of participation of MDVI children in school activities. In this research study we observed the behavior of three children with MDVI, of 9/10 years old, in three different environments at school; the classroom, the canteen and the playground, and in different activities (painting, playing games, having lunch, skipping rope, etc), in order to analyze their participation and their activity limitations in the activities referred. Data analysis identified four categories of participation: Initiation; Missed Opportunities; Initiation with support and Potentially communicative behavior. Results of data analysis allowed us to find out characteristics of children´s behavior, as well as their level of participation in activities. The main findings of this research allowed us to verify that the child’s engagement in activities depends on the environments where they are located and not on their disability.

Importância do rastreio visual precoce nas crianças: impacto nos cuidados de saúde secundários

Tendo como ponto de partida os objectivos do Programa Nacional para a Saúde da Visão 2004-2010 relativos à prevenção primária e à detecção precoce das alterações oftalmológicas, a tese de mestrado do Ortoptista Jorge Lameirinha sob o tema “Importância do Rastreio Visual Precoce nas Crianças: Impactos nos Cuidados de Saúde Secundários” procura abrir um campo de reflexão e validação de como é feita a detecção precoce de alterações oftalmológicas e a respectiva referenciação dos cuidados de saúde primários para a consulta de especialidade hospitalar. De forma a enquadrar a saúde visual infantil, identificar a importância da sua vigilância e dos critérios de referenciação de alterações oftalmológicas entre diferentes níveis de cuidados de saúde em Portugal – nível primário e secundário -, considerou-se pertinente para efeitos de investigação proceder-se à análise de um universo circunscrito no tempo e no espaço. Esta investigação parte da observação e análise de (1) um universo de 845 crianças com idades compreendidas entre os 0 e os 14 anos que realizaram um rastreio visual na consulta de oftalmologia pediátrica do Hospital de São Bernardo – Centro Hospitalar de Setúbal -, e (2) dos resultados de um inquérito por questionário acerca de como é desenvolvida a vigilância visual infantil, aplicado aos Directores dos Centros de Saúde do Concelho de Setúbal. Da apresentação e discussão dos principais resultados, este estudo traz algumas recomendações para a resolução de determinados bloqueios, identificados na realização do rastreio visual infantil, e propostas para reforçar a implementação das directivas expostas no Programa Nacional para a Saúde Visual.