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 Methodology for Creating an Adapted Command Language for Driving an Intelligent Wheelchair

Intelligent wheelchairs (IW) are technologies that can increase the autonomy and independence of elderly people and patients suffering from some kind of disability. Nowadays the intelligent wheelchairs and the human-machine studies are very active research areas. This paper presents a methodology and a Data Analysis System (DAS) that provides an adapted command language to an user of the IW. This command language is a set of input sequences that can be created using inputs from an input device or a combination of the inputs available in a multimodal interface. The results show that there are statistical evidences to affirm that the mean of the evaluation of the DAS generated command language is higher than the mean of the evaluation of the command language recommended by the health specialist (p value = 0.002) with a sample of 11 cerebral palsy users. This work demonstrates that it is possible to adapt an intelligent wheelchair interface to the user even when the users present heterogeneous and severe physical constraints.

The relationship between knowledge acquisition on international assignments and career development: an exploratory study with portuguese repatriates

This paper explores the relationship between the expatriates’ knowledge acquisition (KA) and their career development after an international assignment (IA). The purpose of this paper is to examine the role of expatriates in KA and transfer within International Portuguese multinational corporations. Furthermore, with this empirical study we try to analyse how the knowledge that is acquired and transferred translates into a basis for career development after the IA. This phenomenon has a special relevance in the Portuguese context, because this country is known a growing process of globalization in recent years. Furthermore, (a) there are no empirical studies concerning knowledge transfer and career development of repatriates from Portuguese companies; (b) little is known about the repatriates’ contributions to their home company after IA. This paper is one of the first to focus specifically on the repatriates’ role in KA and transfer from the host company to their Portuguese home company. A qualitative research methodology is used, specifically through an exploratory case study approach, which examines how knowledge management (KM) acquisition or transferring during IA are important for the repatriates’ career development in the Portuguese home company. Data were collected through semi-structured interviews to 42 Portuguese international assignees and 18 organizational representatives from nine Portuguese companies. Preliminary results show that KA and transfer made by Portuguese expatriates contributes directly to their career development. Moreover, evidence reveals that not all repatriates were promoted after their IA; rather some repatriates were even demoted after their IA. Furthermore, the results obtained suggest that the type of knowledge which acquired or transferred plays a central role in the career development after repatriation. According to these results, the paper discusses the major theoretical and practical implications. Suggestions for future research are also presented.

Aumento da Linguagem: Um estudo de caso

Objetivo: O autismo é uma perturbação global do desenvolvimento infantil que se prolonga por toda a vida e evolui com a idade. Carateriza-se pela presença de um desenvolvimento acentuadamente atípico na interação social e na comunicação, por um repertório de atividades e interesses marcadamente restritos, por dificuldades de flexibilidade de pensamento e de comportamento, que se exibem em comportamentos estereotipados e rígidos, associados a dificuldades na aceitação de alterações de rotinas. Dentro da grande variação possível na severidade do autismo, encontram-se crianças sem linguagem verbal e com dificuldades na comunicação por qualquer outra via, assim como se encontram crianças que apresentam linguagem verbal com um vocabulário restrito, repetitivo e não comunicativo. O objetivo principal deste trabalho é analisar e potenciar o desenvolvimento da linguagem, a aquisição de palavras e frases na criança autista, tendo em vista a generalização dos resultados. Para isso, foi realizado um estudo de caso de uma criança de 4 anos de idade com comportamentos que sugerem uma Perturbação Pervasiva do Desenvolvimento. Utilizou-se o recurso aos instrumentos de observação e entrevistas, procedendo-se à sua análise e ao desenho da intervenção a realizar. Foi implementada a intervenção “Ensinar crianças com autismo a fazer perguntas sobre objetos escondidos” na qual são utilizados brinquedos de interesse para a criança, motivacionais para a concretização do objetivo do estudo.

Post-MAPS: An interactive acquisition platform for gastroenterology

Post-MAPS is a web platform that collects gastroenterological exam data from several european hospital centers, to be used in future clinical studies and was developed in partnership with experts from the gastroenterological area and information technology (IT) technicians. However, although functional, this platform has some issues that are crucial for its functioning, and can render user interaction unpleasant and exhaustive. Accordingly, we proposed the development of a new web platform, in which we aimed for an improvement in terms of usability, data uni cation and interoperability. Therefore, it was necessary to identify and study different ways of acquiring clinical data and review some of the existing clinical databases in order to understand how they work and what type of data they store, as well as their impact and contribution to clinical knowledge. Closely linked to the data model is the ability to share data with other systems, so, we also studied the concept of interoperability and analyzed some of the most widely used international standards, such as DICOM, HL7 and openEHR. As one of the primary objectives of this project was to achieve a better level of usability, practices related to Human Computer-Interaction, such as requirement analysis, creation of conceptual models, prototyping, and evaluation were also studied. Before we began the development, we conducted an analysis of the previous platform, from a functional point of view, which allowed us to gather not only a list of architectural and interface issues, but also a list of improvement opportunities. It was also performed a small preliminary study in order to evaluate the platform's usability, where we were able to realize that perceived usability is different between users, and that, in some aspects, varies according to their location, age and years of experience. Based on the information gathered during the platform's analysis and in the conclusions of the preliminary study, a new platform was developed, prepared for all potential users, from the inexperienced to the most comfortable with technology. It presents major improvements in terms of usability, also providing several new features that simplify the users' work, improving their interaction with the system, making their experience more enjoyable.