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

Verificação do cumprimento dos requisitos legais de segurança dos géneros alimentícios disponíveis nas superfícies comerciais em Portugal Lisboa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Tecnologia e Segurança Alimentar

Um estudo epidemiológico sobre o glaucoma. Subsídios alimentares e nutricionais

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Tecnologia e Segurança Alimentar, Ramo Qualidade Alimentar

Avaliação de requisitos de segurança alimentar em estabelecimentos de ensino público de um concelho em Portugal

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar - Perfil Qualidade Alimentar

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

Alterações nutricionais, organolépticas e de textura dos produtos hortícolas conservados – Uma revisão

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Alimentação e saúde : percepção sobre qualidade de vida de gestantes e parturientes

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ecologia Humana e Problemas Sociais Contemporâneos

Elaboração de listas de verificação e avaliação do cumprimento de pré-requisitos na empresa Refrige, S.A

Dissertação para obtenção do grau de mestre em Tecnologia e Segurança Alimentar

Cenários visuais: rastreio de requisitos, documentação e animação para sistemas legados

A rastreabilidade dos requisitos de software nos sistemas legados é um problema recorrente na maioria das empresas. Existem várias causas para este problema, mas as razões principais estão na falta de documentação e unem-se à inexistência de um suporte adequado que permita manter a rastreabilidade entre os requisitos, o desenho e o código fonte de um sistema de software. Nos casos em que existe alguma documentação do sistema esta apresenta-se normalmente na forma de documentos de texto não estruturado, escritos em língua natural. A falta de um standard para representar a informação, torna mais difícil perceber a estrutura e a complexidade de um sistema legado. Esta dissertação vem tentar mitigar o problema apresentado, da falta de rastreabilidade entre os requisitos e a implementação, propondo uma abordagem inovadora designada por Cenários Visuais. A técnica proposta tenta mitigar o problema que existe da rastreabilidade do software e vai facilitar a compreensão do sistema por parte de todos os envolvidos, desde a sua criação até às fases posteriores do seu ciclo de vida. Os cenários visuais são filmagens da execução de cenários, onde é possível encontrar informação adicional sobre as iterações entres os componentes de um sistema. Os cenários visuais são uma representação dinâmica e sincronizada entre duas perspectivas de um sistema de software. A primeira corresponde à perspectiva do utilizador do sistema (caixa preta) e é constituída por um filme descrevendo cada cenário de um caso de utilização. A segunda corresponde à perspectiva do construtor de sistemas de software (caixa branca) e é concretizada por um diagrama de sequência (UML). O processo de criação de um cenário visual servirá de suporte para a criação automática de documentação de sistemas legados e facilitará a validação dos requisitos de um sistema de software. Em suma, espera-se que com esta dissertação a compreensão de um sistema de software legado possa vir a ser melhorada.

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.

Caracterização de propriedades nutricionais e antioxidantes de chás do Arquipélago dos Açores e valorização dos seus resíduos

Neste trabalho estudou-se a composição e actividade antioxidante de chás verdes e pretos (8 provenientes dos Açores, e 11 de outras origens), 4 chás vermelhos e 6 tisanas de ervas. A composição mineral das folhas de chá e das correspondentes infusões de 5 e 15 minutos foi avaliada no que se refere aos macroelementos (K, Ca, Mg e Na) com valor nutricional e ao alumínio (Al), tendo-se verificado que as suas concentrações dependem do tipo de chá e do tempo de infusão. A actividade antioxidante dos chás e tisanas foi avaliada pela reacção de Folin Ciocalteu, a actividade antiradicalar (DPPH) e actividade redutora férrica (FRAP). Estas actividades aumentaram ou diminuiram com o tempo de infusão e dependendo do tipo de chá e do teste específico o que indica diferentes cinéticas de extracção e degradação de compostos específicos. Os compostos fenólicos dos chás foram quantificados por HPLC-DAD e agrupados nas famílias de catequinas, metilxantinas, ácidos hidroxibenzóicos e hidroxicinâmicos, teoflavinas, flavonas, flavonóis, e seus derivados glicosilados e/ou acilados. A cinética de extracção destes compostos foi avaliada em dois chás dos Açores para tempos de infusão entre 5 min e 60 min. Testaram-se diferenças significativas na composição dos chás e correlações entre composição e actividade antioxidante. A valorização de resíduos dos chás Gorreana como matérias-primas para a produção de suplementos nutracêuticos foi estudada efectuando a extracção de dois chás dos Açores e de dois resíduos de chá utilizando água, etanol acetona e suas misturas. Os resultados mostraram que a polaridade do solvente afectou significativamente o teor de polifenóis, actividade antioxidante e actividade antimicrobiana dos extractos. Os extractos de chá verde inibiram o crescimento de bactérias gram-positivas (Staphylococcus aureus e Staphylococcus aureus resistentes à meticilina), e observou-se uma correlacção forte entre teor de polifenóis e as actividades antioxidante e antimicrobiana de extractos de chá.

Arquivos bancários em Portugal: requisitos para a gestão de documentos de arquivo

Versão corrigida e melhorada após a sua defesa pública

Análise de perigos físicos não metálicos para a implementação da norma IFS em linhas automatizadas de padaria ultracongelada

As crises alimentares, a par de procedimentos nutricionais deficientes, vêm conferindo prioridade ao desenvolvimento de múltiplos aspetos de segurança e qualidade na indústria alimentar. Acresce ainda que a globalização do comércio também levou à necessidade de criação de padrões de qualidade e segurança alimentar tais como a IFS. Neste enquadramento, o objetivo deste estudo consistiu na análise de perigos físicos não metálicos, no âmbito da implementação da IFS, em unidades de padaria, numa indústria de produtos de panificação e pastelaria pré confecionados e ultracongelados. Inicialmente foi realizado um enquadramento teórico, o estudo do caso – PANICONGELADOS, massas congeladas SA, relativo ao processo produtivo das padarias 2 e 3. Procedeu-se posteriormente à análise dos perigos físicos não metálicos com incidência na avaliação das infraestruturas e equipamentos, revisão do SGSA, das metodologias e procedimentos estabelecidos para a gestão de perigos físicos relativos à produção, limpeza e higienização e manutenção. Com base no reconhecimento da situação apontaram-se as necessidades e oportunidades de melhoria. Definiram-se ainda as prioridades básicas para cumprimento dos requisitos relativos à obtenção da certificação IFS.