Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-30T21:30:31Z No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-01T12:38:02Z (GMT) No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Made available in DSpace on 2017-06-01T12:38:02Z (GMT). No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Modelagem de Features é uma abordagem popular que descreve a comunalidade e variabilidade de famílias de softwares em termos de features. Variabilidade em Software Product Lines (SPLs) é geralmente descrita usando features, e instâncias de SPLs também são definidas pela seleção ou configuração de features requeridas. Entretanto, abordagens diversas e complexas de SPLs têm sido obtidas com o uso de features. Diferentes abordagens de modelagem de features também têm sido propostas nos últimos anos, abrindo novas perspectivas em aspectos de variabilidade a serem gerenciados. A técnica de Modelagem de Features Orientada a Objetos (OOFM) foi proposta com o objetivo de cobrir tais aspectos de variabilidade, bem como fornecer uma solução padronizada de produção de SPLs baseadas em features. OOFM se baseia em abordagens OO representativas de features, operações comuns identificadas de manipulação de features, e recursos OO de programação e de herança existentes. Sua formalização é baseada em expressões OCL definidas e Perfil UML modelado. Ferramentas de suporte incrementam a sua usabilidade e compatibilidade com relação a técnicas de modelagem de features existentes. Finalmente, OOFM Framework e OOFM Process desenvolvidos garantem a produção padronizada de SPLs e de sistemas concretos com base na OOFM. Foram realizadas importantes avaliações entre a proposta OOFM e técnicas de modelagem de features existentes. Como resultado, OOFM se apresentou como uma solução integrada de aspectos de variabilidade que permite a análise e o projeto da variabilidade de sistemas diversos em termos de features.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-31T19:45:42Z No. of bitstreams: 1 Versão final - Carol Passos.pdf: 2786576 bytes, checksum: 51176f0a4d3c8a2ac70f4fa2b6818b2c (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-06T14:52:01Z (GMT) No. of bitstreams: 1 Versão final - Carol Passos.pdf: 2786576 bytes, checksum: 51176f0a4d3c8a2ac70f4fa2b6818b2c (MD5) / Made available in DSpace on 2017-06-06T14:52:01Z (GMT). No. of bitstreams: 1 Versão final - Carol Passos.pdf: 2786576 bytes, checksum: 51176f0a4d3c8a2ac70f4fa2b6818b2c (MD5) / Many theories in health care and business administration seek answers to the fundamental question of why people behave the way they do. They aim to understand the beliefs underlying an intention or behavior. These theories are currently used to find out how people progress from intention to practice in business environments. In this dissertation, we focus our attention on understanding belief systems behind software engineering practice. Our work aims to characterize a belief system applying behavioral theories in software project teams in terms of the influence factors, such as beliefs, attitude, organizational culture and values, subjective norms, team confidence and autonomy, that actually impact on software practices in industrial settings. Our research went through two cycles, comprising three years of study in Brazilian software companies. A long-term ethnographic case study was conducted, employing participant observation, interviews, and document analysis. A set of interviews on origins and impacts of beliefs was performed with professionals from different project teams and companies. Conceptual frameworks were built based on behavioral theories models to focus and bound the collection of data and guide the synthesis of the results on the research questions posed. The results showed the strong influence of past experiences and organizational contexts on the software development practices of project teams. Based on the findings of the research, it became clear that beliefs alone do not lead project teams to action and behavior. Factors such as attitude toward behavior have a significant influence on practice. New information about something contribute to shape an opinion or predisposition to act and have the potential to affect the attitude depending on the strength of related beliefs, which leads to behavior intention. Another important issue is how consonant are the beliefs of a project team. Common strong beliefs are reflected into practices that project teams actually adopt. However there are beliefs without attitude that do not result in action, as well as team conflicts that hinder the adoption of new practices. All these findings motivated a search for behavioral theories that could explain and conceptualize human behavior. The study showed that it is possible to characterize belief systems in software project contexts within a behavioral perspective. We were able to provide rich narrative accounts for software engineering research and our approach has led to practical and useful recommendations for companies. The main contribution of this dissertation is to deepen relevant knowledge and experience on the characterization of beliefs in organizational contexts and how they and other influence factors actually impact practices, processes and decisions in software industry projects.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-31T19:53:55Z No. of bitstreams: 1 Ph.D. Thesis - Ivan Machado - Full Version-1.pdf: 3242625 bytes, checksum: 76299cf9d79afd85a7c46155029ae95e (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-06T15:19:55Z (GMT) No. of bitstreams: 1 Ph.D. Thesis - Ivan Machado - Full Version-1.pdf: 3242625 bytes, checksum: 76299cf9d79afd85a7c46155029ae95e (MD5) / Made available in DSpace on 2017-06-06T15:19:55Z (GMT). No. of bitstreams: 1 Ph.D. Thesis - Ivan Machado - Full Version-1.pdf: 3242625 bytes, checksum: 76299cf9d79afd85a7c46155029ae95e (MD5) / Software Product Line (SPL) engineering has emerged as an important strategy to cope with the increasing demand of large-scale product customization. Owing to its variability management capabilities, SPL has provided companies with an efficient and effective means of delivering a set of products with higher quality at a lower cost, when compared to traditional software engineering strategies. However, such a benefit does not come for free. SPL demands cost-effective quality assurance techniques that attempt to minimize the overall effort, while improving, or at least not hurting, fault detection rates. Software testing, the most widely used approach for improving software quality in practice, has been largely explored to address this particular topic. State of the art SPL testing techniques are mainly focused on handling variability testing from a high level perspective, namely through the analysis of feature models, rather than concerning issues from a source code perspective. However, we believe that improvements in the quality of variable assets entail addressing testing issues both from high and low-level perspectives. By carrying out a series of empirical studies, gathering evidence from both the literature and the analysis of defects reported in three open source software systems, we identified and analyzed commonly reported defects from Java-based variability implementation mechanisms. Based on such evidence, we designed a method for building fault models for variability testing, from two main perspectives: test assessment, which focuses on the evaluation of the effectiveness of existing test suites; and test design, which aims to aid the construction of test sets, by focusing on fault-prone elements. The task of modeling typical or important faults provides a means to coming up with certain test inpus that can expose faults in the program unit. Hence, we hypothesize that understanding the nature of typical or important faults prior to developing the test sets would enhance their capability to find a particular set of errors. We performed a controlled experiment to assess the test effectiveness of using fault models to provide SPL testing with support to design test inputs. We observed promising results that confirm the hypothesis that combining fault models in an SPL testing process performs significantly better on improving the quality of test inputs. / A Engenharia de Linhas de Produtos de Software (LPS) surgiu como uma importante estratégia para lidar com a crescente demanda de customização de produtos de software em larga escala. Por sua capacidade de gerenciar variabilidade de forma sistemática, o paradigma de LPS tem proporcionado às empresas métodos eficientes e eficazes para alcançar a entrega de produtos de software com maior qualidade, a um custo de produção reduzido, quando comparado a estratégias tradicionais de desenvolvimento de software. No entanto, a obtenção de tais benefícios não é trivial. O paradigma impõe a necessidade de técnicas de garantia de qualidade eficazes, com bom custo-benefício, que tentem minimizar o esforço global, ao tempo em que se alcance melhorias nas taxas de detecção de falhas. Assim, a disciplina de testes de software, abordagem comumente utilizada na busca por melhoria na qualidade dos produtos de software, tem sido largamente explorada no contexto de LPS. As mais relevantes técnicas de testes em LPS estão focadas principalmente no gerenciamento de testes de variabilidade sob uma perspectiva de alto nível, notadamente através da análise de modelos, em sobreposição aos aspectos de mais baixo nível, isto é, sob o ponto de vista do código fonte. Entretanto, acreditamos que melhorias na qualidade dos artefatos de software variáveis implica na investigação de aspectos da disciplina de testes, em ambas as perspectivas, quer seja alto nível quer seja baixo nível. Através da realização de uma série de estudos empíricos, evidências foram obtidas a partir da análise de textos publicados na literatura, e a partir da análise de defeitos reportados em três sistemas de software de código aberto. Neste último caso, identificamos e analisamos defeitos provenientes do uso de mecanismos de implementação de variabilidade em Java. Com base nas evidências, construímos uma abordagem para construir modelos de falhas que auxiliem o teste de variabilidade, sob duas perspectivas principais: avaliação de teste, que incide sobre a avaliação da eficácia dos casos de testes existentes; e o projeto de teste, que visa auxiliar a construção de casos de teste, concentrando-se em elementos propensos a falhas. A tarefa de modelagem de falhas típicas ou importantes fornece um meio para identificar certas entradas de teste que podem expor falhas na execução do programa. Desta forma, a nossa hipótese é que a compreensão da natureza das falhas típicas, ou importantes, como tarefa anterior ao desenvolvimento dos casos de teste, tende a aumentar a capacidade dos testes em encontrar um determinado conjunto de defeitos, quando executados. Para avaliar a eficácia da abordagem proposta nesta tese, planejamos e executamos um experimento controlado. Os resultados mostraram-se promissores, provendo indícios de que a ideia de se combinar modelos de falha em um processo de teste de LPS pode trazer ganhos significativos a atividade de teste, bem como melhorar a qualidade dos dados de entrada de testes.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-31T20:03:15Z No. of bitstreams: 1 tese antonio carlos dos santos souza.pdf: 22453471 bytes, checksum: e806e7751434e3bf6d6422c825465f35 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-06T15:24:55Z (GMT) No. of bitstreams: 1 tese antonio carlos dos santos souza.pdf: 22453471 bytes, checksum: e806e7751434e3bf6d6422c825465f35 (MD5) / Made available in DSpace on 2017-06-06T15:24:55Z (GMT). No. of bitstreams: 1 tese antonio carlos dos santos souza.pdf: 22453471 bytes, checksum: e806e7751434e3bf6d6422c825465f35 (MD5) / Alinhamento não-rígido tridimensional é fundamental em problemas de rastreamento e reconstrução de modelos tridimensionais deformáveis. Contudo, a maioria dos algoritmos de alinhamento não-rígido não se adequam aos requisitos de aplicações com renderização em tempo real. Aplicações como Realidade Aumentada sem marcadores necessitam de métodos rápidos para rastrear objetos não rígidos, que são tratados como marcadores naturais. Este trabalho explora essa lacuna e propõe uma abordagem para alinhamento não rígido 3D nesse tipo de cenário. Tal proposta é baseada na aplicação de algoritmos adaptativos, multi-frame e implementados em arquiteturas paralelas de uma GPU. Essa nova abordagem foi testada em um ambiente de RA sem marcadores com resultados superiores aos obtidos na literatura, tanto do ponto de vista de precisão quanto de desempenho.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-06-01T20:31:21Z No. of bitstreams: 1 PDF - Tese.pdf: 3701924 bytes, checksum: 3dc861b1466bb1ab4f6727b3e26ad2f6 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-07T11:34:57Z (GMT) No. of bitstreams: 1 PDF - Tese.pdf: 3701924 bytes, checksum: 3dc861b1466bb1ab4f6727b3e26ad2f6 (MD5) / Made available in DSpace on 2017-06-07T11:34:57Z (GMT). No. of bitstreams: 1 PDF - Tese.pdf: 3701924 bytes, checksum: 3dc861b1466bb1ab4f6727b3e26ad2f6 (MD5) / Coesão tem sido reconhecida como um importante atributo de qualidade em design de software ao longo de décadas. Coesão é definida como o grau em que um módulo está focado em um único interesse do software. Entretanto, medir coesão não é trivial, pois é difícil capturar os interesses realizados por módulos de software. Métricas de coesão bem conhecidas dependem da estrutura do código fonte, pois elas avaliam como métodos dentro de um módulo acessam atributos em comum. No entanto, coesão nem sempre é bem representada pela estrutura internade módulos. Há situações em que métricas de coesão estrutural falham em representar a coesão de módulos de software. Sabendo desta limitação, pesquisadores têm proposto métricas de coesão conceitual, que consistem em formas alternativas de medição de coesão baseadas em quais interesses cada módulo realiza. Entretanto, falta evidência empírica para compreender como métricas de coesão conceitual se encaixam entre diversas métricas de coesão estrutural que têm sido propostas e bem estabelecidas nas últimas décadas e incorporadas em ferramentas de medição de software em escala industrial. Neste contexto, realizamos uma série de estudos empíricos a fim de explicar coesão conceitual como uma diferente forma de medir coesão quando comparada com coesão estrutural convencional. De modo geral, nossa pesquisa envolveu oitenta desenvolvedores de software de nove países, assim como seis sistemas de médio a grande porte, com código aberto e amplamente utilizados na indústria por diversos anos, incluindo um conjunto de aproximadamente trinta mil revisões no código fonte. Como resultado, nós pudemos explicar que coesão conceitual é ortogonal a coesão estrutural, por representar uma dimensão adicional na medição de coesão. Nós encontramos também que tal dimensão adicional é mais próxima de como desenvolvedores raciocinam sobre coesão de módulos e que coesão conceitual é um potencial indicador de propensão a mudança. Mais ainda, através de um estudo adicional, nós demonstramos e explicamos que a seleção de uma estratégia de mapeamento de interesses não deve ser negligenciada, pois isso impacta significativamente nos resultados de medição de coesão conceitual. Entre as estratégias estudadas, o mapeamento manual leva a melhores resultados. Entretanto, como isso requer muito esforço, uma das estratégias de mapeamento automático investigadas pode também ser considerada quando a estratégia manual não é viável. Nós disponibilizamos na web todos os nossos dados e materiais de estudo, incluindo um novo mapeamento manual de interesses sobre um sistema real, e três extensões de ferramenta para computar uma métrica de coesão conceitual. Esses materiais podem ser utilizados ou estendidos por pesquisadores em estudos futuros. Em resumo, nossos resultados podem ser diretamente usados por engenheiros de software quando estiverem planejando ou executando medição de coesão em suas tarefas e quando estiverem construindo ferramentas de medição para ambientes de desenvolvimento. De forma geral, isto justifica esforço adicional para continuar melhorando as tecnologias e o corpo de conhecimento sobre medição de coesão.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-06-01T20:36:17Z No. of bitstreams: 1 2015_Thesis_Final_v01.pdf: 25381943 bytes, checksum: cf9b5a7ab05c5f433c6abe06c7c8815e (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-07T11:38:56Z (GMT) No. of bitstreams: 1 2015_Thesis_Final_v01.pdf: 25381943 bytes, checksum: cf9b5a7ab05c5f433c6abe06c7c8815e (MD5) / Made available in DSpace on 2017-06-07T11:38:56Z (GMT). No. of bitstreams: 1 2015_Thesis_Final_v01.pdf: 25381943 bytes, checksum: cf9b5a7ab05c5f433c6abe06c7c8815e (MD5) / Software Product Line (SPL) has emerged as an important strategy to cope with the increasing demand of large-scale products customization. SPL has provided companies with an efficient and effective means of delivering products with higher quality at a lower cost, when compared to traditional software engineering strategies. However, such benefits do not come for free. There is a necessity in SPL to deal with the evolution of its assets to support changes within the environment and user needs. These changes in SPL are firstly represented by requirements. Thus, SPL should manage the commonality and variability of products by means of a “Requirements Engineering (RE) - change management” process. Hence, besides dealing with the reuse and evolution of requirements in an SPL, the RE for SPL also needs an approach to represent explicitly the commonality and variability information (e.g., through feature models and use cases). To understand the evolution in SPL, this Thesis presents two empirical studies within industrial SPL projects and a systematic mapping study on SPL evolution. The two empirical studies evaluated Lehman’s laws of software evolution in two industrial SPL projects,demonstrating that most of the laws are supported by SPL environments. The systematic mapping study on SPL evolution identified approaches in the area and revealed gaps for researching, such as, that most of the proposed approaches perform the evolution of SPL requirements in an ad-hoc way and were evaluated through feasibility studies. These results led to systematize, through guidelines, the SPL processes by starting with the SPL requirements. Thus, it was proposed an approach to specify SPL requirements called Feature-Driven Requirements Engineering (FeDRE). FeDRE specifies SPL requirements in a systematic way driven by a feature model. To deal with the evolution of FeDRE requirements, a new approach called Feature-Driven Requirements Engineering Evolution (FeDRE2) was presented. FeDRE2 is responsible for guiding, in a systematic way, the SPL evolution based on activities from RE. Both proposed approaches, FeDRE and and FeDRE2, were evaluated and the results, besides being preliminaries, shown that the approaches were perceived as easy to use and also useful, coping with the improvement and systematization of SPL processes.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-06-01T20:42:22Z No. of bitstreams: 1 Tese de Josildo.pdf: 4648596 bytes, checksum: 3ed7ce11dd70e411aa2271e15aeca67c (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-07T11:45:27Z (GMT) No. of bitstreams: 1 Tese de Josildo.pdf: 4648596 bytes, checksum: 3ed7ce11dd70e411aa2271e15aeca67c (MD5) / Made available in DSpace on 2017-06-07T11:45:27Z (GMT). No. of bitstreams: 1 Tese de Josildo.pdf: 4648596 bytes, checksum: 3ed7ce11dd70e411aa2271e15aeca67c (MD5) / Nowadays, the behavior simulation of deformable objects plays important roles in several fields such as computer graphics, computer aided design, computer aided surgery And robotics. The two main categories of deformable models are: based on continuum mechanics, like Finite Element Model (FEM) or Isogeometric Analysis (IGA); and using discrete representations, as a Mass - Spring Model (MSM). FEM methods are known for their high computational cost and precision, while MSM methods, although simple and affordable for real-time applications, are di cult to parameterize. There is no general physically based or systematic method in the literature to determine the mesh topology or MSM parameters from a known material. Therefore, in this thesis, we proposea methodology to parametrize the MSM based on continuous models with focus on the simulation of deformable objects in real-time for application in virtual environments. We developed two data-driven approaches to the parametrization of the MSM by using FEM and IGA models as reference of derivation with higher order elements. Based on experimental results, the precision achieved by these new methodologies is higher than other approaches in literature. In particular, our proposal achieves excellent results in the parametrization of the MSM with higher order elements which does not occur with other methodologies / Atualmente, a simula¸c˜ao de objetos deform´aveis desempenha papel importante em v´arios campos ligados `a Ciˆencia da Computa¸c˜ao, como a computa¸c˜ao gr´afica, projeto assistido por computador, cirurgias assistidas por computador e rob´otica. Nesse contexto, a simula¸c˜ao de objetos deform´aveis com acur´acia e em tempo-real ´e uma tarefa extremamente dificil para as aplica¸c˜oes que requerem simula¸c˜oes mecˆanicas interativas como s˜ao os casos dos ambientes virtuais, simuladores cir´urgicos e jogos. Podemos dividir as abordagens que d˜ao suporte ao tratamento de modelos deform´aveis em dois grandes grupos: baseados em mecˆanica do cont´ınuo, como M´etodo de Elementos Finitos (FEM - Finite Element Method) ou An´alise Isogeom´etrica (IGA - Isogeometric Analysis); e usando representa¸c˜oes discretas, como modelo massa-mola (MSM - Mass Spring Model). M´etodos baseados na abordagem cont´ınua s˜ao conhecidos por seu alto custo computacional e acur´acia, enquanto que os m´etodos discretos, embora simples e adequados para simula¸c˜oes mecˆanicas interativas, s˜ao dif´ıceis de parametrizar. A falta de um m´etodo geral baseado em f´ısica ou sistem´atico para determinar a topologia de malha ou os parˆametros do MSM a partir de um material conhecido foi a principal motiva¸c˜ao desse trabalho, no sentido de gerar um modelo de baixo custo computacional, como o MSM, a partir de um modelo de alta precis˜ao como o FEM. Portanto, partindo da premissa de simplicidade e adequa¸c˜ao do MSM para simula¸c˜oes mecˆanicas interativas, nesta tese propomos uma metodologia para parametrizar o MSM baseada em modelos cont´ınuos. Desenvolvemos duas abordagens orientadas `a dados (data-driven) para a parametriza¸c˜ao do MSM usando modelos FEM e IGA, este ´ultimo como referˆencia de deriva¸c˜ao com elementos de ordem superior. Com base nos resultados experimentais, a precis˜ao alcan¸cada por estas novas metodologias ´e mais elevada do que a de outros trabalhos similiares na literatura. Em particular, a nossa proposta alcan¸ca excelentes resultados na parametriza¸c˜ao do MSM com elementos de ordem superior

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-06-06T18:52:48Z No. of bitstreams: 1 MDTD_Tese (definitiva) (1).pdf: 5477574 bytes, checksum: 211d229b1e0046d4fde4f5fa83c48c62 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-16T15:36:37Z (GMT) No. of bitstreams: 1 MDTD_Tese (definitiva) (1).pdf: 5477574 bytes, checksum: 211d229b1e0046d4fde4f5fa83c48c62 (MD5) / Made available in DSpace on 2017-06-16T15:36:37Z (GMT). No. of bitstreams: 1 MDTD_Tese (definitiva) (1).pdf: 5477574 bytes, checksum: 211d229b1e0046d4fde4f5fa83c48c62 (MD5) / No contexto do Desenvolvimento Dirigido a Modelos (DDM), transformações de modelos são softwares que recebem modelos de entrada e geram modelos de saída de acordo com um conjunto de regras de transformações que especificam como modelos escritos em linguagens fonte são transformados em modelos escritos em linguagens alvo. A especificação de uma transformação é feita entre metamodelos das linguagens de modelagem fonte e alvo, que definem domínios de aplicação, tal que qualquer transformação entre modelos que são instâncias dos metamodelos envolvidos seja gerada. Mostramos com esse trabalho que o desenvolvimento de transformações de modelos pode ser facilitado através do desenvolvimento dirigido a modelos e, consequentemente, acreditamos que este é um passo importante para uma possível expansão do uso da DDM na indústria de software. / Um processo DDM pode ser utilizado neste contexto trazendo as vantagens desta abordagem ao desenvolvimento de transforma¸c˜oes de modelos. Neste sentido, uma transforma¸c˜ao pode tamb´em ser gerada atrav´es de transforma¸c˜oes de modelos e uma linguagem espec´ıfica deste dom´ınio ´e requerida. Muitos dos trabalhos encontrados na literatura seguem nesta dire¸c˜ao bem como a nossa proposta. Considerando estes aspectos esta tese prop˜oe um framework chamado MDTD (Model Driven Transformation Development), na abordagem dirigida a modelos, com um perfil UML para modelagem de transforma¸c˜oes e um processo de desenvolvimento de transforma¸c˜oes que considera todo o seu ciclo de vida. O framework MDTD sistematiza a constru¸c˜ao de transforma¸c˜oes atrav´es de um processo iterativo e incremental que conduz o desenvolvimento da transforma¸c˜ao desde a especifica¸c˜ao dos requisitos at´e `a codifica¸c˜ao da transforma¸c˜ao, em que modelos de transforma¸c˜ao de modelos s˜ao constru´ıdos em alto n´ıvel de abstra¸c˜ao e transformados de forma (semi) autom´atica em modelos menos abstratos at´e a gera¸c˜ao do c´odigo da transforma¸c˜ao. Com este framework, foi poss´ıvel (semi) automatizar o processo por uma cadeia de transforma¸c˜oes que gera modelos de transforma¸c˜oes nos diversos n´ıveis de abstra¸c˜ao at´e o c´odigo nas linguagens ATL e QVT, que s˜ao espec´ıficas para programa¸c˜ao de transforma¸c˜oes, al´em de poder ser executado em ambiente Eclipse sem demandar o uso de ferramentas propriet´arias. O framework foi avaliado atrav´es de estudo de caso e experimento controlado e os resultados evidenciaram que pessoas com diferentes n´ıveis de conhecimento em DDM e sem experiˆencia em linguagens de transforma¸c˜ao desenvolveram transforma¸c˜oes atrav´es do framework MDTD e tiveram o código executavel gerado, evidenciando assim a eficácia da proposta.

In regions with hot and humid tropical climate, as Maceió-AL, the use of daylight, natural ventilation and shading should be thought from the initial stages of the project. To enhance shading, architectural elements as brises-soleil, perforated blocks and balconies are essential to buildings. In the case of balconies, today we see the use of random on environmental issues. As a consequence, and solution for the discomfort caused by the absence of appropriate elements of weather, the use of artificial means to ensure the thermal and visual comfort is intensified contributing to wasted energy. Given this context, this study aims evaluat the use of balconies in vertical multifamily residential apartments buildings located in Ponta Verde, Maceió-AL, as shading and daylighting. To achieve this, the methodology was a comparative analysis of recurring types of balconies on the shading and daylight devices, through the techniques of data collection, generation of shadow masks and simulations in the program Sketchup and Tropilux. The analysis of results provided an understanding of the behavior of shading and daylighting in the typologies examined and also the comparison between the simulation results of heatstroke and the results of simulation of daylighting. Since opting for a better strategy of shading, using the balconies, it is not always achieved a good result in the performance of daylight indoors. Finally, the use of balconies in residential buildings of Maceió, that can be worked to achieve better results in environmental comfort and to enrich the formal aspect of the buildings, should be considered at an early stage of the architectural design / Fundação de Amparo a Pesquisa do Estado de Alagoas / Nas regiões de clima tropical quente e úmido, como é o caso de Maceió-AL, o aproveitamento das fontes de iluminação e ventilação naturais e o uso do sombreamento devem ser pensados desde as etapas iniciais do projeto. Para favorecer o sombreamento, elementos como brises, cobogós e varandas são indispensáveis às edificações. No caso das varandas, atualmente, percebe-se a sua utilização de forma aleatória quanto às questões ambientais. Como consequência disso e para sanar o desconforto gerado pela ausência de elementos adequados ao clima, intensifica-se o uso de meios artificiais para garantir o conforto nos ambientes, contribuindo para o desperdício de energia. Diante desse contexto, esse trabalho tem como objetivo geral avaliar o uso de varandas em apartamentos de edifícios residenciais verticais multifamiliares localizados no bairro de Ponta Verde, em Maceió-AL, quanto ao sombreamento e à iluminação natural. Para alcançá-lo, a metodologia utilizada consistiu de uma análise comparativa entre tipologias recorrentes de varandas, quanto ao sombreamento e a iluminação natural, através das técnicas de levantamento de dados, geração de máscaras de sombra e simulações nos programas computacionais Sketchup e Troplux. As análises dos resultados possibilitaram a compreensão do comportamento do sombreamento e da iluminação natural nas tipologias examinadas e ainda a análise comparativa entre os resultados das simulações de insolação e da iluminação natural. Constatou-se que, uma vez optando por uma melhor estratégia de sombreamento, utilizando as varandas, nem sempre será obtido um bom resultado no desempenho luminoso dos ambientes internos. Enfim, o uso de varanda nos edifícios residenciais de Maceió pode ser trabalhado para alcançar melhores resultados no conforto ambiental e para enriquecer o aspecto formal dos edifícios, devendo ser pensado desde a fase inicial do projeto arquitetônico

RAMOS, André Castro Ramos. Complexidade e algoritmos de jogos de blocos. 2014. 52 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2014. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-08T18:23:46Z No. of bitstreams: 1 2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-13T12:37:09Z (GMT) No. of bitstreams: 1 2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5) / Made available in DSpace on 2016-07-13T12:37:09Z (GMT). No. of bitstreams: 1 2014_dis_acramos.pdf: 3052850 bytes, checksum: 1e69aab4f7c65fe5b1dee291b5fa129d (MD5) Previous issue date: 2014 / The electronic game concept refers to reserved entertainment to spare time , but in addition to a billion dollar industry , is also potential source of several research topics , both directed to their respective areas of interest as own gaming industry . In this context, in recent decades, work has been done to deal with this type of product based on for problems to be addressed by the theory of algorithms. In this work we bring complexity results and algorithms related to three games with common characteristics , Bloxorz , On The Edge and Bobbin 3D. / A noção de jogo eletrônico remete a entretenimento reservado às horas vagas, mas, além de uma indústria bilionária, também é origem potencial de diversos temas de pesquisa, tanto voltados a suas respectivas áreas quanto de interesse da própria indústria de jogos. Nesse contexto, nas últimas décadas, foram produzidos trabalhos que lidam com esse tipo de produto como base para problemas a serem tratados pela teoria dos algoritmos. Neste trabalho trazemos resultados de complexidade e algoritmos relacionados a 3 jogos com características em comum, Bloxorz, On The Edge e Bobbin 3D.