Mestrado em Ciência da Computação.: Recent submissions

  • Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. 
    http://lattes.cnpq.br/7626899228365937; MOREIRA, Anne Lorayne Gerônimo Silva Augusto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The embedded system development had a positive impact on the expansion of applications dependent on programmable devices inside many areas such as automotive industry, financial services, and medical systems. A failure in ...
  • Modelo de redes bayesianas para melhoria do trabalho em equipe em projetos ágeis de desenvolvimento de software. 
    FREIRE, A. S.; http://lattes.cnpq.br/5808633010128526; FREIRE, Arthur Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Agile methods consider individuals and interactions more important than processes and tools. In addition, agile teams are required to be self-organized to ensure rapid aggregation of value and responsiveness to change. ...
  • Automatic decomposition of code review changesets in open source software projects. 
    http://lattes.cnpq.br/5451570808284186; FREIRE, Victor da Cunha Luna. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Code review is a widely used activity for source code quality assurance. As a typical review activity, code review is strongly dependent on developers’ ability to understand the code under revision. As a consequence, the ...
  • GeoDrill : uso de SQL para integração de fontes de dados espaciais heterogêneas com ou sem esquema. 
    http://lattes.cnpq.br/5456214966384238; ACIOLI FILHO, José Amilton Moura. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-09-02)
    With the evolution of the web and information systems, organizations have obtained data of various formats, structures and types, specially the spatial one. Due to different characteristics presented in data, such data ...
  • Gerenciamento de energia em ambientes corporativos. 
    BARROS, Z. C.; http://lattes.cnpq.br/8074544820287124; BARROS, Zeus Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Energy management is a key activity to be implemented in all computer systems in the search for sustainability in IT (green IT). Considering the performance and the power budget for the period as constraints to this ...
  • Uma linguagem de aspectos para QVT. 
    VIEIRA, C. A. N.; http://lattes.cnpq.br/1422529807757771; VIEIRA, Carlos Artur Nascimento. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    MDA (Model-Driven Architecture) is a standard specified by the Object Management group (OMG) that allows a developer to generate models from models by means of MDA Transformations, a set of functions that match and bind ...
  • Processamento analítico espacial e exploratório integrando dados estruturados e semiestruturados. 
    http://lattes.cnpq.br/9968731111485780; LEITE, Daniel Farias Batista. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Business Intelligence (BI) technologies have been successfully applied for data analysis purposes. Traditionally, such analysis is performed in well-controlled and restricted context, where data sources are structured, ...
  • Uma técnica de priorização de casos de teste para múltiplas mudanças agregadas. 
    CAVALCANTE, B. É. S.; http://lattes.cnpq.br/1898238769789346; CAVALCANTE, Berg Élisson Sampaio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The investiment on software quality has grown. To ensure acceptable quality in a product, one needs to determine its testability, a property that indicates the feasibility and accuracy in test results evaluation. Regression ...
  • Avaliação experimental de sistemas de rastreamento ocular do ponto de vista de ações de apontamento e seleção: um estudo de caso. 
    SARMENTO, C. F.; http://lattes.cnpq.br/1181526640668666; SARMENTO, Camila Freitas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The main objective of this dissertation is to compare the usability of two eyetrackers of the public domain (which use only the image captured by a conventional webcam), and a low-cost commercial eye tracker, the Tobii ...
  • Uma abordagem baseada em componentes para o desenvolvimento de aplicações pervasivas cientes de contexto de ambiente: foco em sensores. 
    http://lattes.cnpq.br/6621375565391962; PAIVA, Bruno Fábio de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The pervasive computing is a paradigm which the computer becomes ubiquitous and invisible to the user with the ability to get information about the surrounding environment and use them to control, configure and tune ...
  • Uma técnica para compilar sistemas configuráveis com #ifdefs baseada no impacto da mudança. 
    Braz, L.; http://lattes.cnpq.br/8165795938361270; BRASILEIRO, Larissa Nadja Braz. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability aware parsers, such as TypeChef. However, they ...
  • Compreendendo programas por meio de Design by Contract: um estudo com desenvolvedores. 
    CARVALHO JUNIOR, N. G.; http://lattes.cnpq.br/3913710112648736; CARVALHO JÚNIOR, Normando Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017)
    Program comprehension is generally a difficult task, since each part of code meets specific requirements. In some cases, factors - such as comprehend programs that were written by others, limited scope of existing tools, and ...
  • Listas usadas como conjuntos: um estudo através de ferramenta de reescrita. 
    CAVALCANTE, F. N.; http://lattes.cnpq.br/1723761355629636; CAVALCANTE, Filipe Neves. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017)
    Java Collections Framework (JCF) offers a set of Abstract Data Types (ADTs) in the Java language, being a widely used framework. However, because particularities of each collection the usage are neglected in favor of ...
  • Uma abordagem para analisar a atenção de espectadores utilizando visão computacional. 
    OLIVEIRA, Í. P.; http://lattes.cnpq.br/8530154038678495; OLIVEIRA, Ítalo de Pontes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    DigitalSignageconsistsincontenttransmissionbydigitalmedia,veryoftenusinginformative panels displayed in public places for audience attention arouse. The research described in this dissertation, consists in creating a method ...
  • Um estudo sobre os efeitos do pensamento computacional na educação. 
    RODRIGUES, R. S.; http://lattes.cnpq.br/1872062512075828; RODRIGUES, Rivanilson da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Ensure that the population has access to a quality basic education is not an easy task, according to OECD (Organization report for Economic Cooperation and Development) in the latest PISA assessment (Programme for International ...
  • Uma arquitetura orientada a serviços para integração de redes de sensores e atuadores heterogêneos na internet das coisas. 
    GOMES, Y. F.; http://lattes.cnpq.br/3448881989802840; GOMES, Yuri Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The vision of Internet of Things enabled the development of a diverse range of applications and service not possible before due to a number of limitations. Despite some remaining problems still exists on hardware, such as ...
  • Uma abordagem para orquestração do conhecimento com suporte ao planejamento e à avaliação curricular em ciência da computação. 
    BARBOSA, A. F.; http://lattes.cnpq.br/5590648222014479; BARBOSA, Anderson Felinto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-02-29)
    The Reference Curriculum for Degree Courses in Computer Science and Computer Engineering (RC) is a document developed by the Brazilian Computer Society that aims to describe a set of information related to computing education ...
  • O uso do pensamento computacional como estratégia para resolução de problemas matemáticos. 
    MESTRE, P. A. A.; http://lattes.cnpq.br/0996537501960826; MESTRE, Palloma Alencar Alves. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017)
    Computational Thinking (PC) comprises a set of computational abilities to solve problems of the various areas of knowledge, combining mathematical and engineering thinking. These skills are fundamental to everyone, not ...
  • Avaliação da utilização de leaderboards em disciplinas introdutórias de programação. 
    MEDEIROS, K. H. M.; http://lattes.cnpq.br/3106982631283417; MEDEIROS, Kláudio Henrique Mascarenhas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Among the important practices to students of introductory programming is the exercise solving. There are programming courses that offer a large set of problems to students. Despite this availability, there are cases of ...
  • Geração automática de playlists: entendendo as percepções e expectativas de criadores humanos. 
    http://lattes.cnpq.br/2568002029375186; AMARAL, Vítor de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)

Buscar DSpace


Busca avançada

Navegar

Minha conta