Made available in DSpace on 2013-08-07T18:42:46Z (GMT). No. of bitstreams: 1 000443988-Texto+Completo-0.pdf: 4745768 bytes, checksum: da233013c06e6986dbe703c719df36aa (MD5) Previous issue date: 2012 / Searching for competitive advantages as low cost and productivity gains, organizations choose to distribute their software development process to other countries with more affordable production costs. Increasingly, projects are being developed in geographically distributed environments, featuring the distributed software development. However, the challenges inherent in this software development environment are significant. Among these challenges is the time zone difference, which can also be tackled as an advantage, through the use of the Follow-the-Sun development. However, the Follow-the-Sun strategy presents some challenges, mainly alongside the hand-offs. Therefore, this research focuses to present a development process to alleviate the challenges found in project that uses the Follow-the-Sun strategy, focusing in the development phase from the software development life cycle. Yet, it performs an experiment to evaluate the created process’ efficiency. The findings from the experimental process shows evidences the created process actually alleviate the challenges found in the Follow-the-Sun strategy. / Em busca de vantagens competitivas, tais como redução de custo e ganho de produtividade, cada vez mais as organizações optam por distribuir seus processos de desenvolvimento de software em países com custo de produção mais acessível. Os projetos estão também cada vez mais sendo desenvolvidos em ambientes geograficamente distribuídos, caracterizando o desenvolvimento distribuído de software. Entretanto, os desafios inerentes a este ambiente de desenvolvimento de software são significativos. Dentre estas adversidades está a diferença de fuso horário, a qual pode ser também encarada como uma vantagem, através da aplicação da estratégia Follow-the-Sun. Entretanto, a estratégia Follow-the-Sun apresenta alguns desafios, principalmente durante a transferência de trabalho de um centro de desenvolvimento para outro. Portanto, o foco desta pesquisa é apresentar um processo para amenizar estas dificuldades inerentes aos projetos que utilizam a estratégia Follow-the-Sun, focando na fase de desenvolvimento do ciclo de vida de software. Foi também realizado um experimento para avaliar a eficiência do processo proposto. Os resultados encontrados mostram indícios que o processo criado realmente ameniza as dificuldades encontradas na aplicação da estratégia Follow-the-Sun.

Made available in DSpace on 2013-08-07T18:42:48Z (GMT). No. of bitstreams: 1 000422501-Texto+Completo-0.pdf: 4374080 bytes, checksum: f654389731029dc20aa2d61a4b079c1d (MD5) Previous issue date: 2009 / Currently the main problem of Online Help Systems is that they tend to be directed to the specific needs and problems of their users. In the case of educational software, in particular, which deals with things related to teaching and learning, and its users include both students and teachers, with different goals and needs in relation to the same software, this problem is even greater. In this sense, the present dissertation, by researching about Online Help Systems in general, analyzing existing Online Help Systems for educational software, and by interviewing and testing its potential users, provides a way to structure and present the information contained in these systems, focusing ob what should be presented, in accordance with the features of this kind of software and its different profiles of users. / Atualmente, o principal problema de sistemas de ajuda on-line é que eles costumam ser pouco direcionados às necessidades e aos problemas específicos do usuário. No caso de software educacional, em particular, que trabalha questões relacionadas ao ensino e à aprendizagem, e seus usuários incluem tanto alunos quanto professores, tendo objetivos e necessidades diferentes em relação ao mesmo software, este problema é ainda maior. Neste sentido, o presente trabalho, a partir de pesquisas sobre sistemas de ajuda on-line em geral, da análise de sistemas de ajuda existentes para software educacionais e de entrevistas e testes com seus potenciais usuários, apresenta uma forma de estruturar e apresentar as informações contidas nestes sistemas, focalizando o que deve ser apresentado, de acordo com as especificidades deste tipo de software e de seus diferentes tipos de usuários.

