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

Serão as práticas policiais adequadas a uma resposta imediata ao crime?

Dissertação de mestrado em Administração da Justiça

Análise de ciclo de vida de empreendimentos Turísticos no PNPG

Dissertação de mestrado integrado em Engenharia Civil

Relatório de estágio na Fundação Bracara Augusta - Loja Europa Jovem, com ênfase no caso de estudo sobre os impactos sócio económicos do Programa Juventude em Ação 2007-2013 no Município de Braga

Relatório de estágio de mestrado em Políticas Comunitárias e Cooperação Territorial

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. (...)

Caracterização de materiais plásticos usados na indústria têxtil e de vestuário por FTIR

Dissertação de mestrado em Técnicas de Caracterização e Análises Químicas

Redes e nós da aprendizagem: a integração curricular no 1º ano da escolaridade obrigatória

Relatório de estágio de mestrado em Educação Pré-escolar e Ensino do 1º Ciclo do Ensino Básico

A realização do sujeito em complementos infinitivos de verbos causativos e percetivos no português língua de herança

Dissertação de mestrado em Ciências da Linguagem

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

Tese de Doutoramento em Engenharia Biomédica.