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.

Uma abordagem ágil para transformar modelos cognitivos em modelos comportamentais e de domínio

No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.

Método dos elementos aplicados na simulação numérica do arrancamento de armaduras

Uma das propriedades do betão armado que foi alvo de maior número de estudos, ao longo dos tempos, é a aderência. Esta é uma das propriedades mais importantes a considerar na construção, pois dela depende o desempenho e estabilidade de uma estrutura. Dada a sua importância, a aderência é a propriedade do betão armado mais estudada ao longo do tempo. A complexidade inerente a esta propriedade torna difícil de compreender e prever o comportamento estrutural. Esta dissertação pretende analisar a capacidade do Método dos Elementos Aplicados em simular o ensaio de arrancamento directo e de reproduzir modos de rotura. Este ensaio, denominado de pull-out test, estuda a aderência entre três materiais: o aço, o betão e o grout. Vários tipos de ligações, com diferentes modos de rotura, são simulados e comparados com um ensaio experimental referido na revisão bibliográfica. Assim, recorrer-se-á ao programa Extreme Loading for Structures, que tem como base o Método dos Elementos Aplicados. Através de uma análise de sensibilidade foi possível calibrar as propriedades dos diferentes elementos e das interfaces entre o betão, aço e grout, de modo a viabilizar o cálculo da força crítica das ligações e reproduzir os modos de rotura observados experimentalmente. Este trabalho pretende dar uma contribuição ao conhecimento no âmbito da simulação numérica, em relação a este tipo de ligações, e ajudar à criação de modelos numéricos fiáveis e eficientes de fácil e rápida execução. Esta dissertação permite concluir que o Método dos Elementos Aplicados, apresenta-se como uma boa solução para o estudo deste tipo de ligações. Os resultados numéricos tiveram uma boa aproximação dos resultados experimentais. Em conformidade com a análise experimental, as ligações com bainha de pré-esforço e comprimento de embebimento a partir de 15 cm são as que melhor desempenho têm ao nível da resistência.

Modelos para cálculo de ligações pilarviga com chapa de extremidade em estruturas de aço

Neste trabalho, são apresentados e discutidos os procedimentos prescritos no Eurocódigo 3, Parte 1-8, para cálculo e dimensionamento de ligações pilar-viga com chapa de extremidade, em estruturas de aço. Em particular, é analisado o método das componentes, que permite determinar a resistência e rigidez rotacional de juntas metálicas, possibilitando a utilização de ligações semi-rígidas, que frequentemente resultam em ligações mais económicas. A metodologia descrita é aplicada em dois exemplos numéricos, tendo-se comparado os valores calculados com os resultados obtidos através de um programa de cálculo automático (Powerconnect) que também se baseia no método das componentes. As análises efetuadas permitem constatar que existem algumas vertentes do programa que podem ser melhoradas. Recorreu-se ainda a um programa de cálculo automático comercial (Sap2000) para comparar os esforços atuantes numa estrutura metálica com ligações rígidas e semi-rígidas, tendo-se concluído que existem diferenças significativas entre as distribuições de esforços obtidas para as duas situações.

Filtragem de nuvens de pontos para geração de modelos digitais do terreno

As cartas topográficas são representações planas, generalizadas e reduzidas à escala, de zonas da superfície terrestre, contendo símbolos e informação textual para a descrição dos objectos. A forma mais comum de as produzir é por intermédio de fotografias aéreas, principalmente pela afinidade entre o conteúdo destas e aquilo que se convencionou representar na carta. O Instituto Geográfico do Exército (IGeoE) é uma entidade produtora de cartografia que provê, com informação geográfica, as Forças Armadas e a comunidade civil. A caracterização do relevo é parte da informação existente na carta, concretizada através das curvas de nível: linhas curvas que representam uma cota pré-definida (convencionado de 10 em 10 m nas cartas à escala 1/25 000), constante em toda a sua extensão. Estas acompanham as formas do terreno e indicam a altitude do nível do solo, independentemente de se cruzarem com outros objectos à superfície terrestre (como edifícios ou arvoredo). A informação do relevo é bastante completa, abrangendo a área de toda a carta. As curvas de nível são, por norma, restituídas, manualmente, por um operador numa estação fotogramétrica, numa tarefa compreensivelmente morosa. Uma das alternativas para a representação do relevo é por intermédio da correlação automática de fotografias aéreas, daí resultando uma nuvem de pontos cotados numa grelha regular, cada um com uma coordenada tridimensional. Alguns desses pontos contêm “ruído”, visto representarem não a cota ao nível do solo, mas a cota de objectos sobre a superfície terrestre. O processo de eliminação desse “ruído”, que permite corrigir a cota do topo do objecto para o solo, designa-se por filtragem. Há diversos processos de filtragem de nuvens de pontos, embora nenhum consiga obter resultados totalmente satisfatórios, apresentando mais ou menos dificuldades em algumas zonas de terreno específicas (zonas urbanizadas ou vegetação baixa, por exemplo). Um dos caminhos apontados para auxiliar a filtragem é a utilização de outros recursos que forneçam mais informação, para além da simples coordenada tridimensional do ponto a corrigir, bem como uma mistura de algoritmos, tentando conciliar os pontos fortes de cada uma destas abordagens. O presente trabalho desenvolveu uma metodologia automática para representar o relevo a partir de uma nuvem de pontos cotados, para ser integrada na cadeia de produção do IGeoE. A partir de uma nuvem de pontos primária, e utilizando como dados de entrada ortofotos e informação vectorial dos objectos da edição anterior e da edição de trabalho da carta (excepto relevo) da mesma região, efectua quatro filtragens: filtragem de edifícios, filtragem de áreas de arvoredo superiores a 150 m x 150 m, filtragem de áreas de arvoredo inferiores a 150 m x 150 m e árvores isoladas (envolvendo a detecção de árvores em ortofotos, ao nível do pixel, por algoritmo de aprendizagem automática), e filtragem por declives.

