User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Caracterização dos padrões de mortalidade e identificação dos pontos negros de mortalidade da fauna na A21

A monitorização da mortalidade da fauna nas estradas tem vindo a receber mais atenção no decorrer dos anos sendo uma temática em que ainda existe potencial para investigação assim como de propostas para medidas de mitigação. Em Portugal, os estudos mais desenvolvidos são geralmente realizados por concessionárias como a Infraestruturas de Portugal, a Brisa entre outras. Reconhece-se a importância desta temática devido aos impactes negativos a nível ecológico e ambiental resultantes da expansão da rede viária. Um fator agravante é a fraca sensibilidade dos condutores para a presença de animais na estrada e problemas devido às caraterísticas da estrada. Existem espécies que são atraídas para a estrada para se alimentarem da vegetação envolvente ou de cadáveres de outros animais, para realizarem a termorregulação ou por simplesmente precisarem de atravessar a estrada regularmente sendo por isso mais propícias a serem atingidas por veículos. A presença de animais na estrada pode acarretar riscos de acidentes assim como perdas humanas e financeiras. Deste modo, as concessionárias implementam estudos de monitorização da mortalidade da fauna nas estradas para perceberem os locais com maior número de atropelamentos, quais as espécies mais afetadas e assim conseguirem introduzir medidas de minimização que podem ser desde vedações a passagens próprias para a fauna. O objetivo deste trabalho consistiu na caracterização dos padrões de mortalidade e identificação dos pontos negros de mortalidade da fauna na autoestrada nº 21 (A21), bem como a sua relação com o habitat envolvente. Conclui-se que os animais mais afetados são os coelhos seguindo-se as cobras e as corujas e mochos. Através do buffer do habitat envolvente e do teste estatístico de Spearman não se conseguiu provar a influência do habitat envolvente sobre a mortalidade. Finalmente, foram propostas algumas medidas de minimização para os pontos negros identificados.

Aspectos biológicos de peixes amazônicos. IV. Padrões eletroforéticos de hemoglobinas de 22 espécies coletadas na ilha da Marchantaria (Manaus - AM).

Foram estudados hemolisados de 22 espécies de peixes coletados na Ilha da Marchantaria (rio Solimões, Manaus - AM), através de eletroforeses em gel de amido e gel de ágar-amido. Uma grande heterogeneidade hemoglobínica interespecífica foi detectada, a exemplo do observado para espécies de zona subtropical e temperada. A capacidade de resolução de dois suportes eletroforéticos é discutida. Os resultados são discutidos em função da possível adaptabilidade conferida pelos sistemas de múltiplas hemoglobinas.

Proposta de um modelo de medição e análise da satisfação de clientes em empresas de software : caso prático do ambiente business-to-business

Os estudos da satisfação e lealdade do cliente em ambiente Business-to-Business têm emergido devido ao interesse práctico e académico. Recorreu-se a um caso práctico de uma empresa de software internacional, ESRI, a operar em Portugal com modelo de negócio B2B e comportamento de compra extensivo. Desenvolveu-se um modelo estrutural com 11 variáveis latentes: lealdade; satisfação; imagem; atmosfera; cooperação; adaptação; processos; tecnologia; orientação ao cliente; competências; colaboradores e comunicação. Foram analisadas 304 respostas ao questionário de satisfação e de seguida aplicou-se o modelo a seis grupos de clientes segmentados de acordo com a contribuição do cliente para as receitas e o comportamento no processo de decisão de compra. Recorreu-se a modelos SEM (Structural Equation Modelling) com estimação dos parâmetros através da metodologia PLS (partial Least Squares). Os resultados mostram nos seis segmentos, que os valores da empresa, a cooperação através da competência dos colaboradores e da orientação ao cliente e a tecnologia são factores mais importantes para a satisfação e lealdade dos clientes.

Uso de banda dendrométrica na definição de padrões de crescimento individual em diâmetro de árvores da bacia do rio Cuieiras

Este trabalho tem como objetivo analisar padrões de crescimento individual de diversas árvores que ocorrem em duas toposseqüências (direções Norte-Sul e Leste-Oeste), de uma amostra representativa da floresta de terra-firme na Amazônia Central. Foram selecionados de forma aleatória, aproximadamente, 300 indivíduos, sendo 150 em cada toposseqüência, distribuídos em mesmas proporções nas três classes topográficas (platô, encosta e baixio) e nas três classes de diâmetro (10 ≤ DAP < 30 cm; 30 ≤ DAP< 50 cm e DAP≥ 50 cm). Em cada uma dessas árvores foi instalada uma fita metálica, com extremidades parcialmente sobrepostas e ligadas por uma mola; o avanço de uma das pontas, dentro de uma abertura, representa o crescimento em circunferência, que foi medido com um paquímetro digital. As medições foram realizadas mensalmente ao longo de 19 meses, de junho/1999 a dezembro/2000; neste estudo foram considerados apenas os 12 meses do ano 2000. O padrão individual de crescimento em diâmetro varia muito com o passar dos meses (p = 0,00) e apenas razoavelmente quando os meses são interagidos com as classes de diâmetro (p 0,08); por outro lado, há fraca uma evidência (p = 0,25) quando as classes topográficas são acrescentadas na interação anterior e praticamente nenhuma evidência (p = 0,89) quando é analisada a interação meses e classes topográficas. Dentre todas as árvores selecionadas (300 indivíduos), foram mantidas na análise 272 indivíduos. A média do incremento anual em diâmetro, considerando as 272 árvores monitoradas, foi de 1,64 ± 0,21 mm (p = 0,05), ficando dentro do intervalo dos incrementos obtidos no BIONTE e FLONA Tapajós, que é de 1,5 a 2 mm por ano.

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.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Ensino, aprendizagem e avaliação no Ensino Superior: Perspetivas e práticas

