Estudo e implementação de testes de software em desenvolvimento ágil

Dissertação de mestrado em Engenharia de Sistemas

Frameworks no desenvolvimento de software: o caso da Elevation da PRIMAVERA BSS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

Utilização de computação de elevado desempenho para a simulação de problemas de hidrodinâmica costeira

Dissertação de mestrado integrado em Engenharia Civil

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

The role of the mammalian DNA end-processing enzyme polynucleotide kinase 3'-phosphatase in spinocerebellar ataxia Type 3 pathogenesis

DNA strand-breaks (SBs) with non-ligatable ends are generated by ionizing radiation, oxidative stress, various chemotherapeutic agents, and also as base excision repair (BER) intermediates. Several neurological diseases have already been identified as being due to a deficiency in DNA end-processing activities. Two common dirty ends, 3'-P and 5'-OH, are processed by mammalian polynucleotide kinase 3'-phosphatase (PNKP), a bifunctional enzyme with 3'-phosphatase and 5'-kinase activities. We have made the unexpected observation that PNKP stably associates with Ataxin-3 (ATXN3), a polyglutamine repeat-containing protein mutated in spinocerebellar ataxia type 3 (SCA3), also known as Machado-Joseph Disease (MJD). This disease is one of the most common dominantly inherited ataxias worldwide; the defect in SCA3 is due to CAG repeat expansion (from the normal 14-41 to 55-82 repeats) in the ATXN3 coding region. However, how the expanded form gains its toxic function is still not clearly understood. Here we report that purified wild-type (WT) ATXN3 stimulates, and by contrast the mutant form specifically inhibits, PNKP's 3' phosphatase activity in vitro. ATXN3-deficient cells also show decreased PNKP activity. Furthermore, transgenic mice conditionally expressing the pathological form of human ATXN3 also showed decreased 3'-phosphatase activity of PNKP, mostly in the deep cerebellar nuclei, one of the most affected regions in MJD patients' brain. Finally, long amplicon quantitative PCR analysis of human MJD patients' brain samples showed a significant accumulation of DNA strand breaks. Our results thus indicate that the accumulation of DNA strand breaks due to functional deficiency of PNKP is etiologically linked to the pathogenesis of SCA3/MJD.

Arquitetura distribuída para análises multimodais de conectividade cerebral

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

Thermal technologies in food processing

[Excerpt] Introduction: Thermal processing is probably the most important process in food industry that has been used since prehistoric times, when it was discovered that heat enhanced the palatability and the life of the heat-treated food. Thermal processing comprehends the heating of foods at a defined temperature for a certain length of time. However, in some foods, the high thermotolerance of certain enzymes and microorganisms, their physical properties (e.g.,highviscosity),ortheircomponents(e.g.,solidfractions) require the application of extreme heat treatments that not only are energy intensive, but also will adversely affect the nutritional and organoleptic properties of the food. Technologies such as ohmic heating, dielectric heating (which includes microwave heating and radiofrequency heating), inductive heating, and infrared heating are available to replace, or complement, the traditional heat-dependent technologies (heating through superheated steam, hot air, hot water, or other hot liquid, being the heating achieved either through direct contact with those agents – mostly superheated steam – or through contact with a hot surface which is in turn heated by such agents). Given that the “traditional” heatdependent technologies are thoroughly described in the literature, this text will be mainly devoted to the so-called “novel” thermal technologies. (...)

FISHji: new ImageJ macros for the quantification of fluorescence in epifluorescence images

Fluorescence in situ hybridization (FISH) is based on the use of fluorescent staining dyes, however, the signal intensity of the images obtained by microscopy is seldom quantified with accuracy by the researcher. The development of innovative digital image processing programs and tools has been trying to overcome this problem, however, the determination of fluorescent intensity in microscopy images still has issues due to the lack of precision in the results and the complexity of existing software. This work presents FISHji, a set of new ImageJ methods for automated quantification of fluorescence in images obtained by epifluorescence microscopy. To validate the methods, results obtained by FISHji were compared with results obtained by flow cytometry. The mean correlation between FISHji and flow cytometry was high and significant, showing that the imaging methods are able to accurately assess the signal intensity of fluorescence images. FISHji are available for non-commercial use at http://paginas.fe.up.pt/nazevedo/.

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.

Política y utopías en la Córdoba pos-peronista

Solo tangencialmente se aborda la historia política de Córdoba entre 1955-73. Lapso en que nace y se desarrolla un proceso de insurgencia multisectorial orientado a conseguir el regreso de Perón y la continuidad de su proyecto, y en el que interactúan otras fuerzas político-sociales que buscan la recomposición democrática o distintas alternativas según su ideología. Hasta ahora se han trabajado hechos culminantes, privilegiando lo coyuntural y el protagonismo de dirigentes, descuidando el clima de ideas y su relación con los movimientos sociales. Conocemos las consecuencias pero no siempre la causalidad que nace en la realidad social de los actores, y en un permanente proceso de ida y vuelta conduce a la acción capaz de modificarla. Proponemos realizar una historia cultural de lo político. Investigar la historia política reciente de Córdoba, caracterizada por la emergencia de agrupaciones de distinto signo ideológico amparadas en buscar soluciones a la crisis nacional. Rescatar cómo la invocación a la frustración peronista posibilitó el surgimiento de distintos proyectos políticos, involucrando a diferentes sectores sociales en una conjunción inédita hasta entonces. Pretendemos también continuar formando jóvenes investigadores, con una propuesta interesante para la ciencia política, y contribuir al conocimiento de la historia política provincial y nacional