Modelos determinísticos e estocásticos aplicados ao cálculo de provisões para sinistros

A estimação das provisões para sinistros é de extrema importância na atividade de uma seguradora do ramo Não Vida, porque, por um lado, são necessários recursos suficientes para garantir o pagamento de qualquer sinistro que ocorra e, por outro, o excesso de provisões pode condicionar a rentabilidade da companhia. Assim, faz parte do papel do atuário garantir a adequação destas provisões técnicas. Com esse propósito, é habitualmente utilizado o método determinístico Chain Ladder para a estimação das provisões para sinistros. Contudo, de forma a contornar as limitações desta metodologia, recorre-se a modelos estocásticos, como o modelo proposto por Thomas Mack, uma aplicação dos Modelos Lineares Generalizados, a técnica Bootstrap, entre outros. Dos modelos estocásticos é de salientar um dos mais recentemente estudados, Double Chain Ladder, que está diretamente associado ao método Chain Ladder, trazendo algumas vantagens sobre esse último e possibilitando também a aplicação da técnica Bootstrap e uma simples associação ao método Bornhuetter-Ferguson. O objetivo desta dissertação consiste na aplicação e análise destes modelos na estimação de provisões para sinistros no ramo Não Vida.

A Directiva 2011-24-UE, relativa ao exercício dos direitos dos doentes em matéria de cuidados transfronteiriços : análise : potenciais repercussões no direito de acesso aos cuidados de saúde transfronteiriços em Portugal

RESUMO - 1. INTRODUÇÃO: Ao longo dos tempos, assistiu-se a um aumento da importância da Saúde Pública na Comunidade Europeia, mas só há relativamente pouco tempo teve o merecido lugar de destaque à luz da legislação comunitária. Neste contexto e com a adopção do Programa Europeu de Saúde Pública, surge a necessidade de actualizar o pensamento nesta área. Assim, é identificada uma oportunidade para formular uma estratégia, que seja passível de reduzir desigualdades e que também em compreenda as necessidades de saúde. Com o expandir da questão e com o propósito de reduzir as desigualdades, surge a Directiva 2011/24/UE, que visa regulamentar os direitos dos doentes em matéria de cuidados transfronteiriços. 2. OBJETIVO: Este trabalho apresenta como objetivo primordial analisar a Directiva 2011/24/UE, bem como a Lei n.º 52/2014, de 25 de Agosto, e identificar as principais barreiras, ao exercício do direito de acesso aos cuidados de saúde transfronteiriços, pelos beneficiários do SNS em Portugal, derivadas da aplicação de tais instrumentos legais. 3. METODOLOGIA: Foi utilizada uma abordagem analítica e documental, baseada na metodologia qualitativa. 4. CONCLUSÕES: As principais barreiras ao direito de acesso aos cuidados de saúde transfronteiriços, para os beneficiários do SNS em Portugal, são de ordem financeira, linguística e cultural, informacional, de mobilidade física, de proximidade geográfica, de carácter administrativo e de continuidade dos cuidados. A transposição da Directiva 2011/24/UE para o quadro jurídico português resulta essencialmente em iniquidades no âmbito do acesso aos cuidados de saúde transfronteiriços.

A afirmação do direito de águas