Made available in DSpace on 2013-08-07T18:42:49Z (GMT). No. of bitstreams: 1 000444044-Texto+Completo-0.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2012 / The development of distributed systems and communication protocols is not a trivial task and the use of formal specification and verification techniques becomes necessary to assure the correctness of such systems. While model-checking techniques face the state space explosion problem, the use of theorem provers is an important resource for verification of systems with unlimited number of states. The formal method Event-B, increasingly being used in both industry and academia, is based on the technique of theorem proving and also supports refinement. The contribution of this work is a library of reusable formal specification patterns, in Event-B, for message passing mechanisms commonly employed in distributed systems. A specification pattern defines the desired communication semantics of a channel, having its properties formally proven. During the development of a distributed system, the developer may use these patterns by applying guided refinement steps on the target model. The resulting system is assured to have the communication semantics as defined by the pattern, thus freeing the developer of defining the communication system from scratch and of proving its properties. / O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de estados, o uso de provadores de teoremas representa um importante recurso para verificação de sistemas com ilimitado número estados. O método formal Event-B, de uso crescente na indústria e academia, se apóia na técnica de prova de teoremas e suporta refinamento. A contribuição deste trabalho está em proporcionar uma biblioteca reusável de padrões de especificação, em Event-B, de mecanismos de troca de mensagens em sistemas distribuídos. Um padrão de especificação define a semântica de comunicação desejada em um canal, demostrando formalmente suas propriedades. Durante o desenvolvimento de um sistema distribuído, o desenvolvedor pode fazer uso destes padrões através de passos guiados de refinamento do sistema. O sistema resultante garante a semantica de comunicação definida no padrão utilizado e livra o desenvolvedor de se preocupar em definir o sistema de comunicação a partir do início e provar suas propriedades.

Made available in DSpace on 2013-08-07T18:42:49Z (GMT). No. of bitstreams: 1 000449498-Texto+Completo-0.pdf: 2090953 bytes, checksum: faabf1b54630dc71c67827db181e9111 (MD5) Previous issue date: 2013 / Technological advances verified in recent years have enabled organizations to simulate collocation in the context of distributed software development. The aim of simulating collocation is to give the perception that they are in the same workplace, communicating, collaborating and coordinating in a way similar to what they do with local teams. The adoption of tools, methods and technologies in this context helps to minimize the challenges verified by geographical, temporal and cultural differences between the distributed teams, such as for sample, people and project coordination, collaboration, communication among project members, risk management and knowledge management. This way, the purpose of this dissertation is to understand how real time simulated collocation is being used by distributed software development teams, including advantages, disadvantages and challenges. A reference model for real-time simulated collocation is proposed, specifically for those distributed teams that have overlapping of working hours. The research method used is case study and the empirical base involves software development projects that use real-time simulation collocation. / Os avanços tecnológicos verificados nos últimos anos permitiram às organizações que realizam o desenvolvimento de software de forma distribuída desenvolver maneiras de emular a proximidade física em tempo real entre os times dispersos geograficamente. O objetivo é oferecer a percepção de que estes se encontram em um mesmo ambiente de trabalho, se comunicando, colaborando e sendo coordenados de uma forma semelhante à realizada com equipes locais. A adoção de ferramentas, métodos e tecnologias com este propósito visa minimizar os desafios impostos pelas diferenças geográficas, temporais e culturais entre os times, como por exemplo, a coordenação de pessoas e projetos, colaboração para a realização de um trabalho em equipe, comunicação entre os envolvidos, gerência de riscos e a gestão do conhecimento, entre outros. Neste sentido, esta dissertação de mestrado tem como objetivo compreender de que forma a emulação de proximidade física está sendo utilizada por equipes distribuídas de desenvolvimento de software, incluindo vantagens, desvantagens e desafios. A partir desta avaliação é proposto um modelo de referência para a emulação de proximidade física entre equipes distribuídas que possuem sobreposição (overlap) de horários de trabalho. O principal método de pesquisa utilizado foi o estudo de caso e a base empírica da pesquisa envolveu projetos de desenvolvimento de software que fazem uso da emulação de proximidade física.

