Made available in DSpace on 2014-06-12T16:00:36Z (GMT). No. of bitstreams: 2 arquivo6793_1.pdf: 1868835 bytes, checksum: 71b2827ff6e54be17b026ed94a084b69 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Uma das tendências da pesquisa em gerenciamento de projetos para os próximos anos é o estudo da ênfase na criação de valor pelos projetos. Este tema envolve uma maior preocupação com o alinhamento dos projetos aos objetivos estratégicos das organizações. No contexto dos projetos de desenvolvimento de software, tal preocupação passa pela revisão das metodologias de desenvolvimento de software que os suportam. A Engenharia de Software Baseada em Valor (VBSE) é uma abordagem que adiciona considerações de valor aos aspectos técnicos da Engenharia de Software, estabelecendo um conjunto de elementos-chave necessários à evolução das técnicas e práticas atuais para que enfatizem a criação de valor. Este trabalho faz uma análise do Rational Unified Process, um framework de processos de software, quanto à ênfase em criação de valor que ele possibilita, usando os elementos-chave da VBSE como diretriz para a análise. Pontos de convergência entre o RUP e os elementoschave são identificados, e uma extensão do processo é proposta para suprir as lacunas encontradas. Uma avaliação do novo processo é feita e oportunidades para trabalhos futuros apresentadas

Submitted by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:00:50Z No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:00:58Z (GMT) No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:01:04Z (GMT) No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Made available in DSpace on 2017-06-01T17:01:09Z (GMT). No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) Previous issue date: 2016-11-25 / Não recebi financiamento / The APIs are becoming increasingly more popular and they play a important role in software development. However, many APIs are large and complex that makes them hard to learn. Among avaliable resources to learn to use an API, there are the code samples. A code sample can be used to demonstrate to a programmer how to use API’s components together to attain a specific goal. But, code sample are static and they haven’t information about how to adapt the code snippet shown as example to programmer’s context. Tools have been proposed to assist the programmers in finding and adapting code snippets that may be useful for a programming task. A specific type of these tools are the code template tools. Code templates are code snippets manually registered containing integration directives. The integration directives instruct the code template tool on how to adapt a code snippet to programmer’s context. In this work, code snippet tools are investigated and it is proposed a code template tool called IPS. It presents some novelties in relation to other code template tools. In the IPS, a code template can be associated to a Java class and the IPS has a code template recommender that is automatically updated as the source code is edited by the programmer. Also it is proposed the role parameters, a new concept for the parameters of code templates that extends the concept of the parameters associated to a type which is present in current code template tools. The role parameters has the objective of accepting arguments that would at first be incompatible with a specific type, but that obey a expected pattern. / As APIs têm se tornado cada vez mais populares e elas têm um papel fundamental no desenvolvimento de software. No entanto, muitas APIs são grandes e complexas o que torna a aprendizagem delas difícil. Entre os recursos disponíveis para se aprender a utilizar uma API, há os exemplos de código. Um exemplo de código pode demonstrar a um programador como componentes de uma API podem ser utilizados juntos para atingir um determinado objetivo. Porém, exemplos de código são estáticos e não contêm informações de como adaptar o trecho de código apresentado como exemplo para o contexto do programador. Ferramentas têm sido propostas para auxiliar os programadores a encontrarem e adaptarem trechos de códigos que possam ser úteis para uma tarefa de programação. Um tipo específico dessas ferramentas são as ferramentas de templates de código. Templates de código são trechos de códigos cadastrados manualmente contendo diretivas de integração. As diretivas de integração instruem a ferramenta a como adaptar um trecho de código para o contexto do programador. Neste trabalho, ferramentas de trechos de código são investigadas e é proposta uma ferramenta de template de código denominada IPS. Ela apresenta novidades em relação às outras ferramentas de templates de código. No IPS, um template de código pode ser associado a uma classe Java e o IPS possui um recomendador de templates de código que é automaticamente atualizado conforme o código fonte é editado pelo programador. Também é proposto os parâmetros do tipo role, um novo conceito que estende o conceito dos parâmetros associados a um tipo que está presente nas ferramentas de templates de código atuais. Os parâmetros do tipo role têm como objetivo aceitar argumentos que seriam a princípio incompatíveis com um determinado tipo, porém que sigam um determinado padrão esperado.