Tese de Doutoramento em Ciências da Educação - Especialidade de Desenvolvimento Curricular

Ilustração de livros de literatura infantojuvenil em Portugal [2000-2009]: tipificação, tendências e padrões de recetividade do público-alvo

Tese de Doutoramento em Estudos da Criança (área de especialização em Comunicação Visual e Expressão Plástica)

Padrões de floração e frutificação de árvores da Amazônia Maranhense

Estudos fenológicos em nível de comunidades podem facilitar a compreensão do comportamento das espécies diante de alterações nos ecossistemas, além de refletir a distribuição anual de tipos específicos de recursos. Este trabalho buscou definir os padrões gerais e a sazonalidade de floração e frutificação de uma comunidade em duas áreas de floresta na Amazônia Maranhense, uma não perturbada e outra submetida a corte seletivo. A vegetação corresponde às matas de cipós das florestas amazônicas, alternando matas densas e abertas, de alta biomassa. Valores médios anuais de temperatura variam entre 24,5º C e 26,0º C, e entre 1400 mm e 1800 mm de precipitação, com um período seco de 5 a 6 meses, de junho a novembro. Foram analisadas a floração e a frutificação de 89 espécies arbóreas, de agosto de 1994 a junho de 1996. As espécies foram agrupadas em: árvores do sub-dossel, árvores do estrato superior e árvores que ocorrem em ambos os estratos. Foi feita comparação entre grupos (estratos, tipos de floresta e mecanismos de dispersão) e possíveis correlações com a precipitação foram investigadas. Quinze espécies estudadas foram exclusivas do estrato inferior e 63 do estrato superior da floresta; 17 espécies foram registradas apenas na mata nativa e 37 apenas na mata manejada. A maioria das espécies é zoocórica (62,9 %). A floração e a frutificação ocorreram durante todo o ano, com pico de floração de outubro a dezembro e picos de frutificação de março a julho e de outubro a dezembro. Os resultados obtidos demonstram uma grande sincronia na floração e frutificação dos indivíduos, e confirmam a relação entre esses processos e a variação na precipitação ao longo do ano, e que plantas de ambientes diferenciados exibem comportamentos fenológicos diferentes. Os padrões observados foram semelhantes entre as áreas e a outros estudos na Amazônia.

Desmatamento no sul do estado de Roraima: padrões de distribuição em função de projetos de assentamento do INCRA e da distância das principais rodovias (BR-174 e BR-210)

O desmatamento na Amazônia representa, atualmente, um dos principais problemas ambientais do Brasil. A contenção deste processo requer políticas públicas baseadas no entendimento das forças que controlam, aceleram e desaceleram a perda de floresta. Para avaliar ocorrências de desmatamento no sul do Estado de Roraima foram utilizados dois buffers de 20 km de largura subdivididos em oito faixas de 2500 metros ao longo das duas principais rodovias da região: BR-174 e BR-210 em um ambiente de Sistema de Informações Geográficas - SIG. O período analisado foi entre 2001 e 2007, sendo utilizados dados de desmatamento do PRODES e análises visuais em imagens TM Landsat 5. Também foram utilizados arquivos shapefile da malha viária e de Projetos de Assentamento (PAs) do Sul do Estado de Roraima, junto com observações de campo. Os resultados mostraram que os desmatamentos do período estão fortemente relacionados com a disponibilidade de estradas e com o número de famílias dentro dos PAs. O desmatamento foi maior na área da BR-210 pela presença na região de grandes proprietários e invasões de terras. O pólo madeireiro, situado à margem da BR-174, pode ter influenciado na formação de pequenas áreas de desmatamento na região de Rorainópolis. A exploração madeireira predatória e novas ocupações de terras estão acontecendo de forma rápida e desordenada. Este quadro indica forte potencial para a perda de floresta em Roraima caso o fluxo de migração para esta área aumentar, como seria esperado se Roraima for conectada ao "Arco do Desmatamento" pela reabertura da Rodovia BR-319, ligando Manaus a Porto Velho.

Requalificação de uma máquina-ferramenta

Dissertação de mestrado integrado em Engenharia Mecânica

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

Dissertação de mestrado em Engenharia de Sistemas