Made available in DSpace on 2013-08-07T18:42:51Z (GMT). No. of bitstreams: 1 000411702-Texto+Completo-0.pdf: 1801479 bytes, checksum: 77884f26b3b3891c3df19805dedffc5e (MD5) Previous issue date: 2008 / The main cost functions in VLSI design during the 90’s were silicon area, performance, cost and reliability. Power dissipation and energy consumption were a secondary concern. For example, some Intel processors could dissipate more than 120 watts. Mobile computing changes this scenario, making energy consumption and battery life a primary concern. A first move to reduce power is to integrate most of the system functions together in a single integrated circuit, leading to the SoC concept. Due to number of functions integrated in modern SoCs, networks on chip (NoCs) are becoming the preferred communication infrastructure due to their scalability and communication parallelism. Current power estimation models for NoCs capitalize mostly in the volume of information transmitted through the network. This work proposes a more precise NoC power estimation model, based in the buffer reception rates, according to the traffic scenario applied to the network. Results show the accuracy of the model compared to industrial power estimation tools, with an error inferior to 10%, with reduced execution time. Compared to a volume based estimation method, it was possible to demonstrate the weakness of such methods, even if they are faster to generate results. The proposed model is integrated into the ATLAS framework, providing designers a path to evaluate power and energy of automatically generated NoCs. Additionally, this work evaluates the dissipation of each Hermes internal component, with and without power reduction techniques. / No passado, as maiores preocupações de um projetista VLSI compreendiam área de silício, desempenho, custo e confiabilidade. A dissipação de potência e a energia consumida pelo circuito ocupavam uma posição secundária no projeto do mesmo. A computação móvel mudou este cenário, trazendo a dissipação de potência e o consumo de energia de um circuito como preocupações primárias, visando principalmente aumentar a vida útil das baterias do dispositivo. A primeira medida para reduzir a potência do circuito é agregar diversas funções, que antes estariam em circuitos independentes, em um mesmo circuito, criando o conceito de SoC. Devido ao número de funções integradas nos SoCs modernos, as redes intra-chip (NoCs) estão sendo mais utilizadas devido a sua escalabilidade e paralelismo de comunicação. Os modelos atuais de estimativa da dissipação de potência nas NoCs utilizam como principal métrica o volume de dados transmitidos na rede. Este trabalho propõe um modelo para estimativa da dissipação de potência em uma rede intra-chip mais preciso, baseado nas taxas de recepção nos buffers de cada roteador da rede durante a transmissão do tráfego avaliado. Resultados mostram um erro de no máximo 10% em comparação com uma ferramenta comercial de estimativa de dissipação de potência, reduzindo o tempo de estimativa. Comparando o modelo proposto com modelos baseados em volume de dados, podemos verificar a imprecisão dos modelos de volume, mesmo que estes apresentem tempo de resposta melhores. O modelo proposto foi integrado ao framework ATLAS, permitindo que os projetistas avaliem a potência dissipada para as NoCs e tráfegos gerados neste framework. Além disto, este trabalho apresenta a avaliação da dissipação de potência da NoC Hermes, avaliando a aplicação de técnicas de redução de potência em circuitos CMOS sobre a rede.

