Embedding, evolution, and validation of model-driven spreadsheets

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved.Finally,wehave designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

The domestic architecture of Bracara Augusta and its evolution

The excavations carried out under the rescue “Project of Bracara Augusta” have generated significant amounts of data that enabled the reconstruction of Bracara Augusta urban evolution and the characterization of its buildings and blocks. This paper aims to enhance the existing data related with the domestic architecture of the roman town, which was mainly represented by the houses of domus type.

Assessment of overlay masonry strengthening system under in-plane monotonic and cyclic loading using the diagonal tensile test

The development of novel strengthening techniques to address the seismic vulnerability of masonry elements is gradually leading to simpler, faster and more effective strengthening strategies. In particular, the use of fabric reinforced cementitious matrix systems is considered of great potential, given the increase of ductility achieved with simple and economic strengthening procedures. To assess the effectiveness of these strengthening systems, and considering that the seismic action is involved, one important component of the structural behaviour is the in-plane cyclic response. In this work is discussed the applicability of the diagonal tensile test for the assessment of the cyclic response of strengthened masonry. The results obtained allowed to assess the contribution of the strengthening system to the increase of the load carrying capacity of masonry elements, as well as to evaluate the damage evolution and the stiffness degradation mechanisms developing under cyclic loading.

Dispositivo de avaliação externa ao ensino superior: um estudo exploratório sobre acreditação à Universidade Nacional Timor Lorosa'e, 2008 – 2013

Dissertação de mestrado em Ciências da Educação (área de especialização em Avaliação)

Pre-clinical trials for Machado-Joseph Disease: Hypothesis-based and hypothesis-free therapeutic approaches

Tese de Doutoramento em Ciências da Saúde