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.

Barreiras e facilitadores à implementação de um modelo de gestão de cuidados em Saúde Mental

RESUMO: Enquadramento teórico - Os estudos epidemiológicos demonstram que apesar de todo o progresso científico, muitas pessoas continuam sem acesso aos Serviços de Saúde Mental (SSM) e que, em muitos casos, os cuidados não têm a qualidade suficiente. A experiência de vários países mostra que os processos de implementação de modelos de intervenção terapêutica, como é o da Gestão de Cuidados, são lentos e complexos, não dependendo somente do grau de efectividade ou da complexidade das práticas a implementar. O Modelo de Gestão de Cuidados (MGC), é definido como uma prática baseada na evidência, utilizada para ajudar os doentes nos seus processos de recuperação. As estratégias para implementar práticas baseadas na evidência são críticas para a melhoria dos serviços. Existem, apesar de toda a evidência, muitas barreiras à implementação. Ao constatarmos que as práticas validadas pela ciência estão longe de estar claramente disseminadas nos serviços de saúde mental, fundamentamos a necessidade de utilizar metodologia de implementação que, além da efectividade das práticas, permita uma efectividade da implementação. Para responder às necessidades de formação e no âmbito da implementação do Plano Nacional de Saúde Mental, foram formados, em Portugal, 170 profissionais de saúde mental provenientes de serviços públicos e do sector social, de todas as regiões de Portugal Continental. Considerando que estes profissionais adquiriram competências específicas no MGC, através de um programa de formação nacional idêntico para todos os serviços de saúde mental, investigámos o grau de implementação deste modelo, bem como os facilitadores e as barreiras à sua correcta implementação. Existem vários estudos internacionais sobre as barreiras e os facilitadores à implementação de práticas baseadas na evidência, embora a maior parte desses estudos seja baseado em entrevistas semi-estruturadas a profissionais. Por outro lado, não existem, em Portugal, estudos sobre as barreiras e os facilitadores à implementação de práticas de saúde mental. Objectivos 1. Estimar o grau da implementação do MGC nos serviços de saúde mental portugueses 2. Caracterizar as regiões onde a implementação do MGC tenha ocorrido em maior grau. 3. Identificar os factores facilitadores e as barreiras à implementação do MGC, entre as regiõesde saúde do país. 4. Explorar as relações entre a fidelidade da implementação, as barreiras e os facilitadores da implementação, a cultura organizacional e as características dos serviços de saúde mental. Metodologia Estudo observacional, transversal e descritivo, com características exploratórias. População: profissionais dos serviços de saúde mental públicos e do sector social que frequentaram o Programa Nacional de Formação em Saúde Mental Comunitária no curso “Cuidados Integrados e Recuperação”, da Coordenação Nacional para a Saúde Mental / Ministério da Saúde, entre Outubro de 2008 e Dezembro de 2009, (n=71). Avaliação Fidelidade de implementação do Modelo de Gestão de Cuidados - IMR-S (Illness Management and Recovery Scale); Qualidade das guidelines utilizadas na implementação do Modelo de Gestão de Cuidados - AGREE II-PT (Appraisal of Guidelines, for Research and Evaluation); Avaliação das Barreiras e Facilitadores à implementação do MGC - BaFAI (Barriers and Facilitators Assessment Instrument); Avaliação da Cultura Organizacional dos serviços de saúde mental - CVF-I (Competing Values Framework Instrument). Análise Estatística Para a descrição dos dados foram aplicados métodos de estatística descritiva. Para a comparação de subgrupos foram utilizados os testes de Mann Whitney e Kruskall-Wallis. Para a investigação de associações foram utilizados os métodos de correlação de Spearman e a Regressão Múltipla. O tratamento e análise dos dados foram realizados utilizando o programa estatístico IBM SPSS Statistics® para Mac/Apple® nas versões 19 e 20. Resultados Serviços: A articulação com os cuidados de saúde primários existe na maioria dos serviços (56.34%) e 77.46% dos serviços têm autonomia para definir os cuidados a prestar. A maioria dos serviços (63.38%) realiza duas ou mais reuniões clínicas por mês e a quase totalidade (95.77%) recebe estagiários e/ou internos. A área da investigação tem níveis considerados baixos, quando comparados com outros países da Europa, tanto para a globalidade das áreas de investigação (25.35%), como para as áreas psicossociais (22.54%). Considerando componentes fundamentais para a implementação de modelos de gestão de cuidados, os resultados nacionais indicam que 66.20% dos serviços fazem registos em processo clínico único. As percentagens de utilização de planos individuais de cuidados são globalmente baixas (46.48%). Por seu turno, a utilização de guidelines, nos serviços do país, tem uma percentagem média nacional de 57.75%. Profissionais: São, na sua maioria, do sexo feminino (69.01%), com idades entre os 25 e os 56 anos (média 38.9, ± 7.41). Pertencem, maioritariamente, aos grupos profissionais da enfermagem (23.94%) e da psicologia (49.30%). A formação dos profissionais é de nível superior em todos os grupos, com uma percentagem total de licenciados de 80.3%, tendo os restantes uma formação ao nível do mestrado. Apesar dos valores baixos (17%) de formação prévia em modelos de gestão de cuidados, 39% dos profissionais indicou utilizar algumas vertentes destes modelos na sua prática. Apesar de 97,18% dos profissionais ter participado em dois ou mais encontros científicos, num período de dois anos, apenas 38.03% apresentou alguma comunicação científica no mesmo intervalo. Guideline: Os resultados da avaliação da guideline do MGC indicaram percentagens mais altas, quanto à qualidade do seu desenvolvimento, nos Domínios 1 (Objectivo e finalidade, com 72.2%) e 4 (Clareza de Apresentação, 77.7%). O Domínio 5 (Aplicabilidade) foi pontuado no limite inferior do desenvolvimento com qualidade suficiente (54.1%), ao passo que a guideline obteve uma pontuação negativa nos Domínios 2 (Envolvimento das partes interessadas, com 41.6%) e 3 (Rigor do Desenvolvimento, com 28.1%). Adicionalmente não foi possível às avaliadoras cotar o Domínio 6 (Independência editorial), por ausência de referências neste contexto. A guideline teve uma avaliação global positiva (66%), com recomendação de aceitação com modificações. Cultura Organizacional: O perfil de liderança com maior frequência nos serviços de saúde mental portugueses foi o de Mentor (45.61%). As percentagens mais baixas pertenceram aos perfis Monitor e Inovador (3.51%). Na perspectiva da cultura organizacional dos serviços, apontuação mais alta foi a da Cultura das Relações Humanas (74.07%). A estratégia de liderança, com predomínio em todas as regiões, foi a estratégia de Flexibilidade (66.10%). Os resultados mostram que a única associação positivamente significativa com o grau da implementação do MGC é a do perfil Produtor, com um peso específico de 14.55% na prevalência dos perfis de liderança nos serviços de saúde mental portugueses. Barreiras: As barreiras à implementação da prática do MGC, identificadas pelos profissionais dos serviços de saúde mental, com percentagens mais altas nos totais do país, foram: o tempo (57.7%), o conhecimento sobre o modelo e a motivação (40.8%), a colaboração dos outros profissionais (33.7%), o número de contactos reduzidos com os doentes (35.2%), as insuficiências do ponto de vista dos espaços (70.4%) e dos instrumentos disponíveis (69%) para implementar o MGC. Existiu uma variação entre as regiões de saúde do país. Os resultados mostram que houve uma correlação negativa, de forma significativa, entre a implementação do MGC e as barreiras: da resistência à utilização de protocolos, do formato da prática, da necessidade de mais treino e da não cooperação dos profissionais. Foram encontradas diferenças estatisticamente significativas entre as barreiras à implementação e as características dos serviços, dos profissionais e da cultura organizacional. Implementação: A média nacional da fidelidade de implementação do MGC (41.48) teve valores aproximados aos de estudos similares. Na pontuação por regiões, a implementação com maior fidelidade ocorreu no Alentejo. Se considerarmos a implementação com fidelidade esta ocorreu em 57.75% dos serviços e uma boa implementação em 15.49%. Os métodos de regressão permitiram confirmar a capacidade preditiva das barreiras e da cultura organizacional quanto à fidelidade da implementação do MGC. Discussão: No universo das hipóteses inicialmente colocadas foi possível verificar a variação da implementação do MGC entre as regiões do país. O estudo permitiu, adicionalmente, concluir pela existência de denominadores comuns de maior sucesso da implementação do MGC. Foi ainda possível verificar uma relação significativa, existente entre o grau de implementação e as dimensões das barreiras, a cultura organizacional e os recursos dos SSM (aqui definidos pelas características dos serviços e dos profissionais). De uma forma mais conclusiva podemos afirmar que existem outros factores, que não estão relacionados com a avaliação restrita dos recursos financeiros ou humanos, associados à qualidade da implementação de práticas baseadas na evidência, como o MGC. Exemplo disso são os achados referentes à região de saúde do Alentejo, onde a distância dos grandes centros urbanos e as conhecidas dificuldades de acessibilidade, combinadas com os problemas conhecidos da falta de recursos, não impediram que fosse a região com os valores mais altos da fidelidade de implementação. Conclusões: Foram encontradas inúmeras barreiras à implementação do MGC. Existem barreiras diferentes entre regiões, que resultam das características dos serviços, dos profissionais e da cultura organizacional. Para existir implementação é necessária a consideração de metodologias próprias que vão para além dos tradicionais programas de formação. As práticas baseadas na evidência, amplamente defendidas, exigem implementações baseadas na evidência.-------------ABSTRACT: Introduction - Several epidemiological studies show that, despite all scientific progress, many people still continue to have no access to mental health services and in many situations the quality of care is poor. The experiences of several countries show that progress towards case management implementation is slow and complex, depending not only from the degree of effectiveness or the complexity of the practice. Case management is defined as an evidence-based practice used to help patients in the recovery process. Strategies to implement evidence-based practices are critical to services improvement. There are many barriers to their implementation, despite all available evidence. Realising that practices of proved scientific value are far from being clearly implemented, justifies the need to use implementation methodologies that, beyond practice effectiveness, allow implementation effectiveness. To answer training needs and in the framework of the National Mental Health Plan implementation, 170 mental health (MH) professionals from portuguese public and private sectors were trained. Considering that case management skills were acquired, as a result of this training programme, we decided to study the degree of implementation in the services.Barriers and facilitators to the implementation were studied as well. There are several studies related with barriers and facilitators to the implementation of evidence-based practices, but most of them use semi-structured interviews with professionals. Additionally, there are no studies in Portugal related with barriers and facilitators to the implementation of mental health practices. Objectives1. Estimate the degree of case management implementation in Portuguese MH Services. 2.Describe regions where implementation occurred with higher fidelity degree. 3. Identify barriers and facilitators to case management implementation across country regions. 4. Explore the relationships between implementation, barriers and facilitators, organisational culture and services characteristics. Methodology - Cross sectional, descriptive study. Assessments - Implementation fidelity - IMR-S (Illness Management and Recovery Scale); Guideline quality - AGREE II-PT (Appraisal of Guidelines, for Research and Evaluation); Barriers and facilitators assessment - BaFAI (Barriers and Facilitators Assessment Instrument); Organisational culture assessment - CVF-I (Competing Values Framework Instrument). Statistical analysis - Descriptives and cross-tabs. Subgroups comparison: Mann-Witney and Kruskall-Wallis. Associations between variables were calculated using Spearman correlation's and Multiple Regression. Results - Services: Liaison with primary care is done in most services (56.34%) and 77.46% have autonomy to determine care. Most services have regular clinical meetings and almost all give internship training (95.77%). Research activity is low compared with other European countries, for both general and psychosocial research. Considering key components for the case management implementation, 66.20% of all services use single clinical records. The use of individual care plans is globally low (46.48%) and there is a use of guidelines in 57.75% of services. Human Resources: most are women (69.01%), with age ranging from 25-56 (average 39.9, SD 7.41). The majority are psychologists (49.30%) and nurses (23.94%). All have a university degree, 19.7% have a masters degree and 83% didn’t have any case management training before the above mentioned national training. Despite the low levels of preceding case management training, 39% have used model components in day-to-day practice and although 97.18% of the workforce have attended scientific meetings in the last 2 years, only 38.03% presented communications in the same period. Guideline: Results show that higher scores were obtained in Domain 1. Scope and Purpose (72.2.%),and Domain 4. Clarity of presentation (77.7%). Domain 5. pplicability scored near low boundary (54.1%) and negative scores were found in Domain 2. Stakeholder Involvement (41.6%) and Domain 3. Rigour of Development (28.1%). Global score was 66% and the guideline was recommended with modifications. Organisational Culture: The most frequent leadership profile was the Mentor profile (45.61%). Lower scores belonged to Innovator and Monitor profiles (3.51%). On the organisational culture overall, higher scores were found in the Human Relations culture (74.07%). The higher leadership strategy was the strategy of flexibility (66.10%). The results additionally showed that the only leadership profile associated with case management implementation was the Producer profile, representing 14.55% of all leadership profiles in the country.Barriers: The barriers identified by MH professionals, with high percentages, were: lack of time (57.7%), knowledge and motivation (40.8%), other colleagues cooperation (33.7%), low number of contacts with patients (35.2%), lack of facilities (70.4%) and lack of instruments (69%) to implement case management, varying across regions. Results show that there was a negative correlation between implementation and the following barriers: using protocols, practice format, need for more training and lack of cooperation from colleagues. Additionally, statistical differences were found between barriers to implementation and: services characteristics, workforce characteristics, organisational culture. Implementation: The national average results of case management implementation fidelity was (41.48), close to values found in similar studies. In the regional scores South Region Alentejo had the highest implementation score. If we look at minimum scores to assume implementation fidelity, these occurred in 57.75% of services and a good implementation occurred in 15.49% of these. Regression methods allowed to confirm that implementation score prediction was possible using the combination of barriers and organisational culture scores. Discussion - Considering the initial study hypotheses, it was possible to confirm the variation of case management implementation across country regions. Additionally, we could conclude that common denominators exist when successful implementation occurred. It was possible to observe a significant relationship between implementation degree and the dimensions of barriers, organisational culture and services resources (defined as professionals and services characteristics). In a more conclusive way, we can say that there are factors, other than financial and human resources, that are associated with evidence based practices implementation like case management. An example is the Alentejo region, were the distance from urban centres, and the known difficulties associated with accessibility, plus the lack of financial and human resources, have not impeded the regional higher score on implementation. Conclusions: Case management implementation had several barriers to implementation. There are different barriers across country regions, resulting from organisational culture, services and professionals characteristics. To reach implementation it is necessary to consider specific methodologies that go beyond traditional training programs and evident practices, widely promoted. Evidence-based practices require evidence-based implementations.

