A engenharia de requisitos como processo inovador nas organizações

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Análise de soluções construtivas para a verificação de requisitos térmicos e acústicos em edifícios de habitaçã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 Civil – Reabilitação de Edifícios

Adequação dos requisitos legais da Lei nº 102/2009 a empresas de serviços com postos de trabalho administrativos

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

Serviços integrados de engenharia electrotécnica no apoio ao projecto, execução e exploração de instalações eléctricas

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Aplicação da realidade aumentada à educação e treino na Engenharia Civil, Arquitectura e construção

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

Uma abordagem para derivar modelos de requisitos a partir de mecanismos de reconhecimento de voz

A elicitação de requisitos é uma das primeiras actividades do processo de Engenharia de Requisitos. Através desta etapa é possível capturar e estruturar os requisitos dos stakeholders e do sistema a ser implementado. Tipicamente esta estruturação é representada através de notação gráfica com o auxílio de ferramentas CASE. Estas ferramentas tornam esta actividade exclusiva, em termos de acessibilidade, a engenheiros sem deficiências físicas devido à complexidade das funcionalidades oferecidas pelas mesmas que permitem construir estes modelos. Nesta dissertação de mestrado é proposto desenvolver uma abordagem com suporte de uma ferramenta para melhorar a acessibilidade, e consequentemente,integrar um engenheiro de requisitos com limitações físicas na actividade de elicitação de requisitos. A ferramenta também possibilita uma alternativa para os stakeholders em geral para produzir modelos sem usar as mãos quando for mais conveniente. Esta abordagem propõe usar mecanismos de voz na geração de modelos de requisitos, mais concretamente modelos de requisitos orientados a objectivos, modelos de objectos e modelos de features usando técnicas de Model-Driven Development (MDD) (e.g., metamodelos). O stakeholder assim irá capturar os seus requisitos através de mecanismos de reconhecimento de voz, sendo automaticamente realizada uma transformação do seu discurso para um modelo KAOS, para um modelo conceptual ou para um modelo de features.

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.

Marcação CE, optimização e caracterização de uma superfície de redução de pressão para doentes acamados

A presente dissertação tem como objectivo principal o estudo e a elaboração da Marcação CE de um dispositivo médico de classe I. Este dispositivo, com a marca comercial Corkgel, tem como finalidade o alívio de pressão em doentes acamados e a prevenção de úlceras de pressão. O processo para a obtenção da Marcação CE implica a elaboração da documentação técnica, o cumprimento dos requisitos essenciais presentes nas directivas europeias e a realização da análise de risco do dispositivo em estudo. O conceito da Marcação CE é apresentado no Capítulo I. No Capítulo II estão discriminados os passos para a obtenção da marcação CE para qualquer dispositivo médico, sendo também abordadas as diferenças entre dispositivos médicos de classes de risco diferentes (I, IIa, IIb, III). No Capítulo III é apresentada a documentação técnica para o processo de marcação CE do Corkgel regida pela directiva 93/42/CE. A caracterização experimental dos dispositivos Corkgel, essencial para a gestão de risco, está descrita no Capítulo IV. A gestão de risco requer dados analíticos e/ou evidências de conformidade, nesse sentido, foram realizados testes de toxicidade, através de técnicas de espectroscopia e cromatografia gasosa, testes de envelhecimento químico/mecânico, inflamabilidade e microbiologia, que são referentes aos requisitos de saúde. Além disso, foram realizados testes de pressão, transpiração e de compatibilidade com técnicas de imagem médica, no sentido de evidenciar a eficácia do Corkgel em reduzir a incidência das úlceras de pressão. O cumprimento dos requisitos essenciais implica um processo de gestão de risco que tem como finalidade a identificação dos riscos com vista à sua redução/eliminação. Este processo foi accionado na fase de pré mercado, mas terá que continuar na fase pós mercado. Nem todos os testes para avaliar a eficácia do Corkgel foram terminados, além disso os testes de microbiologia e toxicidade não foram conclusivos. Quando o produto estiver em conformidade, deverá ser registado num organismo notificado, por exemplo no INFARMED, em Portugal. Merece referência o facto que, após a aposição da marcação CE, o fabricante terá que estabelecer procedimentos de vigilância de mercado, para prevenir e/ou corrigir não conformidades que venham a ser detectadas.

