Orientadora: Ilse Maria Beuren. / Dissertação (mestrado) - Universidade Regional de Blumenau, Centro de Ciências Sociais Aplicadas, Programa de Pós-Graduação em Administração.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-12-22T10:53:47Z No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-02-15T20:00:30Z (GMT) No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) / Made available in DSpace on 2018-02-15T20:00:30Z (GMT). No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) Previous issue date: 2018-02-15 / Contexto: Técnicas de verificação têm sido aplicadas para garantir que sistemas de software atinjam níveis de qualidade desejados e atenda a requisitos funcionais e nãofuncionais. Entretanto a aplicação dessas técnicas de verificação em linhas de produto de software é desafiador devido à explosão combinatorial do número de produtos que uma linha de produtos pode instanciar. As técnicas atuais de verificação de linhas de produtos utilizam model checking simbólico e informações sobre variabilidade para otimizar a análise, mas ainda apresentam limitações que as tornam onerosas ou inviáveis. Em particular, as técnicas de verificação do estado da arte para análise de confiabilidade em linhas de produto são enumerativas o que dificulta a aplicabilidade das mesmas devido à explosão combinatorial do espaço de configurações. Objetivo: Os objetivos dessa tese são os seguintes: (a) apresentar um método eficiente para calcular a confiabilidade de todas as configurações de uma linha de produtos de sotware composicional ou anotacional à partir de seus modelos comportamentais UML, (b) fornecer uma ferramenta que implemente o método proposto e, (c) relatar um estudo empírico comparando o desempenho de diferentes estratégias de análises de confiabilidade para linhas de produto de software. Método: Esse trabalho apresenta uma nova estratégia de análise feature-family-based para calcular a confiabilidade de todos os produtos de uma linha de produtos de software (composicional ou anotacional). O passo feature-based da estratégia divide os modelos comportamentais em unidades menores para que essas possam ser analisadas mais eficientemente. O passo family-based realiza o cálculo de confiabilidade para todas as configurações de uma só vez ao avaliar as expressões de confiabilidade em termos de uma estrutura de dados variacional adequada. Resultados: Os resulstados empíricos mostram que a estratégia feature-family-based para análise de confiabilidade supera, em termos de tempo e espaço, quatro outras estratéfias de análise do estado da arte (product-based, family-based, feature-product-based e family-product-based) para a mesma propriedade. No contexto da avaliação e em comparação com as outras estratégias, a estratégia feature-family-based foi a única capaz de escalar a um crescimento do espaço de configuração da ordem de 220. Conclusões: A estratégia feature-family-based utiliza e se beneficia das estratégias feature- e family- ao domar o crescimento dos tamanhos dos modelos a serem analizados e por evitar a enumeração de produtos inerentes a alguns métodos de análise do estado da arte. / Context: Verification techniques are being applied to ensure that software systems achieve desired quality levels and fulfill functional and non-functional requirements. However, applying these techniques to software product lines is challenging, given the exponential blowup of the number of products. Current product-line verification techniques leverage symbolic model checking and variability information to optimize the analysis, but still face limitations that make them costly or infeasible. In particular, state-of-the-art verification techniques for product-line reliability analysis are enumerative which hinders their applicability, given the latent exponential blowup of the configuration space. Objective: The objectives of this thesis are the following: (a) we present a method to eciently compute the reliability of all configurations of a compositional or annotationbased software product line from its UML behavioral models, (b) we provide a tool that implements the proposed method, and (c) we report on an empirical study comparing the performance of dierent reliability analysis strategies for software product lines. Method: We present a novel feature-family-based analysis strategy to compute the reliability of all products of a (compositional or annotation-based) software product line. The feature-based step of our strategy divides the behavioral models into smaller units that can be analyzed more eciently. The family-based step performs the reliability computation for all configurations at once by evaluating reliability expressions in terms of a suitable variational data structure. Results: Our empirical results show that our feature-family-based strategy for reliability analysis outperforms, in terms of time and space, four state-of-the-art strategies (product-based, family-based, feature-product-based, and family-product-based) for the same property. In the evaluation’s context and in comparison with the other evaluation strategies, it is the only one that could be scaled to a 220-fold increase in the size of the configuration space. Conclusion: Our feature-family-based strategy leverages both feature- and familybased strategies by taming the size of the models to be analyzed and by avoiding the products enumeration inherent to some state-of-the-art analysis methods.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2008. / Submitted by samara castro (sammy_roberta7@hotmail.com) on 2010-03-15T15:27:39Z No. of bitstreams: 1 2008_LuisGustavoLoyolaSantos.pdf: 791523 bytes, checksum: ffed290e008e2dd1e70a327e039ac3e7 (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-04-02T01:26:49Z (GMT) No. of bitstreams: 1 2008_LuisGustavoLoyolaSantos.pdf: 791523 bytes, checksum: ffed290e008e2dd1e70a327e039ac3e7 (MD5) / Made available in DSpace on 2010-04-02T01:26:49Z (GMT). No. of bitstreams: 1 2008_LuisGustavoLoyolaSantos.pdf: 791523 bytes, checksum: ffed290e008e2dd1e70a327e039ac3e7 (MD5) Previous issue date: 2008-06-01 / A gestão dos Sistemas de Informações Legados pressupõe a estruturação das informações para auxiliar na estratégia a ser adotada: eliminar, tolerar, migrar ou integrar o sistema. Pode-se ainda, adotar uma composição dessas opções considerando os vários componentes do sistema. Esse desafio da gestão pode ser transposto a partir de uma análise do portfólio de sistemas, à luz de diversos fatores. É importante saber gerir de acordo com o risco definido, alinhado com as estratégias de negócio deliberados pela alta administração. Propor uma mudança total de um sistema legado na maioria dos casos é cara, demanda muitos recursos e toma muito tempo para realizar. Tudo isso, levando-se em consideração que a organização não pode parar suas atividades e o seu negócio. Neste sentido esta dissertação propõe um método para auxiliar na gestão dos sistemas legados, identificando caminhos para a definição da estratégia. Esta abordagem é baseada na GQM – Goal Question Metrics, que permitiu o estabelecimento de um conjunto de 4 objetivos para analisar os eixos, valor para o negócio e risco para o negócio. Esses objetivos foram traduzidos em 16 questões com suas respectivas métricas, num total de 25 métricas. Cada métrica associada um indicador, tornou a análise do sistema legado não só qualitativa, mas quantitativa e objetiva. Foram considerados aspectos econômico-financeiros e tecnológicos, com destaque para o aspecto tecnológico da gestão da qualidade do software legado, nem sempre desenvolvido segundo as orientações, normas e modelos de referência preconizados na engenharia de software moderna. Para validação foi escolhido um sistema legado em funcionamento, o que permitiu aferir as condições que o método cria para que o Gestor de TI estruture as informações, entenda como são alocados os recursos, mensure o valor e o risco para o negócio e estabeleça sua estratégia para a gestão dos sistemas legados. _________________________________________________________________________________________ ABSTRACT / The Legacy Information System management requires an organization of informations to help what strategy to use: eliminate, tolerate, migrate or integrate the system. Another option is to adopt a mix of strategies, considering the various system components. This challenge about management can be transposed by using an analysis of the system portfolio, that consider different points. It´s important to know how to manage the situation according to the defined risk, aligned with the business strategies defined by the higher administration. Proposing a total change in a legacy system is costly most of the time, it demands many people and a lot of time to complete the task. All of that together with the consideration that the organization cannot stop its activities and its business. In this context, this essay proposes an approach to help the management of legacy systems, identifying ways to allow the definition of the migration strategy. This approach is based in the GQM – Goal Question Metrics, which allows the establishment of four objectives to analyze the axis, business value and business risk. Those objectives were translated into sixteen questions and twenty five metrics associated with them. Each metric has associated with in an indicator which makes the legacy system´s analysis as qualitative as quantitative and objective. It was taken into consideration the economical, financial and technological aspects, with a special focus on the technological aspects of the management of the legacy software quality, not always developed according to the orientations, standards and reference models present in modern software engineering. A legacy system in operation was chosen to validate the method allowing to check if this method provides conditions for the CIO who organizes the information, understands how to allocate the resources, measures the business value and risk and establishes the strategy to management systems legacy.

Orientador: Hans Kurt Edmund Liesenberg / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:23:21Z (GMT). No. of bitstreams: 1 Lucena_FabioNogueirade_D.pdf: 10000400 bytes, checksum: 439a01207296ae1c6e3311386ba751b8 (MD5) Previous issue date: 1997 / Resumo: O gerenciador de diálogo é um dos componentes mais complexos de uma interface e continua, em grande parte, sendo codificado manualmente em linguagens de programação convencionais. Isto contribui para elevar os custos de desenvolvimento e inibir alterações, que são indispensáveis ao desenvolvimento de interfaces. Essa dissertação propõe a linguagem Xchart e um ambiente de apoio voltados para o desenvolvimento de gerenciadores de diálogo. Xchart possui recursos para capturar adequadamente as funções desses componentes de interfaces. Cada gerenciador é especificado através de um conjunto de diagramas. A semântica formal de Xchart permite que esses diagramas sejam automaticamente executados por um interpretador. Em tempo de execução, instâncias desses diagramas podem ser criadas dinamicamente e executadas concorrentemente, possivelmente em um sistema distribuído, apoiadas pelo sistema de execução de Xchart / Abstract: Not informed / Doutorado / Doutor em Ciência da Computação

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T06:45:51Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:33:15Z : No. of bitstreams: 1 138089.pdf: 9081544 bytes, checksum: a7229e282266d0c996f56814c1b41d22 (MD5)

No description available.

Made available in DSpace on 2014-06-11T19:29:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-02-05Bitstream added on 2014-06-13T19:59:31Z : No. of bitstreams: 1 esteca_amn_me_sjrp.pdf: 2014918 bytes, checksum: 3bfceb7e0154b7322dffb5a913cafa9e (MD5) / Estudos revelam que os resultados dos projetos de software ainda estão muito aquém do esperado. Devido a isso, organizações produtoras de software bem sucedidas têm adotado uma abordagem mais completa em relação aos processos de desenvolvimento. Nos últimos anos, além de gerenciarem seus projetos, tais organizações estão investindo em um processo para capacitação individual e monitoramento rigoroso dos recursos humanos, denominado Personal Software Process – PSP. Tal processo tem levado à maior disciplina e controle sobre todas as fases do desenvolvimento e, consequentemente, ao aumento da taxa de sucesso dos projetos. Neste contexto, este trabalho apresenta a integração das técnicas propostas no modelo PSP a um sistema web previamente desenvolvido, denominado Sistema de Apoio à Gerência de Projetos - SAGP. A avaliação dos resultados foi realizada por meio de uma análise comparativa da nova versão do SAGP em relação a outras ferramentas disponíveis no mercado. Além disso, o sistema foi avaliado por desenvolvedores de software, que constituem o seu público-alvo. Os resultados obtidos permitem concluir que a integração realizada levou à obtenção de um sistema de qualidade capaz de facilitar o emprego do PSP e de gerar indicadores que auxiliam os gerentes de projetos em suas atividades / Studies show that the results of software projects are still much less than expected. Due to this, successful software-producing organizations have adopted a more complete approach towards development processes. Nowadays, besides managing their projects, such organizations are investing in a process of individual qualification and strict monitoring of team members called Personal Software Process - PSP. This process has led to maintenance of greater discipline and control throughout all development phases and, consequently, to the increase in the rate of successful projects. In this context, this work presents the integration of the techniques proposed in the PSP model with a previously developed web-based system, which is called System to Aid Project Management - SAPM. The evaluation of the results was carried out through comparative analysis of the new version of SAGP in relation to other tools commercially available. Furthermore, the system was evaluated by software developers, who are their target audience. The results indicate that the proposed integration led to obtaining of a system of quality able to facilitate the use of the PSP and generate indicators that aid project managers in their activities

Orientador: Rogéria Cristiane Gratão de Souza / Banca: Selma Shin Shimizu Melnikoff / Banca: Hilda Carvalho de Oliveira / Resumo: Estudos revelam que os resultados dos projetos de software ainda estão muito aquém do esperado. Devido a isso, organizações produtoras de software bem sucedidas têm adotado uma abordagem mais completa em relação aos processos de desenvolvimento. Nos últimos anos, além de gerenciarem seus projetos, tais organizações estão investindo em um processo para capacitação individual e monitoramento rigoroso dos recursos humanos, denominado Personal Software Process - PSP. Tal processo tem levado à maior disciplina e controle sobre todas as fases do desenvolvimento e, consequentemente, ao aumento da taxa de sucesso dos projetos. Neste contexto, este trabalho apresenta a integração das técnicas propostas no modelo PSP a um sistema web previamente desenvolvido, denominado Sistema de Apoio à Gerência de Projetos - SAGP. A avaliação dos resultados foi realizada por meio de uma análise comparativa da nova versão do SAGP em relação a outras ferramentas disponíveis no mercado. Além disso, o sistema foi avaliado por desenvolvedores de software, que constituem o seu público-alvo. Os resultados obtidos permitem concluir que a integração realizada levou à obtenção de um sistema de qualidade capaz de facilitar o emprego do PSP e de gerar indicadores que auxiliam os gerentes de projetos em suas atividades / Abstract: Studies show that the results of software projects are still much less than expected. Due to this, successful software-producing organizations have adopted a more complete approach towards development processes. Nowadays, besides managing their projects, such organizations are investing in a process of individual qualification and strict monitoring of team members called Personal Software Process - PSP. This process has led to maintenance of greater discipline and control throughout all development phases and, consequently, to the increase in the rate of successful projects. In this context, this work presents the integration of the techniques proposed in the PSP model with a previously developed web-based system, which is called System to Aid Project Management - SAPM. The evaluation of the results was carried out through comparative analysis of the new version of SAGP in relation to other tools commercially available. Furthermore, the system was evaluated by software developers, who are their target audience. The results indicate that the proposed integration led to obtaining of a system of quality able to facilitate the use of the PSP and generate indicators that aid project managers in their activities / Mestre

Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T18:00:42Z (GMT). No. of bitstreams: 1 Camargos_LasaroJonas_M.pdf: 3140522 bytes, checksum: 05a0621c657843119225cda44fec1186 (MD5) Previous issue date: 2003 / Resumo: Esta dissertação trata do processo de engenharia de um serviço de detecção de falhas compatível com FT-CORBA, a especm.cação para tolerância a falhas em CORBA, e de um serviço de consenso distribuído. Os serviços são independentes e fornecem diferentes propriedades para a aplicação cliente, dependendo dos módulos, com implementaçães de algoritmos diferentes, selecionados para uma instanciação destes serviços. A arquitetura dos serviços é tal que a aplicação cliente não toma conhecimento dos algoritmos de detecção e consenso sendo executados, acessando-os por uma interface genérica. Com o intuito de facilitar a escolha dos módulos dos serviços, apresentamos um pequeno estudo comparativo da influência de detectores de falhas adaptativos, aqueles que se adaptam para prover melhor qualidade de serviço na detecção, e não adaptativos sobre o desempenho dos algoritmos de consenso distribuído / Abstract: This thesis is on the process of development of a distributed consensus service and its fault detection service, being the last one, compliant with FT -CORBA, the Fault Tolerant CORBA specification. These services are independent and, depending on the selected modules, offer different properties to client applications. The presented architecture is defined in such a way that client applications do not know which algorithms are running, both for detection and for consensus, just accessing them through a generic interface. To make easier the task of selecting modules in the services, we also present a comparative study of the influence of adaptive and non-adaptive failure detectors over the execution of consensus algorithms / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T00:07:27Z (GMT). No. of bitstreams: 1 Pagano_ViniciusAsta_M.pdf: 6761909 bytes, checksum: 684aea3316ddd5dc962dfe7151461d42 (MD5) Previous issue date: 2004 / Resumo: A especificação da arquitetura de software é fundamental para a construção de um sistema de software que atenda a requisitos de confiabilidade e que seja baseado em componentes de software reutilizáveis. Componentes reutilizáveis podem ser implementados sem o conhecimento de um sistema onde serão reutilizados. A arquitetura de software deste sistema deve fornecer o contexto de utilização de componentes de modo que eles possam ser devidamente identificados e integrados a este sistema, atendendo aos requisitos de confiabilidade. Para isto, a arquitetura deve ser bem organizada e apresentar tanto a especificação normal quanto a especificação excepcional de seus componentes, além dos conectores que interligam esses componentes. Este trabalho propõe uma solução centrada na arquitetura baseada em um método para a especificação de componentes da arquitetura de um sistema e de seu comportamento excepcional (MECE). O método MECE promove a definição de uma arquitetura com a especificação normal e excepcional de seus componentes e a identificação de conectores. Através da especificação excepcional identifica-se quais exceções cada componente deve lançar em suas interfaces providas, e quais exceções associadas as suas interfaces requeridas o componente deve tratar. Mesmo com uma arquitetura bem especificada pode ser que não se encontre um componente reutilizável que atenda à sua especificação excepcional, sendo necessário um trabalho de adaptação no momento da integração deste componente na arquitetura definida. A solução apresentada neste trabalho propõe o uso de estratégias de estruturação arquitetural para tratamento de exceções, que auxiliam este trabalho de adaptação e a integração de componentes a um sistema. A solução proposta foi implementada num estudo de caso de um sistema real, onde inicialmente foi especificado e implementado o comportamento normal do sistema e depois o seu comportamento excepcional, usando o método MECE e as estratégias de estruturação arquitetural para tratamento de exceções / Abstract: The software architecture specification is the base for a component-based software construction that must be compliant with dependability requirements. A component-based software is constructed with reusable components. Reusable components can be implemented without knowing the context of the systems where these components would be reused. The software architecture of a system must provide the reuse context in order to allow the identification of reusable components and the integration of these components to this system. The software architecture must be well organized and present the normal and exceptional specification of its components and the connectors that must be used to connect these components. This work proposes one architecture solution based on a method for normal and exceptional specification of system components (MECE). The method MECE provides the definition of architecture with the normal and exceptional specification of its components and the definition of the connectors. The component exceptional specification identifies the exceptions that must be thrown by a component in its provided interfaces, and the exceptions that must be caught in its required interfaces. Even with a well-specified architecture, maybe it is not possible to identify a reusable component that is totally compliant with the exceptional specification, which requires adaptation activities to integrate this reusable component to the defined architecture. The solution presented in this work proposes the use of architectural strategies for exception handling that guides the adaptation activities and the components integration to a system. The proposed solution was implemented in a study case of a real system, where firstly the normal behavior of the system was implemented, and secondly the exceptional behavior was implemented, applying the method MECE and the architectural strategies for exception handling / Mestrado / Mestre em Ciência da Computação