Mineração de repositórios de software modelos de previsão de pedidos de evolução de software

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

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

Identificação modal e actualização de modelos de elementos finitos

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Modelos de previsão da degradação de pavimentos: parâmetro IRI

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Modelos Masculinos e Femininos no Oeste Americano de Annie Proulx

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Línguas, Literaturas e Culturas – Estudos Ingleses e Norte-Americanos

Modelos probabilísticos de previsão de fendilhamento em pavimentos rodoviários

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Construção

O funcionalismo e o socioconstrutivismo no ensino da História e da Geografia: dois modelos em análise

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino da História e da Geografia no 3º Ciclo do Ensino Básico e Ensino Secundário

Paredes de alvenaria ordinária: estudo experimental com modelos simples e reforçados

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Civil na especialidade de Ciências da Construção

Métodos analíticos e numéricos do tipo elementos finitos contínuos e contínuos/descontínuos para o estudo de modelos de Boussinesq melhorados para a propagação de ondas

Dissertação para obtenção do Grau de Doutor em Matemática na área de especialização de Análise Numérica

Modelos de previsão de rodeiras em pavimentos rodoviários

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil Geotecnia

Evidência do cão como reservatório da leptospirose humana: isolamento de um sorovar, caracterização molecular e utilização em inquérito sorológico

A leptospirose canina é conhecida como enfermidade de Stuttgard desde 1898, sendo os cães, depois dos roedores, considerados como a segunda principal fonte de infecção para o homem. O isolamento de um sorovar patogênico da urina de um cão, laboratorial e clinicamente identificado como tendo leptospirose, e sua utilização para testar amostras de soro de casos de leptospirose humana e canina, evidenciou a sua importância no ecossistema da região sul do Brasil. Os resultados do teste de soroaglutinação microscópica indicaram que 100% das amostras de soro humano de 12 pacientes do banco de soro de 2001 do Centro de Controle de Zoonoses, que haviam reagido com títulos que variaram de 25 a 3.200 para o sorovar canicola, e 72% das amostras de 105 soros caninos do mesmo banco de soro, também reagiram contra o novo isolado. O título médio e mediana dos soros humanos testados com a bateria de antígenos recomendada pela OMS, foi respectivamente 630 e 100, ao passo que os testados com o isolado foi de 1.823 e 400. Nos soros caninos, os títulos foram respectivamente de 347 e 100 para a bateria e de 1.088 e 200 para o isolado.

Gestão soft da manutenção de automotoras UQE-S3500: aplicação de modelos de risco proporcionais

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

Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos.