• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 87
  • 9
  • Tagged with
  • 96
  • 96
  • 87
  • 26
  • 26
  • 24
  • 22
  • 19
  • 19
  • 19
  • 16
  • 10
  • 9
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

[en] CREDIT RISK MODEL IN B2B RELATIONS / [pt] UM MODELO DE ANÁLISE DE RISCO DE CRÉDITO DE CLIENTES EM RELAÇÕES B2B

EDUARDA MACHADO LOWNDES CARPENTER 22 May 2006 (has links)
[pt] Este trabalho visa analisar os modelos atuais de avaliação de risco de crédito aplicados a empresas não-financeiras e desenvolver um modelo estatístico com o emprego da ferramenta LOGIT - Regressão Logística com base nos clientes jurídicos de uma empresa do ramo industrial. Este modelo tem como objetivo principal determinar a probabilidade de um cliente ser considerado como adimplente ou inadimplente. Com esta ferramenta o analista de crédito pode definir até que ponto se torna interessante para a empresa efetuar uma venda a prazo para o cliente. / [en] This dissertation has the objective of analyzing the current models of credit risk in non financial companies and to develop a statistical model with Logistic Regression. The main purpose of this model is to determine the probability of a client (business company) being considered a good or bad risk. This model will allow the credit analyst to measure the credit risk involved with credit sales.
22

[en] DAIRY CHAIN MANAGEMENT: AN OPORTUNITY TO ZONA DA MATA OF MINAS GERAIS FIRMS. / [pt] GERENCIAMENTO DA CADEIA DE LATICÍNIOS: UMA OPORTUNIDADE PARA AS EMPRESAS DA ZONA DA MATA DE MINAS GERAIS

