Navegando por Assunto "Software - Desenvolvimento"

Agora exibindo 1 - 19 de 19

Uma abordagem para tradução de uma linguagem de programação de robôs para um modelo formal
(2018) Pereira, Iverson Luís; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1186672408246777
There is an increasing interest in virtual robot programming environments for educational purposes in recent years. These environments are an alternative to the use of real robots, which have a high acquisition value. Automatic verification of robot programs is a demand of students and teachers that expect to have fast and automatic feed back about the correctness of robot programs.However,no free software provides an automatic verification of virtual robot programs. This work proposes an approach for the automatic verification of virtual robot programs authored in the educational language called ROBO. We propose a compiler that reads programs written in ROBO and translates its source code into a formal notation called CSP (Communicating Sequential Processes), which is the input to a model checking tool called FDR (FailuresDivergences Refinement). The compiler was implemented using the facilities of the Spoofax framework, which is used to define a parser for the ROBO language and a set of translation rules from ROBO to CSP. This work removes a limitation of our previous verification approach that does not perform the verification of ROBO programs containing variables and procedures. A significant contribution is the extension of the verification approach to allow the automatic analysis of ROBO programs with variables and procedures.The extension consists of the modification of the compiler Grammar by the inclusion of variables and procedures and the inclusion of translation rules that define the formal semantics for the elements added into the grammar.Moreover, the work proposes a tool that makes transparent the translation process from ROBO to CSP and the automatic verification using FDR.We validate the approach using the proposed tool to verify the behavior of a ROBO program with variables and procedures.
Análise sensorial: desenvolvimento de um sistema computacional para verificação de aceitação de produtos
(2021-03-02) Queirós, Dilva da Silva; D'Emery, Richarlyson Alves; http://lattes.cnpq.br/3553920177544450; http://lattes.cnpq.br/5152329770233157
Sensory analysis assesses consumer satisfaction with products by perceiving emotional reaction through feeling, in particular, facial expressions. However, it often uses manual and expensive processes, with human errors, from the wrong understanding of reaction to registration. This article presents a computational system that assists the analysis of photosensitive products. The system uses Arduino and software to control LED-RGB lights, manages experimental sessions, framework for recognizing facial expressions by Convolutional Neural Networks, multiplatform desktop graphical interface and database. As a result, there is a solution that guarantees the security and reliability of information.
Aplicação do processo de design no desenvolvimento de um produto de software para suporte à inovação social
(2018) Santos, Juliana Ferreira dos; Souza, Ricardo André Cavalcante de; http://lattes.cnpq.br/7101881357139219; http://lattes.cnpq.br/8780029383567585
Innovation can be described as a good Idea of solving a relevant problem implemented. Social Innovation is na innovation that at the same time meets a social need and creates new relationships or social collaborations. Social innovations of high impact and high scalability are generally aided by ICT(InformationandCommunicationTechnology).In thiscontext,this work presents the application of the Design Process for the inception, design and implementation of a software product to support Social Innovation. To do so, it was necessary to align the Design Process with a Social Innovation Model. The social innovation treated in this work consists in fomenting a social network of rainfall (Rainwater measurement) to support several áreas (agriculture, livestock, mobility, etc.) that use climatologic information in decision making. The developed software product maintains the Record and visualization of the pluviometric information shared by the people and consists of the first implemented capacity of a Time and Weather Collaboration Network.
Uma atualização de um mapeamento sistemático sobre desenvolvimento ágil para equipes distribuídas: resultados preliminares e boas práticas em evidência
(2019-07-11) Miranda, Rafael Marques; Rocha, Rodrigo Gusmão de Carvalho; http://lattes.cnpq.br/4654692334430085; http://lattes.cnpq.br/6488307420823162
In the rise in the last decade, Global Software Development, which has as its concept the distribution of its development processes, has been investigated by the industry and academia, in order to increase the base of the best experiences and resources used in distributed projects. In another context, Agile Development has become one of the most used software development methodologies in the industry. This method has come up with some new concepts, such as frequent deliveries, better communication, special focus on coding, among others. In the literature new challenges are pointed out in the adoption of agile in GSD projects because the agile practices are based on informal communication and of little documentation, it was defined for a co-located environment whereas the GSD needs a clear way of disseminating knowledge supported by tools and by nature is distributed. However, the evidence that agile development in global development contexts, despite the apparent dichotomy, has been successful with its agile practices supported by synchronous and asynchronous communication tools. This work aimed to identify, analyze and synthesize the studies on agile methods and their practices in the context of GSD, through an update of Systematic Mapping on agile development for distributed teams, in this way, to make a preliminary explanation of the results and to show a good practice. The results were addressed to the research questions raised in the initial phase of the work, it was possible to draw a parallel between the information synthesized in the previous mapping about the challenges, practices, tools and agile methods in the context of GSD with this extension, in continuity. Finally, based on the results, it was possible to verify the most frequently used practices during the period 2008 to 2018, allowing to highlight a set of good practices. This work may benefit future researchers and professionals in this area, with the results of updating the mapping data, can serve as a theoretical basis for processes of an agile global software development model (AGSD) focused on good agile practices in the context of GSD, such as to the exploration of other research questions as well.
Brincalculia: um objeto de aprendizagem destinado a discalculia
(2019) Lopes, Victor Matheus da Costa Teixeira; D’Emery, Richarlyson Alves; http://lattes.cnpq.br/3553920177544450; http://lattes.cnpq.br/2686517069765187
Introduction: The difficulties of learning are present in its most diverse fields of study, Mathematics is considered by students as one of the most difficult subjects of learning. The problem is that most people close to the students associate learning difficulties with laziness ot lack of interest on the part of the students. In this scenario is the Dyscalculia, which despite being considered a mental deficiency, limits cognitive processes for the learing of Mathematics. thus, it is necessary to think of solutions that aid in the exercise and development of the discalculic student. These introduce learning objects that are digital resources or not, which aims to help and stimulate students learning and can be a means to aid in their learning. Objective: This work aims to develop a Learning Object for discalculic students. Materials and Methods: Investigated characteristics of dyscalculia and, from your types, activities have been established that can exercise dyscalculia. After that, the learning object Brincalculia was developed and, because it is a Role-Playing Game, is described in a game design document containing the whole subject, mechanic and story approached. The development is given on the development platform Construct. Followed the model of development the iterative and incremental; and your interfaces follow best practices of design principles. Lastly there is an experimental design to validade your usability and acceptance through Sistem Usability Scale with a controlled experiment with prospective technique based on questionnaires applied to teachers and psychopedagogues. Results: This work resulted in a development of a learning object Brincalculia which, after its evaluation, was rated as excellent software that can be used by health professionals and education in the accompaniment of discalculic students.
Construção de uma solução para automatização de processos manuais de um assistente virtual
(2024-04-27) Araujo, Thales Gabriel dos Anjos; Medeiros, Victor Wanderley Costa de; http://lattes.cnpq.br/7159595141911505
Desenvolvimento de uma Plataforma para Auxiliar Tratamentos Fonológicos
(2021-03-09) Silva, Breno Silvério Limeira; D'Emery, Richarlyson Alves; http://lattes.cnpq.br/3553920177544450; http://lattes.cnpq.br/8532592523470199
Phonological disorders, also called phonological disorders, can be characterized in several ways, requiring a form of treatment in each of them, which can be through repetition of words, naming of images, assimilation of sounds, etc. This paper presents a computational solution that assists in the speech pathologists decision-making and brings them closer to patients through remote treatment. It uses web software for speech pathologists analysis and Android mobile application to perform tasks by patients, encouraging the practice of activities proposed in the treatment of phonological disorders.
A Diagnoses Instrument for Software Engineers’ Soft Skills
(2019) Bastos, Thiago Alves; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/9312633017399857
The use of Agile Methodologies among the Software Development Projects have beingin creasing in recent years. These methodologies have a set of values and principles which are people-centered, increasing the importance of the people factors for the success of projects using Agile methodologies. However, these factors are not fully understood by practitioners who work within Agile teams. This reality created a gap between what the companies are expecting from their Software Engineers and whatthey really know, in terms of Soft Skills, especially in their first-time job. Therefore, basedon a Literature Review and on the opinion of the Software Engineers working withinAgile Teams in the Digital Port of Recife, this work developed the MVP of an instrument capable of making a self evaluation of the 8 most important Soft Skills for a Software Engineer working in an Agile environment. Raising awareness about the relevance ofthe Soft Skills for the career of a Software Engineer, highlighting what are the mostrelevant Soft Skills for them and also reducing the existent gap in the IT job market.Moreover, during this study it was created a Soft Skill Catalog, containing the synonyms and the definitions of these Soft Skills found in the Literature. Finally, it was possible to realize the relevance of the Soft Skills for the Software Engineers where Leader ship and Negotiation were the two less important and Communication was the most important and the developed instrument came out as an extremely important instrument, specially for the Software Engineers in the beginning of the career. More over, it was also possible to realize that there aren’t enough activities inside the companies to improve the Soft Skills of their Software Engineers and the existent activities are not aligned with their expectations.
Diversidade de gênero no setor de tecnologia: barreiras encontradas e percepção de sucesso das mulheres do Porto Digital
(2021-12-09) Silva, Lizandra Lígia Soares Bezerra; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/6600757641977555
Over the years, it is remarkable that women have been increasingly conquering their space in society, acquiring rights and acting in the labor market. However, gender inequality and the absence of women in certain roles is still a problem that persists, especially when it comes to women working in the field of technology. In this context, the objective of this work is to analyze the reason for the low number of women working in the area of software development, and if the identified barriers can be overcome based on the perception of success. Based on a literature review, an online questionnaire was developed, which was applied to women from the Porto Digital ecosystem in Recife, obtaining a total of 83 responses. To support the analysis of the results, in addition to the literature review, the PSPP tool was used to perform statistical calculations. It was possible to identify which personal and organizational barriers were found, such as self-demanding, leadership problems and harassment. A positive work environment was indicated as an aspect of success in projects, and could also be a solution to overcome problems.
Gamificação aplicada na gestão de incertezas em projetos de software
(2018) Duarte, Thiago Augusto Costa; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/5077077457690723
The software market undergoes constant changes and new technologies are developed frequently, which stimulates competition between software companies. This environment brings a remarkable number of failures and uncertainties that can lead to failure. Based on the above considerations, it is important to highlight the relevance of a management that considers the importance of uncertainty management, which can directly affect the success of the project. The objective of this work is to propose a management approach to gamification uncertainties, in order to motivate the use of uncertainty management on an ongoing basis and thus increase the competitive advantages of organizations. Gamification is the application of game elements to processes in the real world, trying to achieve specific business goals by modifying people's behavior. Therefore, through the literature review, we sought to identify practices, techniques and strategies to support the management of uncertainties. Next, a gamification framework was elaborated, mapping the practices, techniques and uncertainty management strategies that can be explored in each orientation of the framework.Finally, the gamification uncertainty management approach was proposed. In this way, it is hoped to encourage the continuous use of the management of uncertainties in the organizations with the use of gamification
Guidelines para análise de viabilidade de projetos de automação de teste
(2019) Silva, Tamires Pereira da; Furtado, Ana Paula Carvalho Cavalcanti; http://lattes.cnpq.br/5862330768739698; http://lattes.cnpq.br/4997802496764016
Context: Performing tests is an essential activity in software development. Need some companies neglect their execution, with a justification of the effort and costs are not validin the project. With this, a test automation has emerged as an alternative to lessen these problems. But once solved, an automation, corrected, can make a project unfeasible,bringing more problems than solutions. The way to analyze is a feasibility of automatingthe automated testing of your deployment in a software project.Objective: This work,therefore, has as a goal a way of seeing the feasibility of an automation project, an increasing number of main tasks in the execution of the activity. From the data found, it isa way of performing an analysis of the feasibility of automation within a software project.Method: this proposal was elaborated with the intention of compiling a bibliographicalsurvey, in order to obtain the points of interest in the feasibility analysis, the meeting point was banned in the area, in order to compare the data contained in the results ofthe first part of search. The results were organized in the form of guidelines, validated from the execution of a case study.Results: The proposal was made according to the guidelines, which are points that must be included before starting an automation.The proposal was validated with a case body without the context of three reais. Ineach project, checklists were carried out in order to evaluate the possibility of using the automation.Conclusion: based on the results can be recognized as a whole, afeasibility analysis, there fore, represents a form of automation of the problems. The proposal of the guidelines was used through the case study as a way of validating the guidelines.
Heuristicidade: um software educacional baseado em Role-playing Game para exercitar princípios de usabilidade de software por analogias
(2019) Nascimento, Nedson Vieira do; D’Emery, Richarlyson Alves; http://lattes.cnpq.br/3553920177544450; http://lattes.cnpq.br/5324359469734479
Introduction: The increasing use of technology, through devices such as computers, smartphones and tablets, influence all sectors of society, therefore there is also a growing need for systems that are more interactive for human use. Disciplines such as Human-Machine Interface (HMI) study the usability surrounding computer systems, but some practitioners in the area often do not apply the principles of HMI in the software development process. It is essential to encourage the culture of using these principles through new teaching methods in the training of new professionals. In this context, digital games emerge, especially the Role-Playing Game (RPG), which have several characteristics, among them, a motivating effect. Objective: This paper proposes educational software based on RPG to assist in the teaching and learning process of undergraduate students in Computer, on the software usability principles. Materials and Methods: Software is cross-platform available for Web, mobile and desktop context. It has two versions, a complete one developed through the Construct and a prototype codified in Java organized in Model-View-Controller architecture; both developed by the iterative and incremental process. It is an RPG that, in its plot, narrates the adventure of a citizen residing in a city with diverse problems and, through its knowledge in principles of design, solves them. These problems are arranged in challenges through analogies to contemporary situations of a city. The player assumes the role of the citizen and must solve the challenges, through interaction with other citizens, mayor of the city and resources collection. The RPG interfaces follow basic principles of design and, for their elaboration, a survey was carried out in the RPG style game literature. The scenario is 2D and uses digital gaming techniques like sprites and tilemaps. It is described in a game design document. To evaluation the software and of your contribution in the process of teaching and learning, there was a controlled experiment with objective and prospective techniques from investigation by questionnaire applied to students who attended the discipline of HMI. The questionnaires follow heuristics of pedagogical usability and design principles. The analysis of the data was given by System Usability Scale (SUS) and by statistical inference by the Chi-Square test. Results: The Heuristicity RPG was classified, after the experiment, as excellent in the SUS evaluation. Statistical analysis evidenced the hypothesis that the software provides a significant contribution in the teaching and learning process of HMI principles. Conclusions: The use of games in Education can stimulate students' interest in the teaching and learning process. It was also observed the empathy of the students in the scenario proposed, mainly, to have a friendly interface, containing playful elements and arranged in current technologies of the daily life of these students.
Informe City: plataforma para informar e gerenciar problemas de infraestrutura urbana
(2018) Albuquerque, Natan de Souza; D’Emery, Richarlyson Alves; Pires, Glauber Magalhães; http://lattes.cnpq.br/1159581534108735; http://lattes.cnpq.br/3553920177544450; http://lattes.cnpq.br/6942586955274004
Introduction:In recent years there has been a significant increase in popular participationin public administration due to the use of information technology and the development ofcommunication mechanisms between population and government. These technologies appliedin public management gave rise to e-government. With the emergence of new devices suchas smartphones and the increasing increase of its users, it allowed the emergence of a newapproach to participatory public administration, which became known as mobile government.Among the focuses of urban management are urban infrastructure services, with their technicalnature characterized by systems and technical subsystems. These systems are subject to theappearance of problems that can compromise its operation, it is the responsibility of the municipalgovernment to solve them in the environments of the cities. The main difficulty of the governmentin this process is to identify the emergence of these problems. One approach to minimizing thischallenge is to stimulate society so that it can help in this process by reporting the problemsencountered because they are part of their day-to-day lives. This approach has been used formany years, but through limited means such as telephone exchanges and forms, which hinder theprocess for both parties.Objective:The objective of this work was to develop a software platformthat facilitates the process of dissemination, monitoring and control of urban infrastructureproblems. Method: It was based on steps common to software development processes, suchas: requirements gathering, use case planning, modeling of system components using UnifiedModeling Language, implementation, and validation tests. The platform was developed in theclient-server architecture, through a Web service in the architectural form Representational StateTransfer (REST) and two client applications. The Web service was developed using the Goprogramming language and MongoDB as the database. The first client application was used tomanage the problems reported on the platform. It was developed to be a single-page application,using the TypeScript language with the Angular framework 6, used the GoogleMaps JavaScriptAPI v3 and was styled with the CSS Bootstrap framework. The second client application wasdeveloped in the TypeScript language using the Ionic and PhoneGap frameworks, and wasdesigned to run on the Andoid, iOS and Window Phone platforms. This application made useof the GoogleMaps JavaScript API v3. At the end of the development, the applications weretested. The Web service was validated through unit testing, white box and load performance test,black box, using the latter the Vegeta tool. The two client applications were tested by functionaltest based on use cases and test cases. After running these tests the applications were validatedbecause they met your requirements.Conclusion:After the development and validation ofthe systems, it was verified that they met the requirements and objectives raised in this work.In this way, a software platform has been developed that facilitates the population to reportproblems through their smartphones and that provides the government with a tool to managethese problems.
Políticas para desenvolvimento de software seguro em times ágeis
(2019) Bezerra, Carlos Magnum Matias; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/9077153013471246
The values and principles of agile methodology ain to aggregate value to the business in a quick manner, being this agility, one of the critics factors for the successof this approaches. This success is crucial to attend the constant rising demand forsoftware, generated by the necessity of digital transformation. Currently, another concern, also resulting of this necessity, has gained more visibility, the cyber secu-rity. A lot of companies that have migrated for the digital world did not have thedue caution with the present threats in this scenery. As consequence, many security problems have being espoused in this past few years, this problems, tent to resultin social and financial losses. Software being one of the computational assets with the biggest expulser to this threats, the search for cyber security tend to become ademand. In this scenery, emerge the necessity to include security practices to the everyday live of the agile team. With the intent to contribute to the resolution ofthis task, this paper has as his goal to: establish cyber security policies, aggregating practices destined to the inclusion of security attributes to software projects, being developed for agile teams. To achieve this, it was necessary to perform a exploratory research through a bibliographic survey, to obtain an initial understanding of the problem and of the main approaches used to solve it. From the bibliography that itwas found it was considered only the research that present practices that included cyber security activities on software projects. Based on predefined criteria, an initialfiltering of the surveyed practices was conducted. The resulting subset was evaluatedby an agile development team with security expertise. The result of this evaluation evidenced the 14 (fourteen) most relevant practices and the stages of the development process to which they belonged. From the selected practices, five (5) policieswere structured and organized, then evaluated by experts, through interviews, tojudge their benefits for safety and applicability in agile teams. From the result of this assessment, it was concluded that 3 (three) of the policies were sufficiently ap-plicable to agile teams and contribute to project safety. Already 2 (two) of them,despite the security benefits, still need adjustments to make the incorporation viablein the agile world.
Privacidade e Segurança na Engenharia de Requisitos: um mapeamento sistemático da literatura
(2021-03-09) Napoleão, Juliana Mayara Gomes; Albuquerque, Hidelberg Oliveira; http://lattes.cnpq.br/0955255065576989
Requirements Engineering seeks to adapt techniques and tools to assist software development professionals in effectively meeting users' requests, thus minimizing the amount of errors and their subsequent correction costs. This work performs a Systematic Mapping of Literature in the scope of Requirements Engineering with a focus on two Non-Functional Requirements: Data Privacy and Security. The mapping carried out sought to answer the research questions through publications in the annals of events, magazines and digital libraries of distinction in the area of Requirements Engineering, in the period from 2014 to 2019. The results of this study can help students, professionals and researchers on the that has been explored in these areas of Requirements Engineering, and to show an overview of how they have been employed within software projects and / or business process models.
Refatoração de arquiteturas monolíticas em microserviços no contexto de desenvolvimento de software global
(2019) Gomes, Thiago Henrique Ferreira; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/2527989443347018
In the past few years, the Global Software Development has been adopted by many companies, way as they can benefit from the advantages linked to the use of this practice, from the reduction of costs and time to market. However, this technique brings many challenges to the teams who use it. With this work, we aim to map the strategies of refactoring applications aligned with the architectural characteristics demanded bythe distributed software development environment. For this, we used the benefits de-riving from using a modern software architecture, the microservices architecture. We also analyze what kind of practices we could apply to evolve the current applications that use an old architecture, the monolithic architecture, to this architecture based on microservices. We conduct two systematic mappings, to analyze the state-of-art of soft-ware architecture on the Global Software Development environment and refactoring of monolithic to microservices applications, respectively. By the end, we execute an analysis to identify the practices of refactoring, and the benefits of using the microservices architecture can contribute to the success of a project on the GSD environment. Withthis, we were able to conclude that all the practices found during this work have positive impacts inside of the GSD environment, and we relate to the necessities of the GSD environment with the offered benefits by using the microservice architecture
Relatório de Estágio Supervisionado Obrigatório (ESO)
(2019-06-16) Rodrigues, Mateus Resende; Rocha, Rodrigo Gusmão de Carvalho; http://lattes.cnpq.br/4654692334430085
Serviço computacional para interpolação espacial de dados meteorológicos
(2019) Antonio, Wellington Luiz; Gonçalves, Glauco Estácio; Medeiros, Victor Wanderley Costa de; http://lattes.cnpq.br/7159595141911505; http://lattes.cnpq.br/6157118581200722; http://lattes.cnpq.br/6454060359445906
The spatial interpolation is an essential technique for several fields, such as meteorology, hydrology, agricultural zoning, characterization of health risk areas, sociodemo-graphic, among others. Through interpolation, it is possible to model a surface of a spatially distributed variable from a finite set of known data points. In the case of weather data for agriculture, for instance, interpolation allows us to observe how weather variables behave on a given rural property, which could serve as input for irrigation management on this property. Due to the increasing demand for the use of spatial interpolation,this work proposed the development of a scalable service based on technologies and standards of state-of-the-art in distributed systems, for spatial interpolation of meteorological data associated with agriculture. In order to achieve this goal, we developed a web service based on three different reference evapotranspiration interpolation algorithms, namely: Inverse distance weighted (IDW), Ordinary Kriging (OK) and RandomForest (RF). The first two are widely used algorithms in the spatialization of reference evapotranspiration and they are known to produce low interpolation errors. The third algorithm is originated from Machine Learning. It has been used in recent studies as an alternative for spatial interpolation of environmental variables. This last algorithmhas also been obtaining promising results in the estimation of evapotranspiration. The spatial interpolation web service proposed was developed and its performace was evaluated through measurement. This service was deployed on a production enviromentusing Docker container and a mobile application was developed to integrate and show the main functionalities of the web service. The developed service can be applied inseveral areas. However, in this work more attention was paid to the agricultural sector,as this one is the sector to which this study is focused on. The main beneficiaries of the web service are researchers and developers, which, in turn, are able to develop studies that will benefit the farmer from the application of the service. During this work,we also sought to evaluate how the developed service could be useful for the promotion of the performance and the scalability with respect to spatial interpolation calculus and generation of spatial models. We also highlighted the importance of this software as a support tool for other researches or even for other software, such as Aquaprev, which uses, among other parameters, evapotranspiration and spatial interpolation to estimate the irrigation time of a given crop.
Verificação de refinamento em diagramas de sequência com estruturas de controle
(2019) Araújo, Daniel José Freire de; Lima, Lucas Albertins de; http://lattes.cnpq.br/0465071050875729; http://lattes.cnpq.br/5219541109924367
The UML language offers several types of diagrams for system modeling, among themain behavioral diagrams is the sequence diagram. The sequence diagram can beused to model system use cases simply and visually. However, the UML language asa whole presents informal models that can only be verified by human experience. Thispaper refers to the continuation of a research line that aims to formalize UML sequence diagrams and perform refinement checks between diagrams.Here we propose aninitial version of a tool capable of translating UML sequence diagrams into CSP and perform-ing a refinement check using the FDR4 verifier. The differential point of this work isthe process of formalization of combined fragments that represent control structures insequence diagrams, here we will cover fragments such asoption,alternative, paralleland loop.