Modelos de ação bélica na Crônica de D. Duarte de Meneses - Texto, Contexto e Representação

Bolsista de Doutorado (SFRH/BD/77667/2011) da Fundação de Ciência e Tecnologia, Portugal.

Modelos de avaliação do desempenho empresarial: guia de referência para empresas transformadoras do setor vitivinícola

Com elevada preponderância na competitividade de uma organização, a avaliação é cada vez mais utilizada no mercado atual. Pode ser aplicada tanto na implementação de projetos como na melhoria do processo existente e da atividade do negócio como um todo. Na lógica da avaliação global do negócio, a avaliação é cada vez mais vista como uma boa prática, uma vez que permite, de forma integrada, durante as atividades de monitorização, identificar erros, desvios face a metas fixadas ou outros problemas de maneira a corrigi-los preventivamente. Na lógica da melhoria da atividade de negócio, possibilita a identificação de potenciais falhas onde se pode incidir na melhoria dos mesmos, tendo um nível de abrangência superior aos tradicionais indicadores financeiros, o que permite avaliar o desempenho global da organização e correlacionar medidas e impactos. No presente trabalho elaborou-se um levantamento de modelos de avaliação macroeconómicos, empresariais e individuais e foi realizado um questionário às organizações do setor vitivinícola para aferir da sua maturidade na prática de avaliação, bem com o intuito de aferir acerca da utilidade e aplicabilidade de um guia de apoio a esta prática. Com base nestes elementos, criou-se um guia de avaliação de referência para empresas transformadoras do setor vitivinícola, tendo como base os conceitos inerentes aos modelos de avaliação empresariais: balanced scorecard (BSC), modelo Shingo, modelo European Foundation for Quality Management (EFQM) e tendo em conta a contextualização realizada ao setor vitivinícola, baseada nas respostas fornecidas aos questionários realizados no âmbito desta dissertação.. Como resultado, gerou-se um guia de apoio à adoção de práticas de avaliação que poderá ser aplicado com vista ao aumento da competitividade das organizações do setor transformador vitivinícola.

