Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-03-05T13:16:48Z No. of bitstreams: 1 2012_ViniciusUrielCardosoNunes.pdf: 2214214 bytes, checksum: c1755e838a73a185dca05d8ef723b58d (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-04-10T13:50:01Z (GMT) No. of bitstreams: 1 2012_ViniciusUrielCardosoNunes.pdf: 2214214 bytes, checksum: c1755e838a73a185dca05d8ef723b58d (MD5) / Made available in DSpace on 2013-04-10T13:50:01Z (GMT). No. of bitstreams: 1 2012_ViniciusUrielCardosoNunes.pdf: 2214214 bytes, checksum: c1755e838a73a185dca05d8ef723b58d (MD5) / Software está cada vez mais presente em nosso dia a dia. Em alguns domínios, especialmente os de sistemas críticos, software confiável é uma necessidade. Assegurar confiabilidade não é um problema trivial. Model checking pode ser utilizado para estimar a confiabilidade de um software através de modelos que representam a comportamento do sistema. Através destes modelos é possível estimar e medir quantitativamente propriedades como confiabilidade. No contexto das Linhas de produto de software (LPS), é preciso verificar uma família inteira de sistemas. Não é viável construir um modelo para cada configuração de uma LPS uma vez que o número de modelos requerido pode ser muito grande. Algumas contribuições tratam diretamente esta questão propondo técnicas específicas para LPS. Em particular, a técnica de model checking paramétrico permite a utilização de uma único modelo para obter valores de propriedades de diferentes configurações através de uma fórmula aritmética. No entanto, mesmo uma fórmula aritmética pode não ser fácil de avaliar em alguns cenários. As técnicas atuais impõem limitações sobre a variabilidade. Lidar com variabilidade por meio de model checking paramétrico é ainda um problema em aberto. Nesse trabalho, esse problema é tratado por meio de uma proposta de modelagem para model checking paramétrico capaz de representar qualquer tipo de variabilidade. Além disso, apresentamos uma extensão para abordagem proposta capaz de reduzir o tamanho da fórmula paramétrica. _______________________________________________________________________________________ ABSTRACT / Software is increasingly present in our daily lives. In some domains, specially those of critical systems, dependable software is a must. Ensuring dependability is not a trivial problem. Model checking can be used to estimate the reliability of a software through models that represent the behavior of the system. Through these models it is possible to estimate and measure quantitatively properties such as reliability. In the context of Software Product Lines (SPL), we need to check an entire family of systems. It is not feasible to build a model for each configuration of a SPL as the number of models required can be very large. Some contributions directly address this issue proposing techniques specically tailored for SPL. Particularly, the technique of parametric model-checking al-lows the use of a single model to obtain properties values from different configurations through an arithmetic formula. However, even an arithmetic formula may not be easy to evaluate in some scenarios. Current techniques may impose limitations over the variability. To handle variability on parametric model checking is still an open problem. This work addresses this problem by proposing a parametric model checking approach able to represent any type of variability and providing a theoretical basis where this work is grounded. Additionally, we present and extension to this approach able to reduce the size of the parametric formula.

Dissertação (mestrado)–Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013. / Submitted by Letícia Gomes T. da Silva (leticiasilva@bce.unb.br) on 2013-11-25T18:53:42Z No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2013-11-26T19:40:18Z (GMT) No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Made available in DSpace on 2013-11-26T19:40:18Z (GMT). No. of bitstreams: 1 2013_ArmandoAmorimFerreiraVidigalJunior.pdf: 5061873 bytes, checksum: b71d7391a78f5d81c6e2e66a2915e04d (MD5) / Para que os sistemas baseados em SOA obtenham os benefícios esperados, os princípios conhecidos da engenharia de software tradicional precisam ser adaptados para desenvolvimento orientado a serviços. São necessárias abordagens sistemáticas para a concepção, desenvolvimento e manutenção de sistemas orientados a serviços. Essa abordagem é conhecida como Engenharia de Software Orientada a Serviços - SOSE. A impossibilidade de utilização de metodologias de desenvolvimento SOA existentes, quer seja pela ausência de informações detalhadas ou, principalmente, pela desconsideração de forças de trabalho terceirizadas no processo, foi fator determinante para a elaboração deste trabalho. Para atingir o objetivo de criar uma metodologia de desenvolvimento de soluções baseadas em SOA, foram realizadas pesquisas bibliográficas e estudos de caso, tanto para sua elaboração como para sua validação em situação real de execução. A base da metodologia proposta é constituída de três pilares: a definição de unidades funcionais, onde são agrupadas tarefas e atividades técnicas relacionadas, definindo escopos claros de terceirização e responsabilidades; perfis profissionais, que explicitam as competências necessárias requeridas em cada etapa e; os processos e artefatos, que definem as atividades que devem ser realizadas e seus entregáveis. ______________________________________________________________________________ ABSTRACT / For systems based on SOA obtain the expected benefits, the known principles of traditional software engineering need to be adapted to service-oriented development. Systematic approaches are needed for the design, development and maintenance of service-oriented systems. This approach is known as Software Engineering Service Oriented - SOSE. The impossibility of using existing SOA development methodologies, either by lack of detailed information or mainly by disregard of outsourced workforces in the process, was the determining factor for the development of this work. To achieve the objective of creating a development methodology for SOA-based solutions, literature searches and case studies were conducted, for both its development and validation in the real implementation. The basis of the proposed methodology consists of three pillars: the definition of functional units, where tasks and technichal related activities are grouped, defining outsourcing and responsibilities clear scopes; professional profiles, that explain the skills required at each stage and; processes and artifacts, that define the activities that must be performed and their deliverables.

Context: The need for empirical investigations in software engineering domain is growing immensely. Many researchers nowadays, conduct and validate their study using empirical evidences. Survey is one such empirical investigation method which enables researchers to collect data from the large population. Main aim of the survey is to generalize the findings. Many problems are faced by the researchers in the survey process. Survey outcomes also depend upon variables like sample size, response rate and analysis techniques. Hence there is need for the literature addressing all the possible problems faced and also the impact of survey variables on outcomes. Objectives: Firstly, to identify the common problems faced by the researchers from the existing literature and also analyze the impact of the survey variables. Secondly to collect the experiences of software engineering researchers regarding the problems faced and the survey variables. Finally come up with a checklist of all the problems and mitigation strategies along with the information about the impact of survey variables. Methods: Initially a systematic literature review was conducted, to identify the existing problems in the literature and to know the effect of response rate, sample size, analysis techniques on survey outcomes. Then systematic literature review results were validated by conducting semi-structured, faceto-face interviews with software engineering researchers. Results: We were successful in providing a checklist of problems along with their mitigation strategies. The survey variables dependency on type of research, researcher’s choices limited us from further analyzing their impact on survey outcomes. The face-to-face interviews with software engineering researchers provided validations to our research results. Conclusions: This research gave us deeper insights into the survey methodology. It helped us to explore the differences that exists between the state of art and state of practice towards problem mitigation in survey process.

Improvisação tem sido considerada uma característica importante para agentes que pretendem operar de maneira consistente com a situação do momento, exibindo um comportamento credível e interessante. A improvisação deve estar presente tanto nos agentes individuais quanto nas sociedades de agentes. Desta maneira, esta tese irá abordar estes dois aspectos da improvisação. Propomos a visão de que, agentes capazes de realizar improvisação, os agentes improvisacionais, são um tipo de agente deliberativo capaz de solucionar problemas por improvisação. Neste sentido, buscamos identificar dentro de uma arquitetura clássica de agentes deliberativos, a arquitetura BDI (belief-desire-intention), a existência e/ou a possibilidade da inclusão de componentes de improvisação nesta arquitetura. Para resolver problemas complexos, estes agentes precisam estar agrupados em sociedades e estas sociedades, por sua vez, precisam produzir comportamentos coerentes. A coordenação é a área da Inteligência Artificial responsável por este objetivo. Propomos que a coordenação de agentes que improvisam pode ser realizada por meio de um processo de direção improvisacional, no sentido usado no contexto do teatro improvisacional. Ao longo deste documento, iremos mostrar nosso entendimento sobre agentes improvisacionais como agentes deliberativos e coordenação como direção improvisacional. Com isto, defende-se nesta tese que o uso da improvisação em agentes improvisacionais possibilita que os agentes improvisem comportamentos interativos, de maneira coerente, melhorando seu desempenho como solucionadores de problemas, criando e mantendo uma ilusão de vida para os agentes interativos e contribuindo para o aperfeiçoamento dos sistemas multiagentes.

Made available in DSpace on 2014-06-12T15:52:05Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Linhas de Produto de Software (LPS) englobam famílias de sistemas desenvolvidos a partir de artefatos reusáveis. Um fator importante durante a manutenção de LPS con- siste em decidir sobre qual mecanismo deve ser utilizado para reestruturar suas variações objetivando melhorar a modularidade de seus artefatos. Devido µa grande variedade de mecanismos, selecionar os corretos pode ser uma tarefa difícil. Por outro lado, selecionar os incorretos pode produzir efeitos negativos no custo de desenvolver a LPS. E importante salientar que este problema existe não somente no nível de código fonte, mas também em outros artefatos como requisitos de software e testes. Assim sendo, para reduzir tal problema no nível de testes automatizados, este trabalho prop~oe um modelo de decisão que ajuda desenvolvedores a escolher mecanismos para reestruturar variações de testes em LPS. Para construir o modelo, algumas variacões encontradas em casos de teste automatizados reais desenvolvidos pela Motorola foram analisadas. Neste caso, os testes servem para testar os sistemas de software dos telefones celulares da Motorola. Os testes lidam com as variacões dos diferentes celulares usando condicionais if-else. Portanto, dada uma variacão baseada em condicionais if-else, o modelo sugere um mecanismo para prover uma melhor modularidade da variacão. Adicionalmente, uma ferramenta para dar suporte aos desenvolvedores de LPS foi desenvolvida. A ferramenta recomenda os mecanismos de acordo com o modelo de decisão proposto. Aplicando o modelo de decisão e os mecanismos sugeridos por ele pode melhorar a modularidade das variações dos casos de teste e remover problemas como códigos dupli- cados. Ademais, mostra-se que a tarefa de reestruturar variações torna-se mais rápida e precisa quando a ferramenta é utilizada

Made available in DSpace on 2014-06-12T15:52:27Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A motivação de um profissional é um fator que impacta diretamente na sua produtividade no trabalho. No entanto, enquanto outras áreas evoluem para utilizar a gestão de fatores motivacionais como alavanca para o sucesso de projetos, pouco se fez em relação a isto dentro da engenharia de software. Pesquisas recentes demonstram que os profissionais de engenharia de software estão entre os profissionais mais estressados e desmotivados. Outro agravante para o problema, é que os modelos de motivação existentes são excessivamente teóricos e com pouca aplicabilidade prática, dificultando assim a interpretação e implementação destes modelos por gerentes de projetos de software. O objetivo central desta pesquisa é propor um conjunto de programas de desenvolvimento sistêmico da motivação para equipes de engenharia de software, que seja, adaptável, extensível, fundamentado na realidade específica dos engenheiros de software e com alta aplicabilidade prática. Para tanto, foi realizada uma pesquisa de campo envolvendo 235 engenheiros de software em Recife, com o objetivo de medir o grau de motivação exercido por um conjunto de vinte fatores motivacionais. A partir dos dados coletados, foi realizada uma análise estatística que possibilitou, entre alguns outros resultados relevantes, o desenvolvimento de três programas de motivação para equipes de engenheiros de software eficientes e hipoteticamente eficazes

Made available in DSpace on 2014-06-12T15:55:51Z (GMT). No. of bitstreams: 2 arquivo2329_1.pdf: 8230070 bytes, checksum: 101572b9c6abfdcf32c5faef00f4a617 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / Linhas de Produto de Software é uma importante estratégia de reuso para minimizar custos e tempo de entrega das aplicações, e maximizar a qualidade e produtividade do desenvolvimento de software. Entretanto, isso envolve o gerenciamento dos pontos comuns e variáveis entre diferentes aplicações, que aumenta sua complexidade quando comparado com desenvolvimento de software tradicional. Assim, desenvolver uma Linha de Produto requer tempo e planejamento para apresentar resultados positivos, ao contrário, o investimento pode ser perdido devido a falhas no projeto. Nesse contexto, um processo de Engenharia de Requisitos é importante para reduzir os riscos envolvidos em uma Linha de Produto, fornecendo gerenciamento e desenvolvimento de requisitos corretos. Por outro lado, existe um desafio chave em Engenharia de Requisitos para Linhas de Produto, que envolve uma solução adequada para gerenciar variabilidades, integrando-as e relacionado decisões em diferentes artefatos para facilitar a derivação de produtos. Assim, o desenvolvimento de Linhas de Produto deve ser apoiado por um processo de Engenharia de Requisitos adequado para o seu contexto. Atualmente, existem muitas abordagens de Engenharia de Requisitos para Linhas de Produto, entretanto, elas apresentam alguns problemas, tais como a ausência de um processo completo e sistemático, com detalhes suficientes para o ciclo de vida da Engenharia de Requisitos. Assim, este trabalho define um processo sistemático de Engenharia de Requisitos, descrevendo atividades, tarefas, entradas, saídas, papéis e guidelines para o contexto de Linhas de Produto, em uma forma usável, efetiva e eficiente. Por fim, um estudo experimental é apresentado para identificar a viabilidade do processo proposto

Made available in DSpace on 2014-06-12T15:56:15Z (GMT). No. of bitstreams: 2 arquivo2792_1.pdf: 931660 bytes, checksum: 4fbbbf2620c36c3449796367f6b6c533 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Este trabalho apresenta o NLScripts, um plug-in que auxilia na geração de scripts de teste a partir de descrições em linguagem natural controlada (LNC). O NLScripts é voltado para desenvolvedores de scripts de teste, que através dele poderão reusar segmentos de scripts já disponíveis (na linha de reuso de software). Para isso, o plug-in utiliza técnicas de Recuperação de Informação para a criação do repositório de scripts, e para possibilitar consultas ao repositório. Uma ferramenta foi desenvolvida como plug-in do Eclipse. Alguns testes foram realizados utilizando um corpus de scripts de testes desenvolvidos previamente pelo time de automação de scripts de teste do projeto CIn/Motorola. Tal corpus foi composto por 985 scripts que, após a etapa de pré-processamento, gerou um repositório com mais de 20.000 segmentos de scripts. A precisão média na recuperação de itens a partir das consultas foi de 35%, o que foi julgado satisfatório pelos usuários que testaram a ferramenta. Acredita-se que este trabalho tem uma contribuição original, uma vez que não foi encontrado na literatura relacionada nenhum trabalho para reuso de scripts de teste a partir de consultas em LNC. Este trabalho é parte do projeto Test Research Project do CIn/BTC, que está sendo desenvolvido em uma parceria entre o CIn-UFPE e a Motorola. O propósito geral desse projeto é automatizar a geração, seleção e avaliação de casos de teste para aplicações de telefonia móvel

Made available in DSpace on 2014-06-12T15:58:02Z (GMT). No. of bitstreams: 2 arquivo3242_1.pdf: 3661573 bytes, checksum: 51e1190f322b91d924dc677f686e2ef7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nas últimas duas décadas, Melhoria de Processo de Software tem se destacado como um importante tópico tanto para pesquisas acadêmicas quanto para a indústria de software. A Melhoria de Processo de Software tem se baseado, principalmente, em modelos e normas como CMMI, ISO/IEC 15504, ISO 9000 e MR-MPS. No entanto, ainda há uma considerável dificuldade, por parte das organizações, na implantação de programas de Melhoria de Processo, devido a diversos fatores, tais como: custo, falta comprometimento, não entendimento dos benefícios da melhoria, falta de feedback do progresso do programa, entre outros. Diante deste cenário, diversas abordagens têm sido utilizadas com o objetivo de guiar as organizações no caminho da Melhoria de Processo de Software. Um exemplo disso é o método DMAIC, reconhecido em todo o mundo como o método utilizado para estruturar a melhoria do processo da manufatura na busca do padrão Seis Sigma e, que vem ganhando espaço na indústria de software. Neste contexto, o objetivo deste trabalho é definir uma abordagem para Melhoria de Processo de Software, através da simplificação e adaptação do DMAIC, tendo como foco principal a melhoria baseada na medição dos processos. A abordagem visa trabalhar os processos prioritários para a organização e relevantes para os clientes, utilizando ciclos de melhoria pequenos, com intuito de obter resultados rápidos e significativos

Made available in DSpace on 2014-06-12T15:59:51Z (GMT). No. of bitstreams: 2 arquivo5652_1.pdf: 2564164 bytes, checksum: 6b08baa8253889819823661c59e9a6a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A disciplina de Reuso de Software tem crescido em importância, tornando-se uma ferramenta estratégica para empresas que almejam um aumento de produtividade, a obtenção de baixos custos e a alta qualidade dos seus produtos. Porém, antes de obtermos as vantagens inerentes ao reuso, é preciso termos mecanismos hábeis a fim de facilitar o armazenamento, a busca, a recuperação e o gerenciamento dos artefatos reusáveis. Nesse contexto, encaixa-se a idéia de repositórios de reuso. Um repositório de reuso pode ser entendido como uma base preparada para o armazenamento e a recuperação de componentes. O mesmo pode ser visto também, como um grande facilitador, que atua como suporte aos engenheiros de software e outros usuários no processo de desenvolvimento de software para e com reuso. Na literatura, existem diversos trabalhos que exploram repositórios de reuso, porém, o foco desses trabalhos está, quase sempre, voltado a questões de busca e recuperação de componentes e, muitas vezes, aspectos importantes de repositórios de reuso não são explorados adequadamente, como, por exemplo, o uso destes como ferramenta para auxiliar gerentes no monitoramento e controle do reuso em uma organização. Por outro lado, algumas questões levantadas por empresas que desejam construir um repositório de reuso continuam mal respondidas. Tais questões geralmente incluem: Que papéis um repositório deve desempenhar no contexto de reutilização? Quais são os principais requisitos de um repositório de reuso? Quais as alternativas práticas existentes? Como um repositório de reuso pode ser projetado? Motivado por essas questões, esta dissertação apresenta a especificação, o projeto e a implementação de um repositório de reuso baseado na análise das soluções existentes e em uma experiência prática de construção de um ambiente de reuso para fábricas de software. Adicionalmente, são discutidos os resultados obtidos, os problemas encontrados, e as direções futuras para pesquisa e o desenvolvimento