Made available in DSpace on 2015-04-11T14:03:20Z (GMT). No. of bitstreams: 1 HERBERT OLIVEIRA.pdf: 512075 bytes, checksum: acc5d05442df938abdfa025f9db23367 (MD5) Previous issue date: 2011-02-04 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The use of computer-based systems in several domains has increased significantly over the last years, one of the main challenges in software development of these systems is to ensure the correctness and reliability of these. So that software verification now plays an important role in ensuring the overall product quality, aimed mainly the characteristics of predictability and reliability. In the context of software verification, with respect to the use of model checking technique, Bounded Model Checkers have already been applied to discover subtle errors in actual systems projects, contributing effectively in this verification process. The value of the counterexample and safety properties generated by Bounded Model Checkers to create test case and to debug these systems is widely recognized. When a Bounded Model Checking (BMC) finds an error it produces a counterexample. Thus, the value of counterexamples to debug software systems is widely recognized in the state-of-the-practice. However, BMCs often produce counterexamples that are either large or difficult to be understood and manipulated mainly because of both the software size and the values chosen by the respective solver. In this work we aim to demonstrate and analyze the use of formal methods (through using the model checking technique) in the process of developing programs in C language, exploring the features already provided by the model checking as the counterexample and the identification and verification of safety properties. In view of this we present two approaches: (i) we describe a method to integrate the bounded model checker ESBMC with the CUnit framework. This method aims to extract the safety properties generated by ESBMC to generate automatically test cases using the rich set of assertions provided by the CUnit framework and (ii) a method aims to automate the collection and manipulation of counterexamples in order to instantiate the analised C program for proving the root cause of the identified error. Such methods may be seen as a complementary technique for the verification performed by BMCs. We show the effectiveness of our proposed method over publicly available benchmarks of C programs. / A utilização de sistemas baseados em computador em diversos domínios aumentou significativamente nos últimos anos. Um dos principais desafios no desenvolvimento de software de sistemas críticos é a garantia da sua correção e confiabilidade. Desta forma, a verificação de software exerce um papel importante para assegurar a qualidade geral do produto, visando principalmente características como previsibilidade e confiabilidade. No contexto de verificação de software, os Bounded Model Checkers estão sendo utilizados para descobrir erros sutis em projetos de sistemas de software atuais, contribuindo eficazmente neste processo de verificação. O valor dos contra-exemplos e propriedades de segurança gerados pelo Bounded Model Checkers para criar casos de testes e para a depuração de sistemas é amplamente reconhecido. Quando um Bounded Model Checking (BMC) encontra um erro ele produz um contra-exemplo. Assim, o valor dos contra-exemplos para depuração de software é amplamente reconhecido no estado da prática. Entretanto, os BMCs frequentemente produzem contra-exemplos que são grandes ou difíceis de entender ou manipular, principalmente devido ao tamanho do software e valores escolhidos pelo solucionador de satisfabilidade. Neste trabalho visamos demonstrar e analisar o uso de método formal (através da técnica model checking) no processo de desenvolvimento de programas na linguagem C, explorando as características já providas pelo model checking como o contra-exemplo e a identificação e verificação de propriedades de segurança. Em face disto apresentamos duas abordagens: (i) descrevemos um método para integrar o Bounded Model Checker ESBMC como o framework de teste unitário CUnit, este método visa extrair as propriedades geradas pelo ESBMC para gerar automaticamente casos de teste usando o rico conjunto de assertivas providas pelo framework CUnit e (ii) um método que visa automatizar a coleta e manipulação dos contra-exemplos, de modo a instanciar o programa C analisado, para comprovar a causa raiz do erro identificado. Tais métodos podem ser vistos como um método complementar para a verificação efetuada pelos BMCs. Demonstramos a eficácia dos métodos propostos sobre benchmarks públicos de código C.

Os artigos científicos são o principal veículo de comunicação para divulgação dos resultados obtidos por milhares de pesquisadores ao redor do mundo. Entretanto, escrever os artigos científicos em publicações de alto impacto é uma tarefa complexa para autores que têm o inglês como segunda língua. Por meio da aprendizagem baseada em exemplos e em experiência, as habilidades de leitura, interpretação e redação de textos científicos podem ser desenvolvidas por intermédio da prática, facilitada por meio de exemplos de trechos de texto reutilizáveis. Para auxiliar na redação de artigos, várias ferramentas computacionais foram desenvolvidas para dar suporte nas várias etapas de concepção do artigo. As ferramentas existentes, que aplicam este tipo de suporte, são todas voltadas para outros temas de pesquisa, incompatíveis com os temas da Engenharia de Produção, que por sua vez possui maneiras particulares de redigir e estruturar o texto. O objetivo da pesquisa desenvolvida consistiu em adaptar e avaliar um instrumento de auxílio à escrita em inglês dirigido a pesquisadores da Engenharia de Produção, fundamentada na aprendizagem baseada em exemplos e em experiências. Para tal fim, foram adaptadas duas ferramentas existentes para auxiliar nas tarefas de leitura, anotação e redação de artigos científicos, avaliadas por meio de dois experimentos com dez alunos de pós-graduação em Engenharia de Produção em universidade pública, nas quais o resultado foi aferido por intermédio de um questionário, buscando identificar os efeitos da utilização sobre o aprendizado e o tempo demandado. O instrumento adaptado oferece, além de exemplos extraídos de artigos publicados, uma estrutura mais coerente com os artigos relacionados à Engenharia de Produção. Os resultados apontam para 90% de aceitação do novo instrumento, em que os alunos relataram um efeito positivo sobre suas habilidades de escrita de artigos, além de uma economia de 11% no tempo dedicado à escrita. Assim sendo, o instrumento tem potencial de auxílio à escrita e sua aplicação traz benefícios reais aos usuários, passíveis de serem adaptadas para qualquer outra área de pesquisa. / Scientific articles are the main communication means of disseminating results obtained by researchers around the world. However, writing scientific articles to highimpact journals is a complex task to authors for whom English is a second language. By means of example- and experience-based learning, reading, interpretation, and writing skills as regards the production of scientific texts can be developed through practice, facilitated by the use of reusable text snippets. Several computational tools have been developed to support the various phases of scientific writing in English. Existing tools that cater to this type of support are all geared to other research topics, incompatible with those inherent to Production Engineering, which has particular features of writing and structuring texts. The purpose of this research was to adapt and assess a new tool to help Production Engineering researchers to write articles English, grounded on example- and experience-based learning. To this end, two existing tools that aid scientists to read, annotate, and write articles in English were adapted and assessed through two experiments with ten Production Engineering graduate students at Brazilian public universities. Data were collected through a questionnaire in order to identify the effect of these tools on participants learning and time required to write articles. The adapted tools provide, in addition to snippets from published articles on Production Engineering, a structure more consistent with this field of knowledge. Results indicate 90% satisfaction rate with the new tool. Also, participants reported a positive effect on their writing skills as well as an 11% reduction in their time spent on scientific writing. Therefore, the tools in question have shown great potential to assist Production Engineering researchers in writing articles; moreover, their features may be adapted to scientific writing in other fields of knowledge.

