HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Systematics, functional morphology and distribution of a bivalve (Apachecorbula muriatica gen. et sp. nov.) from the rim of the ‘Valdivia Deep’ brine pool in the Red Sea

The deep brine pools of the Red Sea comprise extreme, inhospitable habitats yet house microbial communities that potentially may fuel adjacent fauna. We here describe a novel bivalve from a deep-sea (1525 m) brine pool in the Red Sea, where conditions of high salinity, lowered pH, partial anoxia and high temperatures are prevalent. Remotely operated vehicle (ROV) footage showed that the bivalves were present in a narrow (20 cm) band along the rim of the brine pool, suggesting that it is not only tolerant of such extreme conditions but is also limited to them. The bivalve is a member of the Corbulidae and named Apachecorbula muriatica gen. et sp. nov. The shell is atypical of the family in being modioliform and thin. The semi-infaunal habit is seen in ROV images and reflected in the anatomy by the lack of siphons. The ctenidia are large and typical of a suspension feeding bivalve, but the absence of guard cilia and the greatly reduced labial palps suggest that it is non-selective as a response to low food availability. It is proposed that the low body mass observed is a consequence of the extreme habitat and low food availability. It is postulated that the observed morphology of Apachecorbula is a result of paedomorphosis driven by the effects of the extreme environment on growth but is in part mitigated by the absence of high predation pressures.

Development and psychometric properties of ECPICID-AVC to measure informal caregivers’ skills when caring for older stroke survivors at home

Introduction: Informal caregivers provide a significant part of the total care needed by dependent older people poststroke. Although informal care is often the preferred option of those who provide and those who receive informal care, informal caregivers often report lack of preparation to take care of older dependent people. This article outlines the development and psychometric testing of informal caregivers’ skills when providing care to older people after a stroke – ECPICID-AVC. Design: Prospective psychometric instrument validation study. Methods: Eleven experts participated in a focus group in order to delineate, develop and validate the instrument. Data were gathered among adult informal caregivers (n = 186) living in the community in Northern Portugal from August 2013 to January 2014. Results: The 32-item scale describes several aspects of informal caregiver’s skills. The scale has eight factors: skill to feed/hydrate by nasogastric feeding, skill to assist the person in personal hygiene, skill to assist the person for transferring, skill to assist the person for positioning, skill to provide technical aids, skill to assist the person to use the toilet, skill to feed/hydrate and skill to provide technical aids for dressing/undressing. Analysis demonstrated adequate internal consistency (Cronbach’s alpha = 0.83) and good temporal stability 0.988 (0.984–0.991). Conclusion: The psychometric properties of the measurement tool showed acceptable results allowing its implementation in clinical practice by the nursing community staff for evaluating practical skills in informal caregivers when providing care to older stroke survivors living at home.

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Development and characterization of lipid-based nanosystems for controlled release of bioactive compounds

Tese de Doutoramento em Engenharia Química e Biológica.