This thesis aims at demonstrating the dogmatic autonomy of Water Law. It also intends to clarify that this branch of law must not be confused with other similar subjects of law. To accomplish this task, the thesis justifies the dogmatic autonomy of Water Law beginning by discussing the emergence of this branch of law both at international and regional levels. The thesis analyses the emergence of International Water Law, discussing the reasons of its existence, its subject and importance. It also explains the relationship between international watercourses and the need to regulate them, considering that rules related to the use and management of such resources, although created at international level, are meant to be applied at regional and local levels. The thesis demonstrates that the fact that some waters are international, because they cross different states or serve as border between two or more states, justifies the existence of international water law rules aplicable to the region and to the watercourse they are supposed to regulate. For this reason, this thesis considers not only international water law in relation with the aplicable regional water law, but also the regional law in relation with the rules aplicable to the water basins and particularly with the concerned water basin states. This relationship between rules leads us to discuss how these three spectrums of rules are conciliated, namely international or universal, regional and water basin rules. To demonstrate how all this works we chose SADC for our case study. The thesis also studies the States who benefit from rules of international water law, and all other subjects who directly use water from international watercourses, and the conclusion we reach is that who really benefits are the population of such states whose rights of access, use and management are regulated by international, regional and basin rules As we can imagine, it is not easy to concile so many different rules, applicable to a scarce resource to which many subjects in many states compete for. And the interaction of the different interests, which is done under different spectrum of rules, is what guided our study, in which we analyse how all this process functions. And the main reason of all the discussion is to conclude that there is, in fact, a dogmatic autonomy of water law. To reach such a conclusion, the thesis begins by studying how international water law is applied at local level. Considering that international watercourses usually have different regimes adopted by the basin states, which difference may cause conflicts, the thesis discusses how water law may contribute to solve possible conflicts. To do this, the thesis studies and compares rules of international water law with rules of water law applicable to SADC states, and figures out the level of interaction between such rules. Considering that basin states have to obey to local rules, first of all, and after that to international and basin level rules, the thesis studies how the differents interests at stake are managed by riparian states, who act on behalf of their population. SADC appeared to provide an excellent case study to reach this goal. And the thesis discusses all these matters, the rules and principles applicable, and provides solutions where applicable, always considering water as subject of our study. Accordingly, we discuss the right to water, its nature and how it functions, considering the facts mentioned previously. And, as we conclude, all these legal discussions over water are a clear sign of the dogmatic autonomy of water

Modelos e materiais de ensino da matemática moderna em Portugal (1950-1965)

Este artigo tem por base um estudo enquadrado no uso de materiais/modelos de ensino da Matemática na década de 60, aquando da implementação do Movimento Matemática Moderna, em Portugal. Para atingir este objectivo definimos três questões: 1) Já havia interesse no uso destes novos métodos de ensino, e consequentemente no uso de materiais diversos que levassem a uma melhor aprendizagem por parte dos alunos, antes da década de 60? 2) De que modo os professores aplicaram e usaram estes métodos/materiais na sua prática docente? E que formação tiveram? 3) Quais os métodos e materiais que os professores utilizavam nas suas aulas? O foco central deste trabalho parte da análise de dois artigos escritos na revista Labor, o primeiro em 1952 e o segundo em 1960, pelo professor António Augusto Lopes1 sobre o uso de materiais no 1º ciclo e o Laboratório de Matemática. Toda a pesquisa deste trabalho focou-se na interpretação de material fornecido pelo professor Lopes (manuscritos, relatórios, livros e fotografias, documentos do Ministério da Educação Nacional), bem como por reflexões e comentários do próprio, registadas na forma de entrevista,2 sobre o que foi o Movimento Matemática Moderna ao nível da prática docente, com recurso a novas metodologias e materiais de ensino. O período que irá ser analisado em termos cronológicos será de 1957 a 1965, isto porque é um período experimental e de mudança. A reunião de 57 da CIEAEM em Madrid é o marco histórico que irá despoletar o interesse da Comissão e de Augusto Lopes para a aplicação dos novos materiais\modelos. Apesar de só em 1965 serem criadas as primeiras turmas piloto para aplicação das metodologias e dos novos materiais\modelos preconizadas pelo MMM.

Paciente com cardiopatia chagásica crônica, esquistossomose hepatoesplênica e síndrome da imunodeficiência adquirida: possível resolução espontânea de trombo no ventrículo direito

A presença de trombos nas câmaras cardíacas direitas parece aumentar o risco de morte no tromboembolismo. Entretanto, existe discrepância entre a prevalência de trombos intracavitários cardíacos e evidências clínicas de tromboembolismo. Além disso, as características individuais associadas ao elevado risco de mortalidade não estão bem estabelecidas. Este relato descreve o caso de um paciente portador de esquistossomose mansônica, síndrome da imunodeficiência adquirida (SIDA) e doença de Chagas crônica, apresentando grande trombo no ventrículo direito. A evolução foi favorável, sem complicações tromboembólicas e com provável resolução espontânea do trombo.

O uso da força no Direito Internacional = Use of force in Public International Law

Versão online da Revista Brasileira de Estudos Políticos, Belo Horizonte, nº 107, pp. 149-200, jul./dez.2013

A Lei Básica da Região Administrativa especial de Macau: contributo para uma compreensão de direito constitucional

In, AAVV - "Homenagem ao Prof. Doutor André Gonçalves Pereira"