Orientador: Paula da Cruz Landim / Co-orientador: Osmar Vicente Rodrigues / Banca: Galdenoro Botuca Junior / Banca: Eugênio Andrés Diaz Merino / Resumo: Este estudo tem por objetivo propor diretrizes para melhorar a utilização do design nas indústrias de transformação das microrregiões de Araçatuba e Birigui/SP, de forma a torná-lo uma ferramenta de competitividade. Tanto essas empresas quanto as demais empresas do território nacional têm sofrido uma forte desaceleração nos últimos anos, fato percebido no decréscimo da participação da indústria de transformação nos índices do Produto Interno Bruto entre 1985 e 2014, que destaca uma redução de 10,7%. Alguns dos principais fatores do baixo desenvolvimento industrial n Brasil são os altos impostos, o baixo nível tecnológico, a má infraestrutura logística e o alto índice de produtos industralizados importados. Como alternativa para enfrentar estes problemas, alguns países têm investido fortemente em design, que, além de ter um papel efetivo no desenvolvimento tecnológico, volta-se principalmente ao entendimento das necessidades sociais e ao desenvolvimento de soluções criativas. Para este estudo, então, foi realizada uma pesquisa com 28 indústrias de transformação, situadas nas microrregiões de Araçatuba e Birigui, em que, através de entrevistas com os diretores e/ou responsáveis pelos departamentos de design, identificou-se que o design não é visto como uma ferramenta importante. Em 43% das empresas, o diretor geral é responsável pela administração dos projetos de design, que acaba dividindo sua atenção com outras várias atividades gerenciais da empresa, como faturamento, vendas, pagamentos e outras mais. Outro dado preocupante da pesquisa está ligado à participação do designer no pocesso de desenvolvimento e comunicação dos produtos, em que 39% dos respondentes afirmam não envolver esse profissional nos processos e 25% declaram envolvêplo em apenas algumas etapas. Por fim, o estudo traz como principal diretriz para melhorar essa situação, a implantação de uma centro de design, que... / Abstract: This present study aims to improve the use of design in manufacturing industries in the region of Araçatuba and Birigui in order to make it into a competitive tool. Both manufacturing companies and the other companies of different segments have a suffered a sharp slowdown in recent years, which was noticed in the decline of the manufacturing industry's share in the index of gross domestic product between 1985 and 2014, highlighting a decrease of 10.7%. Some of the main factors of low industrial development in Brazil are high taxes, low technological level, poor logistics infrastructure and the high rate of imported industrial products. As an alternative to face these problems, some countries have invested heavily in design, which in addition to having an effective role in technological development, it also focuses on the understanding of social needs and the development of creative solutions. For this study, a survey was conducted with 28 manufacturing industries, located in the regions of Araçatuba and Birigui, in which, through interviews with the directors and/or responsible for the design department, it was identified that design is not considered an important tool. In 43% of the companies, the CEO is responsible for managing the design projects and he/she ends up doing other various management activities in the company, such as billing, sales, payment and so on. Another worrying pint is attached to the participation of the designer in the development and communication process of products, in which 39% of respondents said that they do not involve this professional in the company processes and 25% said that they involve the designer in just a few stages. Finally, the study has as main guideline to improve the situation, the establishment of a design center, which can provide knowledge to practitioners within the companies, can support industries in the design process and also can help in the management of different activities related... / Mestre

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2014-10-22T17:05:02Z No. of bitstreams: 1 2014_RenatoHenriqueCaumo.pdf: 625918 bytes, checksum: 52c5b4cc9e005496274707cfd7706228 (MD5) / Approved for entry into archive by Tania Milca Carvalho Malheiros(tania@bce.unb.br) on 2014-10-24T14:42:06Z (GMT) No. of bitstreams: 1 2014_RenatoHenriqueCaumo.pdf: 625918 bytes, checksum: 52c5b4cc9e005496274707cfd7706228 (MD5) / Made available in DSpace on 2014-10-24T14:42:06Z (GMT). No. of bitstreams: 1 2014_RenatoHenriqueCaumo.pdf: 625918 bytes, checksum: 52c5b4cc9e005496274707cfd7706228 (MD5) / O presente estudo analisa determinados argumentos favoráveis e contrários à atuação dos órgãos integrantes do Sistema Brasileiro de Defesa da Concorrência (SBDC) no controle de condutas que decorram do estrito cumprimento de uma decisão judicial inter partes, válida e transitada em julgado, cuja fruição produza efeitos disfuncionais do ponto de vista da livre concorrência. Em síntese, considera-se “efeito disfuncional” aquele por meio do qual um agente econômico, ou grupo reduzido de agentes econômicos, é validamente dispensado, em razão da referida decisão judicial, de cumprir uma regra geral cuja aplicação permanece obrigatória com relação aos seus concorrentes, que continuam a incorrer nos custos e despesas necessários para tanto. Dessa maneira, o efeito disfuncional cria uma assimetria de mercado que pode representar uma vantagem competitiva arbitrária, e impossível de ser replicada, em favor de alguns poucos agentes econômicos beneficiados, em prejuízo de seus competidores e da livre concorrência como um todo. A fim de combater tais efeitos perniciosos, se e quando verificados, propõe-se reconhecer uma nova dimensão à atuação do SBDC, no sentido de considerar eventuais impactos negativos dos referidos efeitos disfuncionais como condutas concorrenciais passíveis de regulação na forma da Lei nº 12.529/11. _________________________________________________________________________________ ABSTRACT / This paper reviews certain arguments on whether Brazilian antitrust authorities would have powers to regulate determined actions supported by a valid court order not subject to appeal whenever said order benefits a single party in a way that is adverse or dysfunctional to competition in a relevant market. A court order is believed adverse or dysfunctional to competition whenever such an order discharges a market participant, individually or as a group, from complying with a general rule that remains binding to other market participants, which other market participants will then incur in cost and expenses that are no longer applicable only with respect to themselves. In practical terms, such a court order creates a market asymmetry that may represent an arbitrary advantage to the market participant to whom it was awarded, thereby being potentially harmful for competition to the extent that such an order cannot replicated by competitors. By way of conclusion, this paper argues that there are sound arguments to support the view that Brazilian antitrust authorities have powers to curb adverse or dysfunctional effects to competition deriving from actions supported such a court order, if and when said effects are verified.