JOSE GERALDO VIDAL VIEIRA 09 April 2002 (has links)
[pt] O gerenciamento da cadeia de suprimento é um assunto complexo e a sua aplicação em uma cadeia de empresas é certamente um desafio. A presente dissertação tem o objetivo de analisar a cadeia de suprimento da indústria de laticínios em um estudo que pretende aplicar e adaptar o modelo estrutural proposto por Lambert e Cooper obtendo, assim, indicações para a melhoria gerencial da cadeia. Para o estudo foi escolhida a Zona da Mata Mineira que abriga a segunda maior indústria de laticínios do Estado de Minas Gerais, o maior produtor de leite no Brasil. Foi feito um estudo de caso em oito laticínios da região escolhida que representam as características da indústria de laticínios em um mercado em constante e vigorosa expansão. Por meio das informações obtidas, verificou-se que a estrutura proposta se adequou à cadeia estudada e que, apesar do crescimento da produção, há pouca integração na gestão dos processos e as empresas não gerenciam a maioria dos seus processos externos. Sugere-se que o melhor gerenciamento de processos estratégicos, principalmente a jusante do laticínio, poderia auferir vantagens competitivas às empresas frente ao mercado altamente exigente e organizado. / [en] The Supply Chain Management is a complex subject and its application in a chain of companies is certainly a challenge. The present thesis has the objective of analyzing the supply chain of the dairy industry in a study that intends to apply and adapt the structural model conceived by Lambert and Cooper thus getting indications for improving chain management. It was chosen to conduct the study in the Zona da Mata Mineira that has the second largest dairy industry of the State of Minas Gerais, the leading milk producer in Brazil. A case study involving eight firms in the chosen region was made. Though small, that sample represent a sizable portion of the local production and retains the features of the dairy industry in a market in constant and vigorous expansion. The study has shown that Lambert and Cooper`s structure proposal adjusted well to the studied chain and that, despite the production growth the chains is loosely integrated and the focal companies do not manage the majority of its external process links. It also suggest that better management of strategical processes, mainly those downstream from the dairy in the chain (marketing channel), could bring about competitive advantages to the firms facing an increasingly demanding and organized market.
23

[en] THE PROCESS OF SUCCESSFUL ACTIVE PORTFOLIO MANAGEMENT / [es] UN PANORAMA GENERAL SOBRE EL GERENCIAMIENTO ACTIVO DE CARTERAS DE SUCESO / [pt] UM PANOMARAMA GERAL SOBRE UM GERENCIAMENTO ATIVO DE CARTEIRAS DE SUCESSO

ALEXANDRE GASTELITURRE PERLINGEIRO 13 September 2001 (has links)
[pt] Esta dissertação mostra o processo de um gerenciamento ativo de carteiras de sucesso. Basicamente, existem duas etapas neste processo: achar uma informação superior (melhor do que a de consenso de mercado, alto valor de IR e valor positivo de IC) e implementa-la de forma eficiente em carteiras. Durante o período de 1997 á 2000, o momentum foi verificado como uma informação superior. Historicamente, as ações que tem a característica momentum são ações que superaram o mercado nos últimos 12 meses e continuam a manter esta performance nos próximos meses. Depois, utilizando a análise de informação foi possível verificar que esta informação superior adicionava valor ao processo de investimento. Após identificar a informação superior, uma fórmula básica de previsão desenvolvida por Grinold (1994) foi sugerida para transformar a informação bruta em previsão de retorno. Os parâmetros desta formula são ajustados para uma escala correspondente à informação contida na previsão bruta. Finalmente, com a previsão de retorno três técnicas de construção de carteiras (estratificação, janelas e programação quadrática) foram utilizadas. Depois, para cada técnica de construção a performance foi medida nos períodos a fim de identificar qual dos métodos foi mais consistente ao longo do tempo. / [en] This dissertation shows the process of successful active portfolio management. Basically, it has two key elements: finding superior information (better than consensus, high information ratio and positive information coefficient) and efficiently building portfolios based on that information. During the period from 1997 to 2000, the momentum was the superior information. Historically, momentum represents stocks outperforming the market over 12 months and have continue their performance into the next several months. Then using information analysis, it was possible to verify that this superior information add value to the investment process. After identifying the superior information, a basic forecast formula developed by Grinold (1994) was suggest to transform raw information into refined forecast. The outputs of this formula are in the form and units of exceptional return adjusted for the information content of the raw forecast. Finally, with the refined information three techniques for portfolio construction (stratification, screen and quadratic programming) were applied based on this information. Next, for each technique the portfolio performance was track over the period in order to find a consistent technique over time. / [es] Esta disertación muestra el proceso de gerenciamiento activo de carteras de suceso. Básicamente, existen dos etapas en este proceso: buscar una información superior (mejor que la de consenso de mercado, alto valor de IR y valor positivo de IC) e implementarla de forma eficiente en carteras. Durante el período de 1997 al 2000, el momentum fue verificado como una información superior. Históricamente, las acciones que tiene la característica momentum son acciones que superaran el mercado en los últimos 12 meses y continúan a mantener ese comportamiento en los próximos meses. Utilizando análisis de información, fue posible verificar que la información extra adicionava valor al proceso de inversión. Después de identificar la información superior, se sugiere una fórmula básica de previsión desarrollada por Grinold (1994) para transformar la información bruta en previsión de retorno. Los parámetros de esta fórmula son ajustados para una escala correspondiente a la información contenida en la previsión bruta. Finalmente, con la previsión de retorno, se utilizaron tres técnicas de construcción de carteras (estratificación, ventanas y programación cuadrática). Después, para cada técnica de construcción, se mide la performance en los períodos con el objetivo de identificar cual de los métodos fue más consistente a lo largo del tiempo.
24

[en] THE LIFE CYCLE CONCEPT IN WASTE MANAGEMENT IN THE OIL AND GAS OFFSHORE EXPLORATION BRAZILIAN INDUSTRY / [pt] O CONCEITO DO CICLO DE VIDA NO GERENCIAMENTO DE RESÍDUOS NA INDÚSTRIA BRASILEIRA DE EXPLORAÇÃO DE ÓLEO E GÁS OFFSHORE

PATRICIA BURLINI SOARES DE ARAUJO 06 September 2018 (has links)
[pt] A indústria do petróleo tem suas atividades interpretadas como incompatíveis com o conceito de desenvolvimento sustentável. No entanto, o desenvolvimento da humanidade tem sido pautado no consumo de energia, grande parte fornecido por esta indústria. Atualmente face as recentes descobertas do pré sal, a nova fronteira exploratória no Brasil, é possível vislumbrar que o segmento de exploração se fará muito presente no país, assim como seus impactos negativos ao meio ambiente e suas toneladas de resíduo. A dissertação busca promover reflexão sobre o tema, tendo em vista análise de casos vivenciados pela indústria brasileira com a aplicação do conceito do ciclo de vida. A dissertação foi estruturada em capítulos que contextualizam tópicos necessários para um gerenciamento de resíduos eficiente tais quais o conceito de sustentabilidade e suas três dimensões, caracterização de resíduos, a precariedade da infraestrutura do país para destinação destes resíduos, assuntos regulatórios e a introdução ao conceito do ciclo de vida. A análise de alguns casos reais, com o base na teoria apresentada, corroborou para a conclusão de que a aplicação do conceito do ciclo de vida (CCV) ao gerenciamento dos resíduos traz o diferencial para redução a longo prazo desta poluição, por facilitar a análise de vários aspectos, desde a infraestrutura necessária para o gerenciamento como questões legais e de logística, nas fases de geração, armazenagem, transporte, tratamento e disposição final. O CCV ainda promove um melhor entendimento do público em geral, órgão regulamentadores, empresas operadores e prestadoras de serviços e permite que as empresas no Brasil, estejam melhor preparadas para os desafios relacionados à poluição advinda da geração destes resíduos. / [en] Oil and gas (OeG) activities continue to grow across the globe. Some people view the OeG industry as focused on profits with little concern for the environment, opposed to the concept of sustainability. However, demand for petroleum products continued to increase, and OeG continue to be the most widely used fuels. As energy demand continues to grow, petroleum companies must find and produce increasing quantities of OeG. But doing so, requires more than merely ramping up production from traditional sources. As nearby, relatively easy-to-produce resources diminish, new sources and locations are being developed in Brazil. The recent discovery in the pre-salt layer demonstrates the significant potential found, representing a new exploratory frontier in the country. OeG exploration today require the simultaneous consideration of a variety of economic, social, political, and environmental concerns. Historically, many foreign-operators started to invest in Brazil after the government opened the sector to competition. Increased drilling activity in Brazil both results in an increased amount of waste generated and sent onshore, air emission and water discharges. Once generated, managing these wastes in a manner that protects health and the environment will be essential for limiting operators legal and financial liabilities, therefore operators will have to manage the waste properly and consistent with all relevant laws and regulations in order to overcome the challenges of the increase of activities in this dynamic industry.
25

[en] MOBILITY MANAGEMENT AND DISCONNECTION HANDLING BASED ON SIP / [pt] GERENCIAMENTO DE MOBILIDADE E TRATAMENTO DE DESCONEXÃO BASEADO EM SIP

GUSTAVO LUIZ BASTOS BAPTISTA 11 September 2009 (has links)
[pt] Os avanços nas tecnologias de redes de computadores, telecomunicações, e dispositivos móveis portáteis têm gerado uma demanda por aplicações e serviços que sejam apropriados para ambientes com conectividade intermitente e mobilidade dos dispositivos. Uma questão central para a viabilização de tais aplicações em ambientes como estes são as possíveis soluções para o Gerenciamento de Mobilidade, isto é, a manutenção automática da conectividade entre componentes de um sistema em cenários nos quais os dispositivos mudam de endereço IP dinamicamente, à medida que se reconectam a diferentes domínios de rede. Partindo de uma investigação inicial das principais soluções existentes, este trabalho apresenta a implementação de uma solução na camada de aplicação baseada no protocolo SIP. Em seguida, apresenta a adaptação de um sistema publish/subscribe existente para fazer com que o mesmo utilize a solução implementada, com o objetivo de prover suporte à mobilidade e à desconexão dos produtores e consumidores de eventos, bem como para a travessia de firewalls e NATs, permitindo que o sistema publish/subscribe possa ser usado na Internet, e não somente em redes locais. O modelo publish/subscribe foi escolhido como estudo de caso, pois oferece interações assíncronas e anônimas que se adéquam muito bem aos requisitos de um cenário de mobilidade. A adaptação deste sistema partiu da investigação de alguns dos principais requisitos que um sistema pub/sub deve atender para tratar mobilidade e desconexão de dispositivos. O referido sistema foi testado para diferentes cenários, e seu desempenho foi avaliado para diferentes configurações, e comparado ao do sistema publish/subscribe convencional. / [en] Advances in computer networks, telecommunications, and portable mobile devices have increased the demand for applications and services that are suitable for environments with intermittent connectivity and mobility of devices. A central question for the viability of such applications on environments like these are the possible solutions for Mobility Management, i.e., the automatic maintenance of the connectivity between system components in scenarios where the devices change their IP addresses dynamically as they reconnect to different network domains. Starting from an initial investigation of the main solutions for Mobility Management, this dissertation presents the development of a solution on the application layer based on the SIP protocol. Then, it presents the adaptation of an existing publish/subscribe system to make it use the developed Mobility Management solution, in order to provide support for the mobility and disconnection of event producers and consumers, and also NAT and firewall traversal, enabling the system to be used on the Internet, and not only on local networks. The publish/subscribe model has been chosen as a case study for the implemented solution, because it provides asynchronous and anonymous interactions that are very well suited to the requirements of a mobility scenario. The adaptation of the publish/subscribe system started from an investigation of the main requirements a system like this should meet in order to support mobility and disconnection of devices. The referred system has been tested for different scenarios, and its performance has been evaluated for different configurations, and it has been compared to the conventional publish/subscribe system.
26

[en] DETERMINING MAINTENANCE SCHEDULING OF TRANSMISSION SYSTEMS CONSIDERING PENALTIES ASSOCIATED WITH UNAVAILABILITY / [pt] DETERMINAÇÃO DO INTERVALO DE MANUTENÇÃO PROGRAMADA DA PROTEÇÃO DE LINHAS DE TRANSMISSÃO CONSIDERANDO-SE PENALIDADES ASSOCIADAS À INDISPONIBILIDADE

FELIPE ERNESTO LAMM PEREIRA 16 April 2009 (has links)
[pt] Uma empresa de energia elétrica tem por obrigação garantir a continuidade e a qualidade do serviço prestado. A fim de incentivar a qualidade do serviço, a ANEEL introduziu penalidades nos contratos com as concessionárias de serviços públicos de transmissão de energia elétrica caso as instalações de transmissão sejam desligadas, por acidente, falha de equipamento ou manutenção programada. Com base nas práticas de Manutenção Centrada na Confiabilidade, este trabalho propõe uma determinação dos intervalos de manutenção programada para minimizar as penalidades pagas por uma empresa de transmissão de energia elétrica devido ao desligamento de equipamentos. Desenvolveu-se um método para a determinação das probabilidades em regime permanente dos estados que representam os desligamentos do sistema de proteção e suas respectivas taxas de transição, utilizando-se técnicas de Freqüência e Duração. A taxa de falha dos equipamentos foi determinada tendo como base dados do sistema de proteção coletados ao longo de onze anos, onde as manutenções programadas foram realizadas a cada três anos. Determinou-se a taxa de falha do sistema de proteção considerando-se outros intervalos fixos para a manutenção programada. Para cada intervalo fixo de manutenção, supôs-se que a taxa de falha encontrase na região onde ela é constante. Nesta região as falhas ocorrem aleatoriamente é podem ser descritas por uma função densidade de probabilidade exponencial. Para uma concessionária, é preferível assumir mais riscos a ter que pagar penalidades por manutenções programadas, enquanto que para uma outra é recomendável ser cautelosa é pagar mais por realização de manutenções programadas assumindo menos riscos de pagamentos por indisponibilidade não programada. Foram experimentados ní­veis de riscos aceitáveis ao problema utilizando-se técnicas da teoria econômica. / [en] An electrical utility has for obligation to guarantee the continuity and the quality of the given service. In order to stimulate the quality of the service the Brazilian energy agency introduced penalties in contracts with the electrical utilities of transmission in case the transmission installations is off for accident, failure of equipment or scheduled maintenance. On the basis of practical Reliability Centered Maintenance, this thesis considers a determination of maintenance intervals to minimize the economical impacts due to equipment disconnection. These disconnections are represented through the probabilistic model of the protection of transmission systems. A method for determination of the steady states probabilities of the protection system and its transitions rates was developed using techniques of Frequency and Duration. The failure rate of the component was determined using data collected from protection of transmission systems throughout eleven years, where the maintenances had been carried through every three years. It was determined the protection failure rate considering others intervals of maintenance. For each interval of maintenance, one assumed that the failure rate meets the useful life period and is characterized by a constant hazard rate. The useful life period follows a good approximation to an exponential curve. For a utility it is preferable to take more risks of component failure than to have to pay penalties for maintenances, whereas for another one is recommendable to be cautious and pay more for accomplishment of maintenances taking little risks of payments for unavailability do to component failure. Techniques of the economic theory had been tried in order to determine reasonable levels of acceptable risks to the problem.
27

[en] A STUDY ON COMPUTACIONAL RESOURCE RESERVATION AT USER LEVEL / [pt] UM ESTUDO SOBRE RESERVA DE RECURSOS COMPUTACIONAIS NO NÍVEL DO USUÁRIO

VALERIA QUADROS DOS REIS 23 September 2010 (has links)
[pt] A forma como a Computação é realizada está mudando devido à grande capacidade de processamento, armazenamento e comunicação que equipamentos computacionais apresentam atualmente. Cenários de compartilhamento de recursos, onde um único servidor físico é compartilhado entre diferentes aplicações, muitas vezes hospedadas em diversos domínios virtuais, têm se tornado comuns, mas demandam esforços para que o isolamento de desempenho de cada aplicação seja garantido como se ela fosse a única a ser localmente executada. Baseado nesse fato, o objetivo deste trabalho consiste em investigar técnicas para a provisão de reservas de recursos, garantindo, consequentemente, qualidade de serviço (QoS) e isolamento de desempenho às aplicações. A fim de atender ambientes onde o uso de extensões de sistemas operacionais ou o uso de virtualização são indevidos ou inapropriados, a investigação contempla o estudo da viabilidade e efetividade de reservas realizadas no nível do usuário, ou seja, sem que instrumentações no núcleo do sistema operacional sejam necessárias. Para isso, implementamos uma ferramenta capaz de limitar e garantir o uso dos recursos de processamento e disco, utilizando somente primitivas providas pelo Sistema Operacional Linux. Entre outras funcionalidades, essa ferramenta apresenta facilidades para a extensão das políticas de escalonamento, o que atribui a ela flexibilidade na forma como os recursos são compartilhados entre os processos. Com a análise de uso da ferramenta, foi possível identificar as vantagens e limitações das técnicas de gerenciamento utilizadas. Como um estudo de caso da ferramenta implementada, parametrizamos reservas para uma aplicação de três camadas com metas de desempenho e verificamos que, mesmo para aplicações complexas, métodos simples tais como a regressão linear são capazes de predizer o uso de recursos com uma baixa margem de erro. / [en] The way computing is done today is changing as a result of the everincreasing processing, storage, and communication capacities of modern computer hardware. Resource sharing scenarios, in which a physical server is shared for different applications, are becoming much more common. These scenarios require special attention to guarantee that the performance isolation of each application is carried out exactly as if it were being locally executed. Based on this situation, the present work aims at investigating techniques for providing resource reservations and thus guaranteeing quality of service (QoS) and performance isolation for applications. Considering environments in which the use of operating system extensions or the use of virtualization are unreasonable or inappropriate, this work investigates the viability and effectiveness of reservations done at user level, that is, reservations guaranteed with no operating system kernel instrumentation. For this purpose, we have implemented a tool that limits and ensures the proper usage of processing and disk bandwidth resources through the exclusive use of Linux Operating System primitives, which, among other functions, permits easy scheduling policy extensions. This feature enables flexibility in how resources are shared among distinct processes. Through tool usage analysis, we have identified the advantages and limitations of the techniques used. For a case study, aiming to achieve some specific performance goals, we have established parameter reservations for a three-tier application. We were able to verify that, even for complex applications, simple methodologies like linear regressions are capable of predicting resource usage with a low margin of error.
28

[en] THE ROLE OF COMMUNICATION IN PROJECT MANAGEMENT / [pt] O PAPEL DA COMUNICAÇÃO NO GERENCIAMENTO DE PROJETOS

BRUNO EDUARDO MARQUES MENDES 20 July 2017 (has links)
[pt] Diante do atual cenário de constantes mudanças organizacionais, muitos autores têm se dedicado ao estudo e pesquisa em gerenciamento de projetos, objetivando contribuir para o processo de mudanças implementadas por meio de projetos. Partindo do pressuposto de que a comunicação é a arena na qual as pessoas e a própria organização podem criar sentido (WEICK, 1995), essa dissertação propôs-se a compreender como a comunicação é percebida pelos indivíduos e como esta afeta os processos de criação de sentido quando estes indivíduos participam de um processo de mudança organizacional provocado por um projeto de implementação de um ERP - Enterprise Resource Planning. Foi realizada uma pesquisa de campo tomando-se um projeto de implementação de ERP como estudo de caso. A comunicação do projeto foi analisada primeiramente sob uma perspectiva positivista, e posteriormente realizou-se um contraponto, no qual o presente trabalho se aprofundou, com uma perspectiva interpretativista, utilizando o modelo teórico proposto pela Escola de Montreal. Os resultados da pesquisa evidenciaram a importância do papel da comunicação como constitutiva do projeto e da própria organização (TAYLOR e CASALI, 2010). / [en] Given the current scenario of constant organizational changes, many authors have been dedicated to study and research in project management, aiming to contribute to the process of changes implemented through projects. Based on the assumption that communication is the arena in which people and the organization itself can create meaning (WEICK, 1995), this dissertation aims to understand how communication is perceived by individuals and how it affects the processes of creation of sense when these individuals participate in a process of organizational change brought about by an implementation project of an ERP - Enterprise Resource Planning. A field survey was carried out by taking an ERP implementation project as a case study. The communication of the project was analyzed first from a positivist perspective, and later a counterpoint was made, in which the present work has deepened, with an interpretative perspective, using the theoretical model proposed by the Montreal School. The results of the research evidenced the importance of the role of communication as constitutive of the project and of the organization itself (TAYLOR and CASALI, 2010).
29

[en] LOAD MANAGEMENT IN A COMPETITIVE ENVIRONMENT / [pt] O GERENCIAMENTO DA DEMANDA EM AMBIENTE COMPETITIVO

MARCELO CHAVES MAIA 17 July 2006 (has links)
[pt] Este trabalho consiste em apresentar um modelo de gerenciamento da demanda baseado na análise do sistema elétrico identificando as áreas ou barras mais sensíveis a reduções de demanda, portanto indicando os melhores pontos do sistema para implementações de programas de gerenciamento pelo lado da demanda (GLD). A análise é feita através de um modelo de otimização que minimiza os custos de operação dos sistema considerando certas restrições operativas. Este modelo considera ainda, as incertezas associadas a diferentes cenários futuros. A partir das sensibilidades obtidas da solução do problema, ainda é possível se obter o montante ótimo de energia a ser reduzida de forma a tornar algum programa de gerenciamento da demanda viável economicamente para uma companhia de eletricidade. / [en] This work presents a model for load management based on eletric system analysis that identifies the areas or bus with more sensitive to demand reductions, therfore indicating the best points demand side management programs (DSM) impleementations. The analysis is done by a optimzation model that minimizes the electric system operating costs under operation constraints. This model also considers the uncertanly associated to different configurated scenarios. Through the sensitivities calculated by the optimization problem solution, it´s also possible to know the optimum amount of energy to be decreased in order to make any load management program economicaly feasible to an eletric utility.
30

[en] DYNAMIC WORKFLOWS IN AGILE PROJECT MANAGEMENT / [pt] WORKFLOWS DINÂMICOS EM GERÊNCIA DE PROJETOS ÁGEIS

BRUNO SIQUEIRA SILVA 28 July 2010 (has links)
[pt] É apresentada uma implementação de um workflow dinâmico para uma ferramenta de gerência de projetos. O workflow criado possui regras de negócio inspiradas em duas metodologias ágeis consagradas no mercado: o Scrum e XP (extreme programming). O objetivo do trabalho é apresentar uma ferramenta de gerência de projetos incrementais flexível e adaptável às necessidades dos diferentes projetos. Também é apresentada uma avaliação experimental do uso da ferramenta ao longo do desenvolvimento deste projeto. / [en] A dynamic workflow for a management tool is presented. The workflow created has business rules based on two agile methodologies: Scrum and XP (extreme programming). The main objective of this work is to present an agile project management tool with a flexible workflow, adaptable to different projects requirements. Finally, we present an experimental evaluation of the use of the tool while developing this project.

Page generated in 0.0348 seconds