A satisfação dos alunos finalistas do Ensino Superior

Na identificação dos determinantes da satisfação dos alunos finalistas com a formação obtida no Instituto Superior Técnico (IST) avaliou-se o impacto que a preparação para o mercado de trabalho, e a aprendizagem de competências transversais como a gestão, administração, empreendedorismo e liderança, têm na satisfação dos finalistas. O modelo teórico privilegiou as adaptações ao ensino superior (ES) dos modelos de medida da satisfação ECSI e SERVQUAL e, dos determinantes empíricos do instrumento de medida. O Projeto centrou-se na análise dos resultados ao questionário aos Alunos Finalistas de Mestrado de 2012/13, da responsabilidade do Núcleo de Estudos e Projetos do IST. Os dados foram sujeitos a uma análise fatorial em fatores comuns e específicos, cujos fatores foram utilizados na realização de uma regressão em componentes principais. Os resultados demostraram que as competências de gestão e administração, as competências técnicas e informáticas e a preparação para o mercado de trabalho eram os principais determinantes da satisfação dos alunos finalistas do IST. As competências linguísticas e de consciência ambiental foram as que menor impacto tiveram na satisfação com a formação obtida. A aplicação do modelo de regressão aos alunos de mestrados integrados e aos dos cursos de engenharias tradicionais revelou existirem diferenças nos determinantes e seu impacto na satisfação. Foi no primeiro grupo que o modelo revelou o seu potencial máximo explicativo, confirmando a importância das competências técnicas e informáticas e das competências de gestão e administração como as mais impactantes na satisfação dos finalistas com a sua formação. Para os alunos das engenharias tradicionais, a ligação ao mercado de trabalho não se assumiu como um dos fatores explicativos da satisfação.

