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

  • Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT. 
    CARTAXO, E. G.; http://lattes.cnpq.br/5617832076061321; CARTAXO, Emanuela Gadelha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-06-30)
    Testing is the most commonly applied technique to evaluate the quality of software as part of verification & validation processes. However, it is usually an expensive activity. Promising to reduce costs as well as promoting ...
  • "Análise e diagramação automática de álbuns fotográficos". 
    CAVALCANTI, C. S. V. C.; http://lattes.cnpq.br/2531237708249588; CAVALCANTI, Cláudio Sebastião Vasconcelos da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-09-27)
    The popularization of digital photography, due to the continued decline in the costs of photographic equipments, has resulted in a demand for tools and methods to facilitate the selection and organization of very large ...
  • Programação orientada ao problema: uma metodologia para entendimento de problemas e especificação no contexto de ensino de programação para iniciantes. 
    MENDONÇA, Andréa P.; http://lattes.cnpq.br/0938462047218130; MENDONÇA, Andréa Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-11-30)
    Traditionally, introductory programming courses emphasize the development of logical reasoning and the construction of programs, more than any other skill. In theses couses, well-defined problems are resources used to ...
  • Rede de atividades de alto nível aplicada à edição, atualização e acompanhamento de design instrucional com suporte a learning analytics. 
    NUNES, I. D.; http://lattes.cnpq.br/2087785677186785; NUNES, Isabel Dillmann. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-06-06)
    The Instructional Design (ID) defines the sequence of delivery of learning objects to students. However, the monitoring of student activities at runtime is still difficult to perform an activity. This work proposes the use ...
  • Um modelo computacional para a construção de sistemas educacionais adaptativos e semânticos. 
    Bittencourt, Ig Ibert; http://lattes.cnpq.br/4038730280834132; PINTO, Ig Ibert Bittencourt Santana. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-14)
    This research examines the design and effective development of adaptive and semantic Web-based educational systems, integrating artificial intelligence techniques and semantic Web-based technologies. In this sense, this ...
  • Modelo de análise de conflitos em diálogos em aprendizagem colaborativa. 
    PRATA, D. N.; http://lattes.cnpq.br/7533983313189933; PRATA, David Nadler. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-12-19)
    Students not only must have cognitive skills, but also social ones that enable them to share knowledge in collaboration, due to the increasing complexity of the knowledge they must learn. The internet is transforming ...
  • Uma abordagem automatizada para testar ferramentas de refatoramento. 
    SOARES, G. A.; http://lattes.cnpq.br/6215732726947926; SOARES, Gustavo Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-03)
    Refactoring is a transformation applied to the program to improve its internal structure without changing its external behavior. Although it brings benefits, such as making it easier to maintain the code, it also involves ...
  • Uma linha de produto de software baseada na web semântica para sistemas tutores inteligentes. 
    SILVA, A. P.; http://lattes.cnpq.br/2752203627912781; SILVA, Alan Pedro da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-02-18)
    This research is related to design and building effective and large scale Intelligent Tutoring Systems under the Semantic Web perspective. It deals with clearly an interdisciplinary theme which surrounds a conjunction ...
  • Captura e análise da percepção de cenas urbanas em diferentes escalas. 
    CANDEIA, David; http://lattes.cnpq.br/6490865184056059; MAIA, David Candeia Medeiros. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-09-06)
    Urban perception concept can be seen as the understanding, the meaning that people give to their urban spaces. Such perception are of great importance since people guide their actions in space according to how they perceive ...
  • NoBI: uma interface Northbound para a programação dinâmica de redes OpenFlow com suporte à interoperabilidade entre controladores. 
    VASCONCELOS, C. R.; http://lattes.cnpq.br/3673424768342355; VASCONCELOS, César Rocha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-06-04)
    The Software-Defined Networking (SDN) is a new paradigm that is attracting significant interest from both academy and network industry. Unlike tradicional networks, the SDN paradigm enables innovation by encouraging the ...
  • Teste baseado em modelos simbólicos para sistemas de tempo real. 
    ANDRADE, W. L.; http://lattes.cnpq.br/3697205933296303; ANDRADE, Wilkerson de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-04)
    Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, ...
  • Abordagem multiagente para a propaganda pervasiva. 
    BUBLITZ, Frederico Moreira.; http://lattes.cnpq.br/3910966211279217; BUBLITZ, Frederico Moreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08)
    The Pervasive Advertising stands out from other forms of ad serving by allowing the delivery of context-sensitive advertisements to consumers. Thus, it is possible to deliver the most relevant ads, increasing the ...
  • Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais. 
    DUARTE, A. N.; http://lattes.cnpq.br/1982919735990024; DUARTE, Alexandre Nóbrega. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-05-31)
    A lot of research effort has being put to find better mechanisms for fault treatment on grid computing aiming at improving the reliability of such infrastructures. Ideally, a grid user should be able to submit a set of ...
  • DBFIRE: recuperação de documentos relacionados a consultas a banco de dados. 
    CATAO, V. S.; http://lattes.cnpq.br/9004848457100237; CATÃO, Vladimir Soares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-11-21)
  • Capacidade quântica de sigilo erro-zero e informação acessível erro-zero de fontes quânticas. 
    COSTA, E. B. G.; http://lattes.cnpq.br/6466781778573760; COSTA, Elloá Barreto Guedes da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-11-13)
    Quantum Information Theory is a research area that investigates the limits of information processing and transmission considering the laws of Quantum Mechanics. The translation of concepts from Classical Information Theory ...
  • Investigando como características desejáveis afetam o desempenho de perguntas sobre programação em sites de perguntas e respostas. 
    SOUZA, C. C.; http://lattes.cnpq.br/4688807528550419; SOUZA, Cleyton Caetano de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-06)
    The social query is a way to find information in social media age. It is the process of sharing a problem with the user of an online community and waiting for answers. Getting help demands that someone able and willing ...
  • MDA-Veritas: uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica. 
    BARBOSA, P. E. S.; http://lattes.cnpq.br/9229454955533353; BARBOSA, Paulo Eduardo e Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-09-08)
    MDA is a software development trend that aims to shift the focus and efforts of the current development methodologies. The implementation method changes from only code production to the usage of models, metamodels and ...
  • Learning syntactic program transformations from examples. 
    SOUSA, R. R.; http://lattes.cnpq.br/7392223184852549; SOUSA, Reudismam Rolim de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-08-02)
    Tools such as ErrorProne, ReSharper, and PMD help programmers by automatically detecting and/or removing several suspicious code patterns, potential bugs, or instances of bad code style. These rules could be expressed ...
  • Abordagem avaliativa multidimensional para previsão da evasão do discente em cursos on-line. 
    MORAIS, A. M.; http://lattes.cnpq.br/2552086192905349; MORAIS, Alana Marques de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-04-20)
    The student’s dropout in online courses was pointed out as one of the biggest issue in the area according to the educational organizations. The main result was the high dropout rates in these courses compared to face-to-face ...
  • Conciliando satisfação e paridade para promover reciprocidade em federações de provedores de computação na nuvem. 
    FALCÃO, E. L.; http://lattes.cnpq.br/8335184809043358; FALCÃO, Eduardo de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-04-24)
    Private cloud providers could obtain considerable benefits from operating their infrastructures within a federation. Such operation allows a provider’s exceeding demand to be met by other providers experimenting a resource ...

Buscar DSpace


Busca avançada

Navegar

Minha conta