Dissertação (mestrado)—Universidade de Brasília, Centro de Desenvolvimento Sustentável, 2006. / Submitted by Larissa Ferreira dos Angelos (ferreirangelos@gmail.com) on 2009-10-20T22:57:46Z No. of bitstreams: 1 2006_Eliza Ferreira.pdf: 2374479 bytes, checksum: 5f3bb20eaf1d20adb9a0cc3c9d71d8b7 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2011-01-25T16:30:19Z (GMT) No. of bitstreams: 1 2006_Eliza Ferreira.pdf: 2374479 bytes, checksum: 5f3bb20eaf1d20adb9a0cc3c9d71d8b7 (MD5) / Made available in DSpace on 2011-01-25T16:30:19Z (GMT). No. of bitstreams: 1 2006_Eliza Ferreira.pdf: 2374479 bytes, checksum: 5f3bb20eaf1d20adb9a0cc3c9d71d8b7 (MD5) Previous issue date: 2006-03 / Este trabalho baseia -se em um estudo teórico sobre como o design, enquanto inovação tecnológica e estratégia mercadológica, que agrega valores aos produtos e serviços, pode contribuir para o aumento da competitividade de países, empresas e comunidades. Neste intento, foram apresentados o estado da arte do design, seus novos conceitos e sua interrelação multidisciplinar com parâmetros tecnológicos, mercadológicos, culturais e políticos, dentro do paradigma tecnoeconômico de desenvolvimento, em suas duas vertentes: Tecnologia de Ponta e Tecnologia Social. Também, foram apresentadas as experiências e políticas de design de alguns países, bem como seu panorama no Brasil, no que se refere ao trabalho e aos mais importantes projetos de suas principais instituições que atuam em prol da inserção dessa inovação nos processos produtivos das empresas. Ao final, foi apresentado estudo de caso sobre o setor de artesanato de uma comunidade de ceramistas do município de Ipameri-GO. Essa experiência permitiu uma vivência significativa para o exercício de atividades técnicas e públicas, por meio de parcerias multiinstitucionais, onde estão inseridos o setor acadêmico, o setor público municipal, o setor privado, o terceiro setor e demais integrantes do setor público não-estatal, partícipes e responsáveis solidários pelo desenvolvimento sustentável do País. ____________________________________________________________________________ ABSTRACT / This dissertation is based on a theoretical study about how the design, regarded as technological innovation and marketing strategy that joins values to the products and services, can contribute to the increase of the competitiveness of countries, companies and communities. With this intention, we presented the state of the art of the design, their new concepts and its multidisciplinary interrelation with technological, marketing, cultural and political parameters, inside of the technical and economic development paradigm, in its two branches: High Technology and Social Technology. Also, were presented the experiences and the design policies of some coutries as well as the panorama of the design in Brazil, especially the work and the most important projects of its main institutions that promote the inclusion of design in the productive processes. Finally, a case study about a community of ceramists of the municipal district of Ipameri-GO is presented. This case study describes the practice of technical and public activities with the handcrafter community that was a significant and rich experience with mutual learning. In this work a multiinstitutional partnership was stabilished involving the academic sector, the municipal public sector, the private sector, the third-sector and other members of the no-government public setor. These institutions are partners and share the reponsability for sustainable development of the Country.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, 2009. / Submitted by Raquel Viana (tempestade_b@hotmail.com) on 2010-05-03T17:40:58Z No. of bitstreams: 1 2009_MauroCesarSantiagoChaves.pdf: 599250 bytes, checksum: d54f9c42f61b37f757243c1c9d73703d (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-05-03T21:23:36Z (GMT) No. of bitstreams: 1 2009_MauroCesarSantiagoChaves.pdf: 599250 bytes, checksum: d54f9c42f61b37f757243c1c9d73703d (MD5) / Made available in DSpace on 2010-05-03T21:23:36Z (GMT). No. of bitstreams: 1 2009_MauroCesarSantiagoChaves.pdf: 599250 bytes, checksum: d54f9c42f61b37f757243c1c9d73703d (MD5) Previous issue date: 2009-06 / A presente dissertação tem por objetivo analisar o atual arranjo institucional de defesa da concorrência existente no Brasil, a partir de seu desenvolvimento histórico, e propor um novo modelo, não apenas mais condizente com nosso sistema federativo, mas que também favoreça a difusão dessa política pública. Essa reflexão é importante nesse momento em que se discute um novo arranjo institucional para os órgãos responsáveis pela política de defesa da concorrência, conforme o Projeto de Lei n.º 5.877/2005, apresentado pelo Poder Executivo Federal ao Congresso Nacional. Para cumprir esse objetivo, o primeiro capítulo faz uma retrospectiva histórica da defesa da concorrência, no intuito de identificar seus objetivos e compreender seu enquadramento como ramo do direito econômico no atual sistema constitucional brasileiro. Esse primeiro capítulo permite prosseguir com a discussão sobre a descentralização da defesa da concorrência, suas possibilidades jurídicas, desafios e meios de operacionalização. Já o segundo capítulo faz um retrospecto do federalismo brasileiro de forma a identificar como a política de defesa da concorrência evoluiu ao longo da história federativa brasileira até o atual modelo estabelecido pela Constituição Federal de 1988, enquadrando-a no campo das competências concorrentes. Esse segundo capítulo, importante por destacar o paradigma centralizador com que se desenvolveu a política de defesa da concorrência no Brasil, permite avançar na discussão de um novo arranjo institucional. Essa discussão ocorre no terceiro capítulo, em que se busca, a partir dos pressupostos estabelecidos nos capítulos anteriores e tendo por marco teórico a teoria da ação comunicativa de Jürgen Habermas, trazer os fundamentos sóciojurídicos que recomendam a descentralização da defesa da concorrência no Brasil, mediante um modelo semelhante ao adotado pelo Código de Defesa do Consumidor. _________________________________________________________________________________ ABSTRACT / This dissertation aims to analyze the currently institutional arrangement for the defense of competition in Brazil, from its historic role, and proposes a new model, not only more in agreement to our federal system, but that also promotes the dissemination of this public policy. This reflection is important at the moment as we are debating a new institutional arrangement for the policy on protection of competition, according to the Project of Law # 5877/2005, submitted to the Federal Executive Power to the National Congress. To achieve this goal, the first chapter gives a historical background on the defense of competition in order to identify its objectives and understand its role as part of the Economic Field of Law in the currently Brazilian constitutional system. The first chapter allows to continue the discussion about the decentralization of the defense of competition, its legal scopes, challenges and methods of operation. The second chapter is a review of the Brazilian federalism in order to identify how the policy of protection of competition has evolved with the federal Brazilian history, up to the model established by the 1988 Federal Constitution, as part of the competing power field. This second chapter, important for highlighting the central paradigm with which the policy on protection of competition in Brazil has developed, allows to go on with the discussion of a new institutional arrangement. This discussion occurs in the third chapter, which seeks from the assumptions set out in previous chapters with the theoretical framework of the theory of communicative action of Jürgen Habermas, to bring the socio-legal grounds that recommends the decentralization of the defense of competition in Brazil, through a model similar to that adopted by the Code of Consumer Protection.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, 2010. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-11-28T15:42:43Z No. of bitstreams: 1 2010_MarceloPachecoGuaranys.pdf: 1277872 bytes, checksum: 4f59704ee740b841e705f63b2076089f (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2011-12-14T17:03:04Z (GMT) No. of bitstreams: 1 2010_MarceloPachecoGuaranys.pdf: 1277872 bytes, checksum: 4f59704ee740b841e705f63b2076089f (MD5) / Made available in DSpace on 2011-12-14T17:03:04Z (GMT). No. of bitstreams: 1 2010_MarceloPachecoGuaranys.pdf: 1277872 bytes, checksum: 4f59704ee740b841e705f63b2076089f (MD5) / Até o início da década de 1990, a regulação do transporte aéreo no Brasil era protecionista e não permitia uma concorrência efetiva entre as empresas. Nos últimos anos, a política regulatória do transporte aéreo buscou incentivar o aumento de concorrência no setor, por meio da eliminação de barreiras à entrada nesse mercado. Do ponto de vista econômico, tal política está de acordo com as características observadas, uma vez que não há falhas de mercado relevantes que justifiquem uma regulação econômica muito restritiva. Sob a ótica do Direito, no entanto, é importante analisarmos se os efeitos dessa política são também benéficos. Nesse intuito, essa dissertação busca apresentar, com fundamento na Análise Jurídica da Política Econômica, os efeitos jurídicos dessa política pública sobre a fruição de direitos fundamentais na sociedade. ______________________________________________________________________________ ABSTRACT / Until the early 1990s, air transport regulation in Brazil was considered protectionist and would not allow effective competition among airlines. In recent years, air transport regulatory policy has begun to increase competition in the sector, through the elimination of barriers to entry. From an economic point of view, such policy is consistent with the observed features, since there are no relevant market failures that justify an economic regulation too restrictive. However, it is important to analyze if the effects of this policy also benefit the exercise of rights. To that end, this essay presents, based on the Legal Analysis of Economic Policy, the effects of that public policy on the exercise of fundamental rights in the society.

Dissertação (mestrado)—Universidade de Brasília, Programa de Pós-graduação em Ciências Florestais, 2013. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2014-04-03T11:52:22Z No. of bitstreams: 1 2013_SandroNogueiradeSouza.pdf: 1116757 bytes, checksum: e6cc332823610b7dbe8730a812855725 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-04-03T12:15:10Z (GMT) No. of bitstreams: 1 2013_SandroNogueiradeSouza.pdf: 1116757 bytes, checksum: e6cc332823610b7dbe8730a812855725 (MD5) / Made available in DSpace on 2014-04-03T12:15:10Z (GMT). No. of bitstreams: 1 2013_SandroNogueiradeSouza.pdf: 1116757 bytes, checksum: e6cc332823610b7dbe8730a812855725 (MD5) / Este estudo tratou da competitividade na exportação de três produtos florestais de madeiras tropicais, a saber: madeira serrada, laminado e compensado. O período e os subperíodos estudados compreenderam os anos de 2000 a 2011. Os subperíodos analisados foram 2000- 2003, 2004-2007 e 2008-2011. Os dados analisados estão nos sítios da United Nations Commodities Trade (UNCOMTRADE), International Tropical Timber Organization (ITTO), Instituto de Pesquisa Econômica Aplicada (IPEA) e Secretaria de Comércio Exterior (SECEX). Empregaram-se o modelo de Constant Market Share (CMS), o Índice de Vantagem Comparativa Revelada (IVCR) e a Taxa de Câmbio Efetiva Real (TCER). Os resultados mostraram que, no modelo do CMS, a madeira serrada revelou-se como o único produto a apresentar ganho de competitividade no subperíodo 2004-2007 em relação ao de 2000-2003. Não houve ganho de competitividade para nenhum produto na análise do subperíodo 2008- 2011 em relação ao de 2004-2007. Observou-se maior contribuição do efeito competitividade, tanto para o ganho quanto para a perda nas exportações. Analisou-se o modelo do IVCR para o período 2000 a 2011, que indicou vantagens comparativas reveladas para os produtos madeira serrada e laminado. O compensado mostrou vantagem comparativa até 2007 e, nos anos seguintes, apresentou resultados menores que a unidade, ou seja, apresentou desvantagem comparativa revelada. Os produtos não apresentaram ganho de competitividade no período. O resultado da análise da TCER mostrou que a madeira serrada não auferiu ganhos de competitividade no período 2000 a 2011 e os demais produtos apresentaram ganhos no período de 2000 a 2004. Todos os produtos apresentam queda na competitividade ao longo do período. Conclui-se que, dos produtos analisados, a madeira serrada tropical é o único competitivo no mercado internacional. ______________________________________________________________________________________ ABSTRACT / This study entended to assess the export competitiveness of three tropical forest wood products, that is: sawn wood, veneer and plywood. The period and sub-periods studied include the years from 2000 through 2011. The sub-periods analyzed were 2000-2003, 2004-2007 and 2008-2011. The data analyzed are from the United Nations Commodities Trade (UNCOMTRADE), the International Tropical Timber Organization (ITTO), the Instituto de Pesquisa Economica Aplicada (IPEA), and the Secretaria de Comercio Exterior (SECEX).The models used are Constant Market Share (CMS), the Revealed Comparative Advantage Index (RCAI) and the Effective Real Exchange Rate (ERER). The results, in the CMS model, showed that sawn wood was the only product to present a gain in competitiveness in the sub-period 2004-2007 with respect to the period 2000-2003. There was no gain in competitiveness for any product in the analysis during the sub-period 2008-2011 in relation to the period 2004-2007. There was a major contribution due to competitiveness, for gains as well as for losses in exports volume. Analyzing the VRCI model during the period 2000-2011, this indicated competitive advantages for the sawn wood and veneer products. Plywood demonstrated a comparative advantage until 2007; in the following years, it showed results of less than one, or rather, it revealed a comparative disadvantage. The products did not show any gain in competitive advantage during the period. The result of a TCER analysis indicated that sawn wood did not offer any gains in advantage in the period 2002 to 2011 while the other products did show gains in the period 2000 through 2004. All products had a decrease in competitive advantage during the period. The conclusion then, for the products analyzed, is that tropical sawn wood was the only one competitive in the world market.

A presente tese examina a contribuição da liberdade de concorrência para o estabelecimento da fase de mercado comum na Comunidade Européia, tendo como objetivo propor alternativas para o Mercosul regulamentá-la e assim possibilitar o alcance do seu verdadeiro mercado comum. O primeiro capítulo retrata as etapas que a Comunidade superou desde o seu surgimento até o estabelecimento do mercado comum e confirma que a evolução do processo, que envolveu um novo objetivo, o mercado interno, e a importância que para tanto assumiu o direito comunitário da concorrência, presente já nos Tratados constitutivos e tutelador da liberdade de concorrência, determinaram a essa uma nova classificação, qual seja a de quinta liberdade fundamental, o que foi comprovado com entendimentos doutrinários e esforços jurisprudenciais. O segundo capítulo centra-se nas reformas no direito comunitário da concorrência e nas suas contribuições para a aproximação do sistema da concorrência com o sistema das liberdades fundamentais, para a manutenção do mercado interno na Comunidade Européia e para o desenvolvimento do direito da concorrência em outros processos de integração, bem como no estudo de propostas de regulamentações de ordem internacional do direito da concorrência. No âmbito comunitário, foram consideradas a refoma ocorrida nas regras de aplicação dos artigos 81 e 82 TCE, com o Regulamento n. 1/2003, a acontecida nas regras do controle das concentrações de empresas, com o Regulamento n. 139/2004, e as mudanças nas regras aplicáveis aos Estados-membros, como, por exemplo, as trazidas pelos Regulamentos ns. 994/98 e 659/99. No âmbito internacional, recebeu atenção o Draft of International Antitrust Code, sugerido à OMC. O terceiro capítulo apresenta os objetivos alcançados e os não-alcançados desde o surgimento do processo de integração do Mercosul e o estágio em que ele atualmente se encontra. O estudo caracterizou o presente momento como o apropriado para o processo confirmar o seu desejo de alcançar a etapa de mercado comum, o que deverá ocorrer com a implantação de um eficaz direito da concorrência e com a conformação das demais liberdades fundamentais. As conclusões são que a liberdade de concorrência é a quinta liberdade econômica fundamental dos processos de integração que tenham por objetivo alcançar um mercado comum, que as reformas sofridas pelo direito comunitário da concorrência estão em sintonia com essa visão e que oferecem um aval ao sistema previsto para o Mercosul. Além disso, que a garantia da liberdade de concorrência integrou os mercados nacionais e contribuiu para que a Comunidade atingisse o mercado comum e que a visão da liberdade de concorrência como a quinta liberdade fundamental e como permitidora do seu alcance na Comunidade contribui para o estabelecimento de um direito da concorrência e este para o alcance de um verdadeiro mercado comum pelo Mercosul.

Made available in DSpace on 2014-06-12T15:59:39Z (GMT). No. of bitstreams: 2 arquivo5428_1.pdf: 1146136 bytes, checksum: 397adc67935622083166ac6104064af6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A busca constante pelo desenvolvimento de sistemas de software com qualidade vem despertando o interesse das grandes empresas na aplicação de técnicas formais. Dentre as linguagens formais, existem aquelas próprias para a modelagem de dados complexos, tal como Z, e outras próprias para a modelagem de comunicação e concorrência, tal como CSP. Circus é uma linguagem de especificação, projeto e programação que combina Z e CSP. Além de possibilitar a especificação de aspectos de dados e comportamentais de sistema concorrentes, Circus inclui um cálculo de refinamentos. Este é seu diferencial em relação a outras integrações de Z com uma álgebra de processos. Circus vem despertando interesse no meio industrial, manifestado através de colaboraçõoes científicas e tecnológicas, e possui uma equipe envolvida na construção de ferramentas que visam facilitar sua utilização. Muitas destas ferramentas precisam de um verificador de tipos para prover mais garantias quanto a consistência das especificações e programas, e, consequentemente, de seus resultados. Neste trabalho, apresentamos uma definição formal para o sistema de tipos de Circus, com o intuito de auxiliar o desenvolvimento de um verificador de tipos para a linguagem. Optamos por primeiramente definir as regras de tipos de Circus para depois implementar o software que automatiza a aplicação dessas regras. Esta decisão de projeto contribuiu para a construção robusta do verificador, pois a implementação consiste em um mapeamento direto das regras de tipos para linhas de código. O verificador desenvolvido também oferece recursos adicionais, tais como, a disponibilidade de informações de tipos para cada fragmento da especificação ou programa passado para análise, e o fornecimento de mensagens claras e objetivas dos possíveis erros de tipos detectados ao longo da verificação. Adicionalmente, projetamos o verificador como um componente de fácil integração, manutenção e extensão. Também apresentamos neste trabalho a nossa estratégia de validação do verificador. Elaboramos testes de pequeno e grande porte, a partir de estudos de casos de sistemas reais, tal como o sistema de SmartCard que descrevemos neste trabalho. Adicionalmente, integramos o verificador com outra ferramenta: o JCircus, que é um tradutor de Circus para Java. Também implementamos uma versão inicial de uma ferramenta de refinamentos, chamada CircusRefine, para integrar o verificador de tipos. Apesar de não termos construído uma versão completa de CircusRefine, nos preocupamos em definir a arquitetura da ferramenta de tal forma que sejam possíveis futuras evoluções de forma simples e estruturada. Os testes e integrações contribuíram para a correção de defeitos da implementação e para a evolução e verificação de consistência do verificador de tipos de Circus. Ao definir o sistema de tipos de Circus, e disponibilizar um verificador de tipos, acreditamos que estamos dando uma importante contribuição na evolução de Circus, esclarecendo pontos essenciais de sua definição como uma linguagem fortemente tipada e compatível com Z e CSP, e estamos também contribuindo para o desenvolvimento de outras ferramentas da linguagem.Esperamos que o nosso trabalho possa servir de base para a definição e implementação dos sistemas de tipos das extensões de Circus

Made available in DSpace on 2014-06-12T15:59:45Z (GMT). No. of bitstreams: 2 arquivo5533_1.pdf: 1386556 bytes, checksum: dd140b25c88f8bcdd90de267c9e23d34 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / O processo de avaliação de desempenho pode ser implementado através de diversos métodos: medição que é processo de coleta de informações de um sistema real; simulação computacional e modelos analíticos que capturam o comportamento temporal de um sistema através de uma representação matemática. A avaliação baseada em modelos possibilita a análise de desempenho de sistemas, antes mesmo de sua implementação, o que possibilita ajustes ainda na fase de desenvolvimento. O uso de modelos como mecanismo de avaliação também torna possível a avaliação de cenários complexos, possibilitando, portanto, a análise de desempenho em função de restrições temporais e de recursos. O interesse na avaliação de desempenho do sistema do middleware está aumentando. O CORBA é um padrão de middleware orientado a objetos definido pela OMG que permite aplicações distribuídas em uma rede (local ou mesmo na Internet) se comuniquem. O serviço de controle de concorrência (SCC) faz parte do conjunto de serviços conhecidos como serviços comuns do CORBA e são usados por várias aplicações de diversos domínios. O SCC do CORBA foi definido para coordenar o acesso a recursos compartilhados, através do uso de locks, garantindo a consistência quando o recurso é acessado concorrentemente. Este trabalho propõe modelos redes de Petri estocástica para avaliar o desempenho do SCC do CORBA. Com a finalidade de validar os modelos propostos, os resultados da avaliação das redes de Petri são comparados com as medidas obtidas no OpenORB (núcleo do CORBA). Também são apresentados cenários de desempenho que auxiliam a tomada de decisões para melhoria do desempenho do SCC do CORBA

Made available in DSpace on 2014-06-12T16:01:28Z (GMT). No. of bitstreams: 2 arquivo9411_1.pdf: 1518901 bytes, checksum: d645deca05140af7b59c0d3726ee9757 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Com o advento de processadores multicore, a programação concorrente ganhou importância e tem se tornado um dos grandes desafios da área de engenharia de software. O paradigma de programação concorrente, implementado por linguagens de programação como Java, C, e C++, oferece um nível de expressividade muito baixo, dificultando a sua utilização. Aliado a isso, o uso de bibliotecas que implementam abstração de concorrência, requer um esforço de aprendizado adicional, como também produz programas cuja lógica da regra de negócio está entrelaçada com chamadas para a biblioteca que implementa concorrência de forma mais abstrata. O presente trabalho propõe separar o código concorrente daquele usado no desenvolvimento de código sequencial Java. Todo comportamento concorrente é extraído do código e torna-se anotações de classe. Tais anotações seguem a sintaxe da linguagem CSP, uma linguagem formal que foi criada para descrever sistemas concorrentes e distribuídos. Para prover esta separação, este trabalho sugere um compilador, chamado AJCSP, o qual reconhece as anotações nas classes Java, gerando código concorrente utilizando a biblioteca JCSP. A programação orientada a aspectos foi explorada para instrumentar o programa sequencial Java com construções concorrentes contidas no código gerado. Para avaliar o framework proposto, foram utilizadas métricas de separação de preocupações (SoC), acoplamento, bem como tamanho em cinco sistemas distintos implementados nas diferentes abordagens de concorrência (java thread, JCSP e AJCSP). A avaliação obtida demonstrou que, quando utilizado AJCSP, a quantidade de linhas de código do sistema diminui, assim como a dependência com a biblioteca de concorrência