Os artigos científicos são o principal veículo de comunicação para divulgação dos resultados obtidos por milhares de pesquisadores ao redor do mundo. Entretanto, escrever os artigos científicos em publicações de alto impacto é uma tarefa complexa para autores que têm o inglês como segunda língua. Por meio da aprendizagem baseada em exemplos e em experiência, as habilidades de leitura, interpretação e redação de textos científicos podem ser desenvolvidas por intermédio da prática, facilitada por meio de exemplos de trechos de texto reutilizáveis. Para auxiliar na redação de artigos, várias ferramentas computacionais foram desenvolvidas para dar suporte nas várias etapas de concepção do artigo. As ferramentas existentes, que aplicam este tipo de suporte, são todas voltadas para outros temas de pesquisa, incompatíveis com os temas da Engenharia de Produção, que por sua vez possui maneiras particulares de redigir e estruturar o texto. O objetivo da pesquisa desenvolvida consistiu em adaptar e avaliar um instrumento de auxílio à escrita em inglês dirigido a pesquisadores da Engenharia de Produção, fundamentada na aprendizagem baseada em exemplos e em experiências. Para tal fim, foram adaptadas duas ferramentas existentes para auxiliar nas tarefas de leitura, anotação e redação de artigos científicos, avaliadas por meio de dois experimentos com dez alunos de pós-graduação em Engenharia de Produção em universidade pública, nas quais o resultado foi aferido por intermédio de um questionário, buscando identificar os efeitos da utilização sobre o aprendizado e o tempo demandado. O instrumento adaptado oferece, além de exemplos extraídos de artigos publicados, uma estrutura mais coerente com os artigos relacionados à Engenharia de Produção. Os resultados apontam para 90% de aceitação do novo instrumento, em que os alunos relataram um efeito positivo sobre suas habilidades de escrita de artigos, além de uma economia de 11% no tempo dedicado à escrita. Assim sendo, o instrumento tem potencial de auxílio à escrita e sua aplicação traz benefícios reais aos usuários, passíveis de serem adaptadas para qualquer outra área de pesquisa. / Scientific articles are the main communication means of disseminating results obtained by researchers around the world. However, writing scientific articles to highimpact journals is a complex task to authors for whom English is a second language. By means of example- and experience-based learning, reading, interpretation, and writing skills as regards the production of scientific texts can be developed through practice, facilitated by the use of reusable text snippets. Several computational tools have been developed to support the various phases of scientific writing in English. Existing tools that cater to this type of support are all geared to other research topics, incompatible with those inherent to Production Engineering, which has particular features of writing and structuring texts. The purpose of this research was to adapt and assess a new tool to help Production Engineering researchers to write articles English, grounded on example- and experience-based learning. To this end, two existing tools that aid scientists to read, annotate, and write articles in English were adapted and assessed through two experiments with ten Production Engineering graduate students at Brazilian public universities. Data were collected through a questionnaire in order to identify the effect of these tools on participants learning and time required to write articles. The adapted tools provide, in addition to snippets from published articles on Production Engineering, a structure more consistent with this field of knowledge. Results indicate 90% satisfaction rate with the new tool. Also, participants reported a positive effect on their writing skills as well as an 11% reduction in their time spent on scientific writing. Therefore, the tools in question have shown great potential to assist Production Engineering researchers in writing articles; moreover, their features may be adapted to scientific writing in other fields of knowledge.