Single line for assembly just-in-sequence multiple models

Programa Doutoral em Líderes para as Indústrias Tecnológicas

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.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

O estudo da aplicação de acabamentos funcionais de barreira UV em fibras previamente ativadas por plasma

Tese de Doutoramento Engenharia Têxtil

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Contributos para a elucidação do modo de ação de própolis português: o caso do própolis do Pereiro

Dissertação de mestrado em Genética Molecular

In-line rheo-optical microstructural characterization of complex polymer systems

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos.

Contribuição para o melhoramento da gestão operacional de uma linha de fabrico de garrafas de gás

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Duplo produto elevado como preditor de ausência de coronariopatia obstrutiva de grau importante em pacientes com teste ergométrico positivo

OBJETIVO: Correlacionar valores do duplo produto acima de 30.000 mmHg.bpm, com presença ou não de coronariopatia obstrutiva importante, em pacientes com teste ergométrico positivo. MÉTODOS: Análise retrospectiva de 246 pacientes que haviam sido submetidos a teste ergométrico no máximo trinta dias antes de estudo cineangiocoronariográfico, por suspeita de coronariopatia obstrutiva, dos quais 165 pacientes tinham teste ergométrico positivo. O critério único para positividade foi a presença de infradesnivelamento do segmento ST de pelo menos 1,0 mm, de morfologia horizontal ou descendente, persistindo 0,08 seg. após o ponto J. RESULTADOS: Dentre os 165 pacientes, 50 (30,3%) alcançaram duplo produto > 30.000 mmHg.bpm; desses, 38 (76%) eram angiograficamente normais ou tinham coronariopatia obstrutiva leve e 12 (24%) tinham coronariopatia importante. Entre os outros 115 pacientes com teste ergométrico positivo, mas duplo produto < 30.000 mmHg.bpm, 59 (51,3%) eram normais ou com coronariopatia obstrutiva leve, e 56 (48,7%) apresentavam coronariopatia obstrutiva importante (Odds Ratio = 0,3327 IC 95% = 0,1579 a 0,7009; P = 0,0034). CONCLUSÃO: Com base nos dados obtidos dessa investigação, demonstrou-se que o duplo produto elevado constituiu-se em uma variável importante para prever a ausência de coronariopatia obstrutiva significante em indivíduos com teste ergométrico positivo, podendo tornar-se ferramenta útil na tomada de decisão clínica.