Avaliação da qualidade em modelos de requisitos i*

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Refinamento de diagramas de classes: análise e verificação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Projecto cheques-prenda Sonae Sierra

Trabalho de Projeto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Implementação de um sistema de informação geográfica numa autarquia utilizando software livre e de código aberto

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

Optimização de análise de imagens para controlo de qualidade em imagem médica

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Biomédica

Análise da evolução de software com séries temporais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A qualidade dos dados em estatística: outliers e observações discordantes numa amostra

Os princípios e a metodologia estatística estão hoje em dia bastante consolidados. As questões práticas sobre a análise dos dados são, em vista das disponibilidades computacionais, cada vez mais importantes. É fundamental o estudo de valores discordantes, por exemplo em problemas de modelação estatística. Aqui tem particular relevo o uso de software “identificando” observações. Em sintonia com um básico estudo de teoria dos outliers todos este s problemas serão abordados.

Projeto de Marketing de Experiências para uma Empresa de Software de Recuperação de Sistemas informáticos

Trabalho de projecto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Utilização de cartas de controlo para monitorização em tempo real da qualidade da água numa rede de distribuição

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Avaliação da qualidade térmica da envolvente de edifícios – Estudo de caso através da análise numérica e por termografia infravermelha

O desempenho térmico de um edifício é um factor de enorme relevo no conforto térmico dos seus ocupantes. Em edifícios existentes, devido às técnicas construtivas empregues, este desempenho tende a ser mais fraco. A termografia por infravermelhos é uma técnica de ensaio, que é utilizada no ramo da engenharia civil há mais de três décadas, em vários tipos de ensaios. A análise termográfica é um método de ensaio não destrutivo, rápido e eficaz, o que a torna uma mais-valia no campo do diagnóstico e manutenção preditiva. O objectivo deste trabalho é avaliar a qualidade térmica da envolvente de edifícios através de uma análise experimental utilizando como recurso a termografia infravermelha. A análise termográfica foi realizada em dois edifícios unifamiliares das décadas de 80 e 90, nos quais foram captadas imagens termográficas para análise da distribuição de temperaturas ao longo da envolvente exterior. Observando os resultados obtidos através desta análise, e estabelecendo uma comparação com os resultados obtidos através da modelação numérica utilizando o software BISCO, foi possível caracterizar a qualidade térmica das respectivas envolventes e identificar diferenças entre os resultados obtidos através dos dois métodos. Na parte final do trabalho, é sugerida uma proposta de melhoria para os edifícios analisados, procedendo-se à modelação numérica da aplicação de algumas soluções de reforço de isolamento térmico, de forma a observar o impacto que as mesmas teriam na melhoria do comportamento térmico dos mesmos.

Sistemas de indicadores e índices de qualidade da água e sedimento em zonas costeiras

Dissertação de mestrado em Ciências das Zonas Costeiras

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Utilização de origens de água com qualidade inferior a A3 na produção de água para consumo humano

A eutrofização das massas hídricas superficiais constitui um dos mais significativos problemas, a nível de planeamento e gestão dos recursos hídricos. Uma das consequências consiste no bloom de organismos fitoplanctónicos, como as cianobactérias, produzindo um risco para a saúde, quando presentes na água para consumo humano. Muitas das tecnologias convencionais utilizadas no tratamento de água têm-se demonstrado pouco eficazes na sua remoção. Estações de tratamento de águas (ETAs) que utilizam águas com presença destes organismos tóxicos, têm que possuir barreiras eficientes para a sua remoção. Assim, torna-se necessário munir as ETAs de tecnologia apropriada à sua eliminação. Deste modo, este trabalho consiste, com base em investigação bibliográfica, avaliar a capacidade de remoção de cianobactérias, e das toxinas a elas associadas, ao longo de um sistema de tratamento e prever a possibilidade de introdução de um processo de separação por membranas, como uma barreira segura e eficaz no tratamento de águas com este tipo de problemas. Para tal, utilizou-se como caso de estudo a ETA de S. Domingos (sistema de tratamento convencional), responsável por parte do abastecimento de água da cidade de Peniche, cuja origem de água, albufeira de S. Domingos, se encontra eutrofizada e, a presença destes organismos é praticamente constante ao longo de todo o ano. Prevê-se que a ETA de S. Domingos consiga alguma remoção de cianobactérias e cianotoxinas intracelulares, mas a principal incerteza prende-se com o desempenho da ETA na remoção de toxinas extra celulares. Concluiu-se então, que desde que o sistema de tratamento já existente seja totalmente optimizado, e por introdução de um sistema de filtração por membranas (Nanofiltração) é possível reter com sucesso estas toxinas.

Practices and trends of telework in the Portuguese industry: the results of surveys in the textile, metal and software sectors

The aim of the TeleRisk Project on labour relations and professional risks within the context of teleworking in Portugal – supported by IDICT – Institute for Development and Inspection of Working Conditions (Ministry of Labour), is to study the practices and forms of teleworking in the manufacturing sectors in Portugal. The project chose also the software industry as a reference sector, even though it does not intend to exclude from the study any other sector of activity or the so-called “hybrid” forms of work. However, the latter must have some of the characteristics of telework. The project thus takes into account the so-called “traditional” sectors of activity, namely textile and machinery and metal engineering (machinery and equipment), not usually associated to this type of work. However, telework could include, in the so-called “traditional” sectors, other variations that are not found in technologically based sectors. One of the evaluation methods for the dynamics associated to telework consisted in carrying out surveys by means of questionnaires, aimed at employers in the sectors analysed. This paper presents some of the results of those surveys. It is important to mention that, being a preliminary analysis, it means that it does not pretend to have exhausted all the issues in the survey, but has meant that it shows the bigger tendencies, in terms of teleworking practices, of the Portuguese industry.

Traceability support in software product lines

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.