“PhenoWorld”: a new multidimensional strategy for studying behaviour in rodents

Tese de Doutoramento em Ciências da Saúde

O ajustamento psicossocial de jovens com consumos de substâncias psicoativas em escolas profissionais do grande Porto

Tese de Doutoramento em Estudos da Criança (Área de Especialidade Psicologia do Desenvolvimento e Educação)

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.

The role of IFNγ in higher brain function: in health and under chronic stress

Tese de Doutoramento em Ciências da Saúde

Avaliação dos efeitos de um plano de intervenção em meio aquático numa criança com perturbação do espetro do autismo

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Planos individuais de intervenção precoce: um estudo qualitativo acerca das perspetivas de profissionais

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.