Determinação da prevalência de fibrilhação auricular na população portuguesa ao nível da NUTS III usando modelos hierárquicos bayesianos

A Fibrilhação Auricular é uma alteração do ritmo cardíaco designada por arritmia. Esta patologia é considerada a forma de arritmia mais frequentemente observada na prática clínica e que constitui uma importante causa de morbilidade pelo risco inerente de desenvolvimento de AVC. Em 2010 foi realizado um estudo epidemiológico na população Portuguesa com o objectivo determinar a prevalência de Fibrilhação Auricular na população portuguesa com idade igual ou superior a 40 anos, sob o acrónimo de FAMA. Os dados publicados indicaram uma estimativa de prevalência de 2,5%, com um aumento da prevalência em função da classe etária. A nível regional não foram observadas diferenças na taxa de prevalência. Estudos de mapeamento de doenças mostraram que a determinação de taxas de prevalência por região, quando o número de casos observados é relativamente baixo, apresentam sobredispersão e, consequentemente, uma falta de precisão nas estimativas obtidas através um método frequencista clássico. A utilização de modelos Bayesianos hierárquicos no mapeamento de doenças tem apresentado vantagem na estimação de valores de risco da doença comparativamente à abordagem clássica. Assim, é objectivo deste trabalho determinar a prevalência de Fibrilhação Auricular na população Portuguesa por região, ao nível da NUTS III, usando modelos hierárquicos Bayesianos. Os dados utilizados neste estudo são os dados referentes ao estudo FAMA, pós-estratificados para correcção dos ponderadores. O modelo Bayesiano proposto por Besag, York e Mollié (1991) foi usado para modelar os dados, covariando para a idade e índice de massa corporal. A revisão do desenho do estudo e o recálculo dos ponderadores foi realizado com recurso ao software R, survey, e a análise Bayesiana efectuada através do WinBugs. iii Os resultados deste estudo demonstram que o uso de modelos Bayesianos são uma melhor opção para a estimação de valores risco relativo e prevalência da doença. Contudo, a utilização de covariáveis não resultou numa melhoria considerável ao contrário do que seria esperado. Conclui-se que a Fibrilhação Auricular apresenta variações regionais significativas, a nível de NUTS III, que não devem ser desvalorizadas na determinação de políticas de saúde pública para controle da doença.