Quantificação de metais em resíduos para valorização energética

Este trabalho tem como objectivo a quantificação de metais (Alumínio, Bário, Cádmio, Chumbo, Cobalto, Cobre, Crómio, Estanho, Níquel, Potássio, Selénio, Sódio, Antimónio, Vanádio, Zinco e Mercúrio), em resíduos com potencial para valorização energética, em particular o refugo da estação de triagem do embalão de Palmela e o rejeitado do TMB da Central de Setúbal. A partir destes resíduos pode produzir-se RDF que é um combustível heterogéneo e de elevado PCI, que é utilizado em diversos países Europeus, como a Alemanha, a Itália e a Holanda como combustível alternativo. Este tipo de combustível tem especial pertinência devido ao Protocolo de Quioto e à Directiva das Energias Renováveis, que sugerem a substituição dos combustíveis fósseis. Assim, indústrias como cimenteiras, produtoras de gesso, termoeléctricas entre outras podem fazer uso destes combustíveis de forma a cumprir alguns dos requisitos exigidos nestes documentos. Neste trabalho estudou-se o comportamento dos resultados dos metais relativamente à distribuição Normal, e sempre que possível, associaram-se intervalos com 95% de confiança para as médias, e fez-se uma comparação final entre os dois resíduos estudados. Seguidamente, fez-se a comparação dos valores das médias e dos máximos obtidos para os metais, com a Norma CEN/TC 343, com as Normas da Secil, EURITS, Alemanha, Finlândia, Itália e Suécia. Verificaram-se incumprimentos em todas as Normas estudadas, para ambos os resíduos, com excepção da Norma CEN/TC 343 e da Norma da Finlândia, segundo as quais estes resíduos podem ser usados na produção de RDF.

Métodos computacionais em engenharia mecânica

Este estudo pretende mostrar algumas aplicações dos métodos computacionais na actividade de projecto em Engenharia Mecânica. Apresentam-se problemas concretos de engenharia que foram abordados durante um estágio realizado no CERN – Centre Européen pour la Recherche Nucléaire, e onde foram utilizados: a) o método dos elementos finitos para cálculo de temperaturas e fluxos de calor e a sua influência sobre os deslocamentos, tensões e deformações que ocorrem numa peça; b) o método híbrido dos elementos finitos/volumes finitos para a discretização das equações de Navier-Stokes e a análise do escoamento de fluidos; c) um algoritmo genético para a obtenção da solução óptima de um problema estrutural. O projecto em engenharia é uma actividade cada vez mais complexa, que requer o uso de ferramentas computacionais sofisticadas tais como os programas ANSYS e MATLAB que foram utilizados no estudo. A criação de modelos numéricos e a análise do seu comportamento com estas ferramentas requer simultaneamente um bom conhecimento dos princípios que estão na base do seu desenvolvimento e uma boa perícia na sua manipulação. Com elas é possível obter soluções quando os constrangimentos do projecto são exigentes e análises detalhadas do comportamento estrutural são necessárias. Neste estudo pretende-se também demonstrar que uma combinação inovadora destas ferramentas pode contribuir para obter aplicações úteis para a actividade de projecto em engenharia.

Avaliação da situação nacional em matéria de gestão de REEE

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 do Ambiente, perfil Gestão e Sistemas Ambientais

Protocolo Mac para acesso multi-modo em redes de sensores sem fios móveis

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 Electrotécnica e de Computadores

Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS

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

Adaptação da framework i* para linhas de produtos

Dissertação de Mestrado em Engenharia Informática

Uma linguagem de domínio específico para a framework i*

Dissertação apresentada para obtenção do Grau de Mestre em Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia