Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-09T17:47:20Z No. of bitstreams: 1 CÍCERO JANUÁRIO GUIMARÃES - DISSERTAÇÃO PPGMAT 2006..pdf: 518910 bytes, checksum: 7b47c5929150ce3b38f2bc1522da3646 (MD5) / Made available in DSpace on 2018-07-09T17:47:20Z (GMT). No. of bitstreams: 1 CÍCERO JANUÁRIO GUIMARÃES - DISSERTAÇÃO PPGMAT 2006..pdf: 518910 bytes, checksum: 7b47c5929150ce3b38f2bc1522da3646 (MD5) Previous issue date: 2006-03 / Capes / O resumo dessa dissertação utiliza símbolos matemáticos e fórmulas que não foram possíveis copia-los aqui. Para a completa visualização recomendamos o download da dissertação). / The abstract of this dissertation uses mathematical symbols and formulas that could not be copied here. For the complete visualization we recommend downloading the dissertation).

In this work, we study existence and non existence for the Dirichlet problem for the minimal graph equation in non convex domains of the plane. We search for conditions on the boundary data which be the less restricted possible for the solubility of the Dirichlet problem. / Neste trabalho estudamos existência e não existência do problema de Dirichlet para a equação dos gráficos mínimos em domínios não convexos do plano. Procuramos por condições sobre o dado no bordo que sejam as menos restritivas possíveis para que o problema de Dirichlet em questão tenha solução

O presente trabalho apresenta o estudo que visou a caracterização do processo de significação de conceitos químicos como domínio e apropriação de ferramentas culturais. O registro dos dados aconteceu durante a aplicação de um ambiente virtual de aprendizagem que tinha a solubilidade dos materiais, como conceito central. Os sujeitos da investigação foram alunos do Ensino Médio da Rede Estadual de Ensino do Estado de São Paulo, que participavam do Programa de Pré-Iniciação Científica da USP. Todo o projeto foi planejado tomando como referenciais teóricos a teoria do desenvolvimento humano de Lev Vigotski, a teoria da linguagem de Mikhail Bakhtin, a teoria da ação mediada de James Wertsch e o modelo de organização do ensino de Marcelo Giordan. Este estudo buscou resposta para a seguinte questão de pesquisa: Compreender o processo de significação como domínio e apropriação de ferramentas culturais, permitirá que caracterizemos a aprendizagem como um processo de produção de significados? Para que pudéssemos responder a esta questão e alcançar nosso objeto, desenvolvemos uma sequência didática problematizadora, acompanhamos o processo de resolução do problema e reconstruímos este processo em busca dos conceitos utilizado para resolver o problema. Depois reconstruímos o processo histórico da significação dos conceitos químicos, analisamos os significados produzidos pelos alunos e caracterizamos esses significados como domínio e apropriação de ferramentas culturais. Verificamos que os alunos dominaram e se apropriaram dos conceitos químicos, da forma de organização dos enunciados própria da esfera científica e do uso de modelos como ferramentas capazes de realizar atividades concretas. / This paper presents a study that aimed to characterize the process of meaning of chemical concepts such as mastery and appropriation of cultural tools. Data registration occurred during the implementation of a virtual learning environment which had the solubility of the materials as a main concept. The subject of the investigation was a group of high school students from a State School in the State of São Paulo, who attended the Program of Pre-Scientific Initiation at USP. The entire project was designed taking as a theoretical framework to human development theory of Lev Vygotsky, the language theory of Mikhail Bakhtin, the mediated action theory of James Wertsch and the organizational model for teaching of Marcelo Giordan. This study sought answer for the following research question: To understand the process of meaning as mastery and appropriation of cultural tools, will we characterize learning as a process of producing meanings? So, in order to be able to answer this question and reach our goal, we developed a didactic problematical sequence, we follow the problem solving process and reconstruct this process in search of the concepts used to solve the problem. Then we reconstructed the historical process of chemical concept meanings, analyze the meanings produced by the students and we characterized these meanings as mastery and appropriation of cultural tools. We found that students have mastered and appropriated themselves of the chemical concepts, the organizational form of the statements used on its own scientific sphere and the use of models as tools capable of performing concret activities.

Made available in DSpace on 2014-06-11T19:27:14Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-07-30Bitstream added on 2014-06-13T19:55:34Z : No. of bitstreams: 1 freitas_tc_me_ilha.pdf: 1484818 bytes, checksum: 9f0ca1d5825d93918e44fc9b31aae513 (MD5) / Agência Nacional de Energia Elétrica (ANEEL) / Este trabalho apresenta o estudo, a implementação e a aplicação de duas técnicas de identificação de parâmetros modais utilizando apenas as respostas da estrutura, denominadas: Identificação Estocástica de Subespaço (IES) e Decomposição no Domínio da Freqüência (DDF). A IES é baseada na Decomposição em Valores Singulares (DVS) da projeção ortogonal do espaço das linhas das saídas futuras no espaço das linhas das saídas passadas. Uma vez realizada a DVS da projeção ortogonal é possível obter o modelo de espaço de estado da estrutura e os parâmetros modais são estimados diretamente através da decomposição em autovalores e autovetores da matriz dinâmica. A DDF é baseada na DVS da matriz de densidade espectral de potência de saída nas linhas de freqüências correspondentes a região em torno de um modo. O primeiro vetor singular obtido para cada linha de freqüência contém as respectivas informações daquele modo e os correspondentes valores singulares levam a função densidade espectral de um sistema equivalente de um grau de liberdade (1GL), permitindo a obtenção dos parâmetros do respectivo modo. Os métodos são avaliados utilizando dados simulados e experimentais. Os resultados mostram que as técnicas implementadas são capazes de estimar os parâmetros modais de estruturas utilizando apenas as respostas. / This work presents the study, implementation and application of the two techniques for the modal parameters identification using only response data: Stochastic Subspace Identification (SSI) and Frequency Domain Decomposition (FDD). The SSI is based on Singular Value Decomposition (SVD) of the orthogonal projection of the future output row space in the past output row space. After the completion of the SVD of the orthogonal projection, is possible to get the state space model of the structure and the modal parameters are estimated directly through the eigenvalues and eigenvectors decomposition of the dynamic matrix. The FDD is based on the SVD of the output power spectral density matrix in the frequencies lines around a mode. The first singular vector obtained for each frequency line contains the respective information about this mode and the corresponding spectral density function leads to an equivalent system of one degree of freedom (1 DOF), allowing the calculation of the parameters of the mode. The methods are evaluated using simulated and experimental data. The results show that the techniques implemented are capable to estimate the modal parameters of structures using only response data.

Made available in DSpace on 2014-06-11T19:22:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-08-26Bitstream added on 2014-06-13T19:28:03Z : No. of bitstreams: 1 souzajunior_nv_me_ilha.pdf: 788447 bytes, checksum: 8b9466a049a4bdb01e9292faf0c87bb0 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Sabe-se que uma linha de transmissão polifásica pode ser representada no domínio modal, por seus n modos de propagação que se comportam como sendo n linhas monofásicas independentes. Uma vez calculadas as correntes e tensões no domínio modal, as mesmas são convertidas para o domínio das fases por meio de uma matriz de transformação modal. A matriz de transformação modal é uma matriz cujos elementos são escritos em função dos parâmetros longitudinais e transversais da linha, variam em função da frequência e, geralmente, são obtidos por meio de métodos numéricos. Deste modo, diz-se que o modelo obtido é um modelo numérico de linha. Neste trabalho foi feita uma abordagem a respeito de um modelo analítico de linha de transmissão bifásica. O modelo proposto utiliza também a representação modal, mas a matriz de transformação será obtida analiticamente em função dos parâmetros da linha. Deste modo, foi possível obter, analiticamente, relações entre as correntes e tensões de fase da linha baseando-se unicamente nos parâmetros longitudinais e transversais da mesma / It is know that polyphase transmission line can be represented in the modal domain its n propagation modes that behave as n independent single-phase lines. Once calculated the currents and voltages in the modal domain, they are converted into the realm of the phases by means of a modal transformation matrix. The modal transformation matrix is a matrix whose elements re written against the parameters of longitudinal and cross the and they are usually obtained by numerical methods. In this paper an approach was made on an analytical model of two-phase transmission line. The proposed model uses the modal representation, but the transmission matrix obtained analytical in terms of line parameters. The development of the analytical model will be based on the modal model. Thus, initially will be obtained analytically, a modal matrix decomposition that allows to calculate analytically the eigenvalues of the product [Z][Y] line. Once obtained the eigenvalues it possible to abtain the modes of propagation and characteristic impedance of the line modes. Then, using the solutions algebraic differential equation of a single-phase line, we abtain the equations of currents and voltages of each of modes of spread of the row. In a final step, the equations of modal currents and voltages are converted into the realm of the phases, resulting in algebraic equations that can calculate the currents and phase voltages of the line in the frequency domain

Made available in DSpace on 2016-06-02T18:55:23Z (GMT). No. of bitstreams: 1 4272.pdf: 2401909 bytes, checksum: 472e7aaca2322a7de8b1b169aa30fdd5 (MD5) Previous issue date: 2012-03-30 / Financiadora de Estudos e Projetos / The increasing current demand of water has caused conflicts between their multiple uses, being the agriculture responsible for the use of the largest portion of this natural resource. In this context, drip irrigation has shown growth in irrigated area due to their potential to achieve high efficiency in water application. Drip irrigation is characterized by the application of small volumes of water at high frequency directly in the root zone of plants, helping to maintain soil moisture near field capacity in a given volume of soil usually called the wet bulb. Knowing the dimensions of the wetted generated to be used in drip irrigation project is of fundamental importance for the proper design and operation of drip irrigation systems. The objective of this study was to test the performance of the mathematical models Schwartzman and Zur Reprinted and HYDRUS-2D in predicting dimensions of wet bulb generated generated by emitters of different flow flow rates. In its first part, held at the experimental field of Taubate University, were collected the dimensions of the wet bulbs generated by drip of 2, 4 and 8 L h-1 in a dystrophic red-yellow. In the second, were simulated the dimensions of wet bulb using Schwartzman and Zur Reprinted and HYDRUS-2D models. Statistical analysis used to evaluate the performance of these models have shown that the model Schwartzman Zur Reproduced predicted the experimental data set with an accuracy of 94%, whereas in the case of model HYDRUS-2D, this accuracy was 85%. It was concluded that the two studied models can adequately estimate the dimensions of the wet bulb, for the studied conditions, highlighting, however, that the model performed better was Schwartzman-Zur Reprinted. / A crescente demanda de água tem originado conflitos entre seus usos múltiplos, sendo a agricultura responsável pela utilização da maior parcela deste recurso natural. Neste quadro, a irrigação por gotejamento tem apresentado crescimento em área irrigada devido a sua potencialidade de obter alta eficiência na aplicação de água. A irrigação por gotejamento é caracterizada pela aplicação de pequenos volumes de água em alta frequência diretamente na zona radicular das plantas, permitindo manter a umidade do solo próxima a sua capacidade de campo em um determinado volume de solo denominado normalmente de bulbo molhado. O conhecimento das dimensões do bulbo molhado gerado pelo gotejador a ser utilizado no projeto de irrigação é de fundamental importância para o correto dimensionamento e operação dos sistemas de irrigação por gotejamento. O objetivo deste trabalho foi testar o desempenho dos modelos Schwartzman-Zur Reproduzido e HYDRUS-2D na previsão das dimensões dos bulbos molhados gerados por gotejadores de diferentes vazões. Na sua primeira parte, realizada na área experimental da Universidade de Taubaté, foram coletadas as dimensões dos bulbos molhados gerados por gotejadores de 2, 4 e 8 L.h-1 em um Latossolo vermelhoamarelo. Na segunda, foram simuladas as dimensões dos bulbos molhados utilizando-se os modelos matemáticos Schwartzman-Zur Reproduzido e HYDRUS-2D. Os estudos estatísticos utilizados para avaliar o desempenho desses modelos mostraram que o modelo de Schwartzman-Zur Reproduzido ajustou os dados experimentais com precisão de 94%, enquanto que, no caso do modelo HYDRUS-2D, esta precisão foi de 85%. Concluiu-se que os dois modelos estudados podem estimar adequadamente as dimensões do bulbo molhado para as condições estudadas, destacando-se, porém, que o modelo que apresentou melhor desempenho foi o de Schwartzman-Zur Reproduzido.

Made available in DSpace on 2016-06-02T19:06:01Z (GMT). No. of bitstreams: 1 4765.pdf: 5526051 bytes, checksum: eca7635e3ad1f0a28a9f3871c97aac57 (MD5) Previous issue date: 2012-11-12 / Universidade Federal de Sao Carlos / Autonomous mobile robots are machines capable of executing repetitive/dangerous tasks more efficiently. Most of them have an embedded software which is responsible for their execution. Over the last years, the complexity of these applications has continuously growing and they are presenting challenges that are uncommon to traditional information systems development. Therefore, any technique that can support their development is a great contribution. A technique that improves the productivity is to use domain-specific languages (DSLs). These are modeling and programming languages whose constructs are concepts and abstractions of a particular domain. It frees developers from worrying about generic programming concepts (classes, objects, attributes, etc.) and allows them to focus on the problem to be solved. As creating a DSL is not a trivial task and pointing the idiosyncrasies of mobile robots, this dissertation presents an approach for engineering DSLs to mobile robots. The aim is to make the activity of creating DSLs to this domain more systematic and controlled. In this approach, an application is taken as input and a series of domain statements is extracted from it. These statements are classified into categories and each one of them are analized in order to extract commonalities and variabilities, wich are transformed into components of a DSL. An important characteristic of the approach is that it asks for just one application to reach a first version of a running DSL. We suggest that the same DSL can be evolved just by applying the approach again using another application as input. So new components could be created and the existing ones could be modified. We also present a generic language model providing a foundation architecture that allows one to easily create new DSLs by extending it. Two proofs of concept are presented in order to exemplify the application of our approach. / Robôs móveis autônomos são máquinas com potencial para realizar atividades repetitivas ou de alta periculosidade com mais eficácia. Muitos possuem um software embarcado responsável pelo seu funcionamento. Nos últimos anos, a complexidade dessas aplicações robóticas embarcadas tem crescido continuamente e apresentam desafios que são incomuns ao desenvolvimento dos tradicionais sistemas de informação. Portanto, toda técnica que dê suporte a esse tipo de desenvolvimento pode contribuir significativamente. Uma técnica que permite o aumento de produtividade é a utilização de linguagens específicas de domínio (DSLs). Essas são linguagens de modelagem e programação cujas construções são conceitos e abstrações de um domínio de aplicação em particular. Isso desobriga o desenvolvedor de se preocupar com conceitos genéricos de programação (classes, objetos, atributos, etc.) para focar-se no problema a ser resolvido. Como o desenvolvimento de uma DSL não é uma tarefa trivial e tendo em vista as idiossincrasias dos robôs móveis autônomos, esta dissertação apresenta uma abordagem para construção de DSLs para robôs móveis. O objetivo é deixar mais sistemática e controlada a criação de DSLs para esse domínio. Nessa abordagem, uma aplicação é tomada como entrada e dela extraem-se declarações a respeito do domínio. Essas declarações são categorizadas e, para cada categoria, são levantadas partes comuns e variáveis. Então, essas partes são transformadas em componentes de uma DSL. Uma característica importante da abordagem apresentada é que uma versão inicial da DSL pode ser alcançada tendo apenas uma aplicação como base. Sugere-se que essa mesma DSL possa evoluir pela reaplicação da abordagem tendo uma nova aplicação como entrada. Dessa forma, novos componentes podem ser criados e os existentes, modificados. Também é apresentado um modelo genérico de linguagem que fornece uma arquitetura básica, permitindo que novas DSLs sejam facilmente construídas pela extensão da mesma. Duas provas de conceito são apresentadas com a intenção de exemplificar a aplicação da abordagem.

Made available in DSpace on 2016-06-02T19:06:08Z (GMT). No. of bitstreams: 1 5466.pdf: 2178593 bytes, checksum: a3777aeb3757d619d7087258728cdde6 (MD5) Previous issue date: 2013-05-20 / Financiadora de Estudos e Projetos / Cloud Computing has potential to revolutionize way that systems are developed and marketed. Among several research gaps related to this new model is the Lock-In. The Lock-In is the difficulty on migrating data and applications from a cloud platform to another. The lack of standardization, as well as other reasons, are causing the problem. This work presents a model-driven(MDE) approach for portability of applications between cloud platforms. With MDE software engineers can work at a high level of abstraction freeing themselves from repetitive tasks related to software implementation and specific details of cloud platforms. Besides portability, MDE brings additional benefits related to traditional software development approaches. The approach presented in this work, basically consists of a DSL and a set of automated transformations for two known cloud platforms Google App Engine and Microsoft Azure. The approach allows the development of cloud applications on a high abstraction level, showing that despite being simple, the elements of the approach are enough to generate many cloud applications, as well as facilitates its development. The evaluation confirms the benefits provided by MDE technologies. / A computação em nuvem tem potencial para revolucionar a maneira como sistemas são desenvolvidos e comercializados. Entre as diversas lacunas de pesquisa relacionados a esse novo modelo computacional está o Lock-In. Isto é, o aprisionamento do usuário ao provedor devido a dificuldade na migração de dados e aplicativos de uma plataforma de nuvem para outra. Tal aprisionamento ocorre, dentre outros motivos, devido a falta de um padrão para desenvolvimento de aplicações para a nuvem. Este trabalho apresenta uma abordagem dirigida por modelos (Model-Driven Engineering - MDE) para portabilidade de aplicações entre plataformas de Computação em nuvem. Com o MDE os engenheiros de software podem trabalhar em um nivel mais alto de abstração livrando-se de tarefas repetitivas de codificação, que ficam a cargo de transformações automatizadas, e ficando assim protegidos das complexidades requeridas para implementação nas diferentes plataformas. Além da portabilidade o MDE traz benefícios adicionais em relação a abordagens tradicionais de desenvolvimento de sistemas. Este trabalho apresenta o desenvolvimento de uma linguagem textual que possibilita a especificação de aplicações em um alto nível de abstração. Bem como geradores de código para duas conhecidas plataforma de nuvem, a Google App Engine(GAE) e a Windows Azure, mostrando que a linguagem desenvolvida pode servir de entrada para a geração de grande parte do código necessário para muitas aplicações de nuvem e que facilita seu desenvolvimento. O MDE oferece uma maior produtividade, melhor manutenção e documentação e reúso. A avaliação realizada observou alguns desses benefícios, o que comprova a viabilidade da abordagem MDE.

Made available in DSpace on 2016-06-02T19:06:19Z (GMT). No. of bitstreams: 1 6469.pdf: 4680875 bytes, checksum: 348ed33838e264f70033e8383aeaa100 (MD5) Previous issue date: 2014-10-27 / The integrated network management system aims to manage the telecommunications network, regardless of network elements technology in order to identify the causes of problems, providing a more assertive decision making to remedy these problems and make the network available and operational. Thus, can to cater to the market that is increasingly demanding with the level of quality telecommunications products and services. Given this need, integrated networks management system belongs to a real company needs to respond quickly to customers' expectations with respect to requests for new functions system, and perform technology upgrades periodically. However, the integrated network management system development use centered-source technologies, and it requires great effort and hinders reuse. In this context, this master's project presents a proposal to facilitate the integrated network management system development using the techniques of MDD (Model Driven Development). MDD emphasizes the use of models in software development. These models specify the rules of business domain at a high level of abstraction, i.e., regardless of the programming language and to run the software platform. With appropriate computational tools transformations of models in the source code are performed. The use of MDD can provide software reuse procedurally, enabling faster development, lower cost, produce a flexible software and enable faster modifications. To apply MDD approach, a Domain Specific Language (DSL) for the configuration management of integrated network management system setting is designed to facilitate the inclusion of a new technology to be managed by the system, while providing faster development and with fewer errors of code. To evaluate the proposal, an experiment was conducted with the participation of software developers that know the system and work in this real company. The results showed that according to the descriptive analyses there was a reduction in the time spent in application development when it was used DSL compared to the specialization of classes. However, hypotheses tests showed no such reduction. The insertion of errors in the code occurred only in applications developed using specialization classes. The use of DSL provided a broader view of the business rule and you do not need knowledge of the programming language, once the code was automatically generated. / Um sistema de gerenciamento integrado de redes tem o objetivo de gerenciar uma rede de telecomunicações, independentemente da tecnologia dos elementos de rede, a fim de identificar as causas de problemas, proporcionando a tomada de decisão mais assertiva para saná-los e deixar a rede disponível e operacional. Dessa forma, o mercado que está cada vez mais exigente com o nível de qualidade dos produtos e serviços de telecomunicações é atendido. Diante dessa necessidade, o sistema de gerenciamento integrado de redes de uma empresa real precisa atender rapidamente às expectativas dos clientes com relação às solicitações de novas funções do sistema, assim como realizar atualizações tecnológicas periodicamente. Porém, o desenvolvimento do sistema de gerenciamento integrado de redes dessa empresa utiliza tecnologias centradas em código-fonte, o que implica em grande esforço e dificulta a sua reutilização. Neste contexto, este projeto de mestrado apresenta uma proposta para facilitar o desenvolvimento do sistema de gerenciamento integrado de redes utilizando as técnicas de MDD (Desenvolvimento Dirigido a Modelos). MDD enfatiza a utilização de modelos no desenvolvimento do software. Esses modelos especificam as regras de negócio de domínio em um alto nível de abstração, ou seja, independentemente da linguagem de programação e da plataforma de execução do software. Com ferramentas computacionais adequadas são realizadas as transformações dos modelos em código-fonte. A utilização de MDD pode proporcionar reúso de software de forma processual, possibilitar um desenvolvimento mais rápido, com menor custo, produzir um software flexível e possibilitar modificações mais rapidamente. Para aplicar a abordagem de MDD, uma linguagem específica de domínio (DSL) para a gerência de configuração do sistema de gerenciamento integrado de redes foi desenvolvida. Tem como objetivo facilitar a inclusão de uma nova tecnologia a ser gerenciada pelo sistema e ao mesmo tempo proporcionar um desenvolvimento mais rápido, com menos erros de código. Para avaliar a proposta foi realizado um experimento com a participação dos atuais desenvolvedores de software de uma empresa real. Os resultados obtidos mostraram que, segundo a análise descritiva, houve redução do tempo gasto no desenvolvimento das aplicações quando foi utilizada a DSL em comparação com o desenvolvimento baseado em especialização das classes. Porém, os testes das hipóteses não apresentaram tal redução. A inserção de erros no código ocorreu somente nas aplicações desenvolvidas utilizando especialização das classes. O uso da DSL proporcionou uma visão mais ampla da regra de negócio e não exigiu conhecimento da linguagem de programação, pois o código foi gerado automaticamente.

Ensuring code quality is crucial in software development. Not seldom, developers resort to static analysis tools to assist them in both understanding pieces of code and identifying defects or refactoring opportunities during development activities. A critical issue when defining such tools is their ability to obtain information about code. Static analysis tools depend, in general, of an intermediate program representation to identify locations that meet the conditions described in their algorithms. This perspective can be enlarged when techniques of crosscutting concerns modularization, such as aspect-oriented programming (AOP) is applied. In AOP applications, a piece of code can be systematically affected, using both static and dynamic combinations. The main goal of this dissertation is the specification and the implementation of AQL, a domain-specific language (DSL) designed to search aspect-oriented code bases. AQL is a declarative language, based on object query language (OQL), which enables the task of querying elements, relationships and program metrics to support the construction of static analysis and code searching tools for aspect oriented programs. The language was designed in two steps. First, we built a framework (AOPJungle), responsible to extract data from aspect-oriented programs. AOPJungle performs the computation of metrics, inferences and connections between the elements of the program. In the second step, we built an AQL compiler as a reference implementation. We adopted a source-to-source transformation for this step, in which an AQL query is transformed into HQL statements before being executed. In order to evaluate the reference implementation, we developed a static analysis tool for identifying refactoring opportunities in aspect-oriented programs. This tool receives a set of AQL queries to identify potential scenarios where refactoring could be applied. / Assegurar a qualidade de código é um ponto crucial durante o desenvolvimento de software. Frequentemente, os desenvolvedores recorrem às ferramentas de análise estática para auxiliá-los tanto na compreensão de código, quanto na identificação de defeitos ou de oportunidades de refatoração durante o ciclo de desenvolvimento de aplicações. Um dos pontos críticos na definição de tais ferramentas está na sua capacidade de obter informações a respeito de código. As ferramentas de análise estática dependem, em geral, de uma representação intermediária de um programa para identificar situações que atendam às condições necessárias descritas em seus algoritmos. Esse panorama se amplia com o uso de técnicas de modularização de interesses transversais, tais como a programação orientada a aspectos (POA), na qual um código pode ser afetado de forma sistêmica, por meio de combinações estáticas e dinâmicas. O principal objetivo desta dissertação é a especificação e implementação de AQL, uma DSL (linguagem específica de domínio) para a realização de busca em código orientado a aspectos. A AQL é uma linguagem declarativa, baseada em linguagem de busca em objetos (OQL) e que permite consultar elementos, relações, derivações e métricas de um programa orientado a aspectos (OA), a fim de apoiar a construção de ferramentas de análise estática e de pesquisa em código. O projeto de implementação da linguagem foi realizado em duas etapas. Primeiro, foi criado um framework (AOPJungle) para a extração de dados de programas OA. O AOPJungle além de extrair dados de programas OA, realiza a computação de métricas, inferências e ligações entre os elementos de um programa. Na segunda etapa, um compilador de referência para AQL foi construído. A abordagem adotada foi a transformação fonte a fonte, sendo uma consulta AQL transformada em uma consulta HQL (Hibernate Query Language) antes de sua execução. A fim de avaliar a implementação proposta, uma ferramenta de análise estática para identificação de oportunidades de refatoração em programas AO foi elaborada, usando a AQL para a busca de dados sobre esses programas.