Modelos de previsão de preços de commodities

O principal objectivo deste trabalho assenta em desenvolver modelos de previsão de preços de commodities para assim comparar a capacidade preditiva da simulação de Monte Carlo com a das redes neuronais. A simulação de Monte Carlo é principalmente utilizada para avaliar as opções, já as redes neuronais são utilizadas para fazer previsões, classificações, clustering ou aproximação de funções. Os diversos modelos desenvolvidos foram aplicados na previsão do preço futuro do milho, petróleo, ouro e cobre. Sendo que os horizontes temporais testados neste trabalho foram 1 dia, 5 dias, 20 dias e 60 dias. Através da análise do erro absoluto médio percentual (MAPE) concluiu-se que no geral o modelo individual que apresentou um melhor desempenho preditivo foram as redes neuronais. Contudo, nas previsões a 1 e a 5 dias os resultados obtidos foram semelhantes para ambos os modelos. Para se tentar melhorar os resultados obtidos pelos modelos individuais foram aplicadas algumas técnicas de combinação de modelos. A combinação de modelos demonstrou no geral capacidade para melhorar os resultados dos modelos individuais, porém apenas para o horizonte a 60 dias é que os resultados melhoraram significativamente.

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.

Modelação do risco de crédito numa carteira de crédito ao consumo

A análise de risco de crédito nas instituições bancárias e a mensuração do risco é de extrema importância para as instituições, uma vez que a concessão de crédito é a sua principal actividade. A capacidade de distinguir “bom” e “mau” cliente é um processo decisivo na constituição do crédito, pelo que são aplicados modelos de Credit Scoring , modelos quantitativos que consistem numa análise estatística à qualidade do crédito. O objectivo desta dissertação é estimar a probabilidade de incumprimento de cada cliente em função das variáveis sócio-económicas e demográficas, tendo por base dados de uma carteira de crédito ao consumo de uma Instituição Bancária de Cabo Verde, através de uma técnica estatística multivariada: a Regressão Logística. Adicionalmente, estima-se a taxa de recuperação do crédito, para clientes incumpridores, recorrendo à Regressão Beta, com base no histórico do crédito de cada cliente. Neste trabalho propõe-se, ainda, ummodelo para a estimação do spread a aplicar a um novo cliente assumido pela instituição bancária, em função da probabilidade de default(incumprimento) e da taxa de recuperação estimada.

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.