Made available in DSpace on 2013-08-07T18:43:08Z (GMT). No. of bitstreams: 1 000430843-Texto+Completo-0.pdf: 4770738 bytes, checksum: 682accdc5b4469e1fb8302d414dcf645 (MD5) Previous issue date: 2009 / Requirements Engineering (RE) is a software development stage that requires constant communication and collaboration between the stakeholders. Due this collaborative nature, the RE presents several challenges in Distributed Software Development(DSD) environments [DAM02][DAM07][SEN06] - approach where teams often presents geographic dispersion (physical distance), temporal and sociocultural differences (different time-zones, languages and culture) [AUD07]. We can notice the increasing of studies about this phenomenon, aiming to reduce the RE difficulties in DSD environments. One proposal to systematize the RE is the adoption of a reuse approach [CHE07], specifically the Software Product Line (SPL) which supports the requirements reuse of the company's domain [CHA01][LlN07][POH98]. Thus, we present the mRED method that allows the requirements reuse by using SPL in DSD environments, and also we propose a Reuse Policy (based on a DSD literature review) which suggests some tools, techniques and practices specific to distributed environments for each one of the activities of the method. The mRED was evaluated through an experiment between two universities, presenting evidence that its efficiency is higher than the ad hoc RE efficiency in distributed environments. / A Engenharia de Requisitos (ER) é uma etapa do desenvolvimento de software que requer constante comunicação e colaboração entre os stakeholders1. Esta natureza colaborativa faz com que a ER apresente diversos desafios no Desenvolvimento Distribuído de Software (DDS) [DAM02][DAM07][SEN06] – fenômeno onde freqüentemente têm-se um cenário de equipes que possuem dispersão geográfica (distância física), dispersão temporal (diferenças de fuso-horário) e diferenças socioculturais (idioma, costumes, comportamento, etc. ) [AUD07]. Na busca de reduzir as dificuldades da ER dos ambientes distribuídos, diversas propostas surgiram. Uma maneira de sistematizá-la é através da adoção de uma proposta de reutilização [CHE07], mais especificamente da abordagem de Linha de Produto de Software (LPS), a qual enfatiza o reuso de requisitos do domínio da empresa na construção de novos produtos [CHA01][LIN07][POH98].Desta maneira, apresentamos o método mRED2 que possibilita a reutilização de requisitos utilizando LPS em ambientes de DDS, além disto, propomos uma Política de Reutilização que contém sugestões de ferramentas, técnicas e práticas propostas na literatura de DDS, para auxiliar a execução de cada uma das atividades do método. O mRED foi avaliado através de um experimento realizado em parceria entre a Universidade Estadual de Maringá (UEM) e a Pontifícia Universidade Católica do Rio Grande do Sul universidades (PUCRS) e apresentou indícios de que a sua eficiência é maior do que a eficiência do método ad hoc de ER nos ambientes distribuídos.

Made available in DSpace on 2013-08-07T18:43:12Z (GMT). No. of bitstreams: 1 000440021-Texto+Completo-0.pdf: 859301 bytes, checksum: 74c835c02a03141cc25fe26c323fab1d (MD5) Previous issue date: 2012 / Transactional Memory is considered by many researchers to be one of the most promising solutions to address the problem of programming multicore processors. This model provides the scalability of fine-grained locking while avoiding common issues of tradicional mechanisms, such as deadlocks. During these almost twenty years of research, several studies were carried out to identify approaches in order to maximize the use of Transactional Memories in the Parallel Programming scenario. Furthermore, several TM systems have been developed in different types of implementations as well as new Benchmarks were proposed for evaluation and testing of TM systems. However, despite advances in the area, Transactional Memory is not considered yet a ready solution by the scientific community, due to unanswered questions in the literature, such as: “How to identify if an application has an advantage using Transactional Memory?” and “Why some applications do not benefit from the use of Transactional Memories?”, This work presents a comparative evaluation of a set of transactional applications and systems, introducing the field current state-of-the-art, understanding the existing problems and identifying growth opportunities in the STM systems in order to contribute to answer the questions that remain open in the scientific community. / Memórias Transacionais são consideradas por muitos pesquisadores como a mais promissora solução para resolver problemas de programação multicore. Esse modelo promete escalabilidade com pequena granularidade, enquanto elimina os problemas comuns nos mecanismos convencionais de locks, como deadlocks por exemplo. Durante esses quase vinte anos de pesquisas, diversos estudos foram realizados visando identificar abordagens para maximizar o uso de Memórias Transacionais no cenário de Programação Paralela. Além disso, diversos sistemas TM foram desenvolvidos em diferentes tipos de implementações, bem como novos Benchmarks foram propostos para avaliação e testes de sistemas TM. Entretanto, apesar do avanço da área, Memória Transacional não é considerada uma solução pronta para comunidade científica devido às perguntas ainda não respondidas na literatura, tais como: “Como identificar se uma aplicação terá vantagem na utilização de memórias transacionais?” e “Porque algumas aplicações não se beneficiam com o uso de Memórias Transacionais?”. Esse trabalho realiza uma avaliação comparativa de um conjunto de sistemas e aplicações transacionais, apresentando o estado da arte atual, compreendendo os problemas existentes e identificando oportunidades de crescimento nos sistemas STM de maneira a contribuir para responder as perguntas ainda em aberto na comunidade científica.

