TCC - Bacharelado em Ciência da Computação (Sede)
URI permanente para esta coleçãohttps://arandu.ufrpe.br/handle/123456789/415
Navegar
3 resultados
Resultados da Pesquisa
Item Aplicação de métodos ágeis em desenvolvimento global de software(2021-07-22) Alves, Annelyelthon Ferreira; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/8410367808658970Global Software Development (GSD) continues to grow and is rapidly becoming a standard, fundamentally different from local Software Engineering development. Withal, agile software development (ASD) has become an appealing choice for companies attempting to improve their performance although its methods were originally designed for small and individual teams. The current literature does not provide a cohesive picture of how the agile practices are taken into account in the distributed nature of software development: how to do it, who, and what works in practice. This study aims to highlight how ASD practices are applied in the context of GSD in order to develop a set of techniques that can be relevant in both research and practice. To answer the research question, ”how are agile practices adopted in agile global software development teams?” We conducted a systematic literature review and a survey with practitioners of the ASD and GSD literature. A synthesis of solutions found in seventysix studies provided 48 distinct practices that organizations can implement, including ”collaboration among teams”, ”agile architecture”, ”coaching”, ”system demo” and ”test automation”. These implementable practices go some way towards providing solutions to manage GSD teams, and thus to embrace agility.Item Verificação eficiente de robôs educacionais(2021-03-03) Correia, Lucas Francisco Pereira de Gois; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1957154709677653Educational robotics is an area of growing interest within educational institutions. Due to it's low cost, program environments for virtual robots have been developed to support the teaching of computing, programming and robotics concepts. The main debug tool available in such environments is the simulation of the robot within a virtual map. Debugging is performed by observing the robot moving across the map: it is not possible to analyze automatically if a program will manage to conclude a specific objective. Approaches to automatically analyze virtual robots are an important teaching tool for an eficient and accurate evaluation of robots. The objective of this project is to improve an automatic verification approach of robot programs. This approach translates programs in the ROBO language to the formal notation CSP and uses the FDR model checker to automatically analyze the program's behavior. The result returned by the model checker is used to inform if the analyzed program has the expected behavior. The main improvement proposed by this project is the implementation of a ROBO to CSP translator that generates a more eficient CSP model to be analyzed, if compared to the model produced by the previous translator. We could observe, through empirical evaluation, a significant reduction in the time to analyze the CSP models obtained from the new translator. The proposed translator presents an almost constant analysis time for the maps considered in the empirical evaluation, while analysis time of the models produced by the previous translator shows an exponential growth in relation to the map's size where the program is analyzed. Another contribution of this work is that the new translator accepts ROBO programs with any command of the language, while the previous translator could only deal with a subset.Item Engenharia de requisitos ágil: extensão de uma revisão sistemática da literatura(2021-02-24) Menezes, Renato Vieira de; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/5357825214092807The recent daytoday reality of software engineers is determined by the practice of agile methods, motivating frequent questions in the community about how to adopt a more flexible and dynamic Requirements Engineering (RE), distinct from the traditional model. Agile methods do not have rules established for a single definition of how Requirements Engineering activities should be carried out. Exploring the advances of agile RE in diverse and challenging environments makes it suitable. Therefore, the objective of this Course Conclusion Paper (CCP) is to identify and understand the current scenario of the variety of use of practices / techniques that compose such activities, the important challenges and lessons learned. An extension of a systematic literature review study was conducted to carry out this analysis and the evidence is synthesized from sources published between 2017 and 2020. In addition to verifying, describing and directing the research regarding Agile Requirements Engineering, the work delivers a compiled of practices, observing the different contexts of projects and organizations.