Made available in DSpace on 2013-08-07T18:43:12Z (GMT). No. of bitstreams: 1 000388455-Texto+Completo-0.pdf: 1678472 bytes, checksum: 10111011a3990a4b9ee14aabd1a774b9 (MD5) Previous issue date: 2007 / The companies and corporations are making efforts to attract and to keep customers and realized that it is important to know the preferences and characteristics of its customers. However, it is useless for these companies to possess the information stored in databases without applying them in documents, that present information about the habits of one client. To use this knowledge in practice, through personalized document generation, is necessary the use of variable data technology. This variable data technology can be considered still incipient by the lack of research with respect to models, languages and even software that facilitates the process of modeling and personalized document generation using variable contents. For existing this deficiency on the technology, in this work will be developed a bibliographical revision on the main concepts of variable data technology, besides presenting its use in set with the technique of structuring of documents, which used together will facilitate the control of the choices of the different contents contained in a structural tree, and with this will be possible to make, on a simplified form, the modeling and generation of personalized documents. On the basis of these concepts and main positive aspects of these technologies, also will be idealized and proposed a model that reduces the currently found deficiencies in these technologies, through the legalization of modeling process, showing that it is possible to generate several personalized document instances with variable contents. Finally, to validate the legalized model in the practical way, it will be developed an prototype that simulates and executes the actions and behaviors stipulated for the formalisms that compose the model, showing that this one is capable to generate personalized documents with different variable contents with one high degree of personalization. / Empresas e corporacões se esforçam para atrair e manter seus clientes e um dos fatores que contribui para isso é conhecer as preferências e características dos seus clientes de forma individualizada. Contudo, de nada adianta essas empresas possuírem essas informações armazenadas em bases de dados sem aplicá-las a documentos com marketing individualizado, que apresentem informações referentes aos hábitos e costumes de um cliente. Para que esses conhecimentos sejam utilizados na prática, através da geração de documentos personalizados, é necessária a utilização da tecnologia de dados variáveis. Essa tecnologia de dados variáveis pode ser considerada ainda bastante incipiente pela falta de pesquisas em relação a modelos, linguagens e até mesmo software que facilitem o processo de modelagem e geração de documentos personalizados utilizando conteúdos variáveis. Por existir essa deficiência sobre a tecnologia, neste trabalho será desenvolvida uma revisão bibliográfica sobre os principais conceitos da tecnologia de dados variáveis, além de apresentar a sua utilização em conjunto com a técnica de estruturação de documentos, que se utilizadas juntas facilitarão o controle das escolhas dos diferentes conteúdos contidos em uma árvore estrutural, e com isso será possível fazer, de forma simplificada, a modelagem e geração dos documentos personalizados. Com base nesses conceitos e principais aspectos positivos dessas tecnologias, será também idealizado e proposto um modelo que reduza as deficiências atualmente encontradas nessas tecnologias, através da formalização do processo de modelagem, mostrando que é possível gerar várias instâncias de documentos personalizados com conteúdos variáveis. Por fim, para validar o modelo formalizado na prática, será desenvolvido um protótipo que simule e execute as ações e comportamentos estipulados para os formalismos que compõem o modelo, mostrando que esse é capaz de gerar documentos personalizados com diferentes conteúdos variáveis com um alto grau de personalização.

Made available in DSpace on 2013-08-07T18:43:13Z (GMT). No. of bitstreams: 1 000422458-Texto+Completo-0.pdf: 6404935 bytes, checksum: 28a0652b56dafd52956a9e6d128a45f2 (MD5) Previous issue date: 2010 / This work describes a new algorithm for automatic layout of variable content documents. The aim is to demonstrate that high-quality page designs can be efficiently obtained from dynamic and variable content (such as content from the internet, sales brochures, bills, and others), which is a current trend in the production of personalized documents. The approach described here, contrary to other works published in this field, does not make use of approximative methods (such as genetic algorithms) to assign regions of a page to the contents of a document. The choice of a deterministic algorithm was made due to the performance and reliability requirements in the context of Variable Data Printing, which is one of the applications of this work. The method works by making successive divisions on a page, allocating regions according to the areas required by each element (content), instead of constraining their geometries as in previous works in this field. The choice of how to divide a page is based on a simple heuristic, capable of preserving some important document design criteria such as alignment, homogeneity, etc. as well as the reading order provided by the input and the possibility of grouping related items. Besides that, the algorithm is also capable of distributing content in a document that is composed by several pages. As a case study, the algorithm was developed to produce document layouts that are similar to newspapers covers, both in design and style. Finally, this work presents concepts regarding adaptive documents, a quick survey of the most relevant works in this field, a detailed description of the algorithm that was developed, as well as an empirical evaluation of the results, regarding qualitative aspects from the generated documents and, to a lesser extent, the performance of the proposed algorithm. / Este trabalho descreve um novo algoritmo para diagramação (i. e., layout) automática de documentos de conteúdo variável. O objetivo é mostrar que é possível obter documentos de alta qualidade eficientemente a partir de conteúdos dinâmicos e variáveis (por exemplo, notícias obtidas da internet, catálogos de produtos, contas, entre outros), que é uma tendência atual na produção de documentos personalizados. A abordagem aqui descrita, ao contrário da maioria dos trabalhos publicados nesta área, não utiliza métodos aproximativos (por exemplo, algoritmos genéticos) para associar regiões de uma página com os elementos de um documento. A escolha de um algoritmo determinístico foi feita devido às necessidades de desempenho e confiabilidade exigidas no contexto de Variable Data Printing, que é uma das aplicações deste trabalho. O método funciona através da realização de divisões sucessivas em uma página, alocando regiões de acordo com a área exigida para cada elemento (conteúdo), ao invés de utilizar geometrias fixas para os mesmos como em outros trabalhos nesta área. A escolha de como dividir a página é baseada em uma heurística simples, capaz de obedecer alguns critérios estéticos importantes em design de documentos como alinhamento, regularidade, etc. bem como a ordem de leitura definida pelos elementos do documento e a possibilidade de agrupar elementos relacionados entre si. Além disso, o algoritmo também é capaz de distribuir conteúdo em documentos compostos por várias páginas. Como estudo de caso, o algoritmo foi desenvolvido para produzir diagramações de documentos similares a capas de jornal, tanto no formato quanto no estilo. Finalmente, este trabalho apresenta conceitos relacionados a documentos adaptativos, uma revisão rápida dos principais trabalhos publicados nesta área, o algoritmo desenvolvido em detalhes, assim como uma avaliação empírica dos resultados, considerando aspectos qualitativos dos documentos produzidos e, em menor extensão, o desempenho do algoritmo proposto.

Made available in DSpace on 2013-08-07T18:43:36Z (GMT). No. of bitstreams: 1 000423774-Texto+Completo-0.pdf: 1356397 bytes, checksum: 4c07d8d5aba7d673efbc82c220109747 (MD5) Previous issue date: 2007 / This work’s main goal is the research of protocols for ad hoc network formation, targeting the modeling of a scheme for building a new Bluetooth scatternet protocol. This protocol has as its main feature to be compliant with the requirements of interactive applications, which are more dependent on a better connection availability than on large bandwidth with low communication delay. The modeled protocol keeps the connection up, even in the events of nodes going in and out the mobile network. The protocol has been proposed targeting a Bluetooth SoC implementation for scatternet formation. Initially, the validation strategy had been conceived targeting the IP´s Fˆenix Platform. A simulation was performed in order to obtain experimental data from the proposed model for scatternet´s generation. / Este trabalho tem como principal objetivo a investigação de protocolos para formação de redes ad hoc, visando a modelagem de novo protocolo para formação de scatternets Bluetooth. Esse protocolo tem por característica principal atender os requisitos de aplicações interativas, que dependem mais de uma maior disponibilidade da conexão do que de uma conexão com largura de banda elevada e com baixo atraso de comunicação. O protocolo modelado mantém conexões funcionando mesmo na presença de eventos de entrada e saída de nós da rede móvel. O protocolo foi proposto visando a implementação de um SoC Bluetooth para a formação de scatternets. A validação inicialmente foi idealizada para utilização da plataforma Fênix do projeto Brazil IP, sendo ao final realizada uma simulação para levantamento de resultados do modelo para geração de scatternets.