DSpace/Manakin Repository

Navegação Doutorado em Ciência da Computação. por título

Navegação Doutorado em Ciência da Computação. por título

Classificar por: Ordenar: Resultados:

  • Habilitando a checagem estática de conformidade arquitetural de software em evolução. 
    BITTENCOURT, R. A.; http://lattes.cnpq.br/6148546666142551; BITTENCOURT, Roberto Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-29)
    The refíexion model technique is a static conformance checking technique to keep architecture module views and implementation conformant. It can either prevent or remedy software aging by combating architecture deterioration. ...
  • Histrategy: uma técnica para a customização guiada de estratégias para a detecção de bad smells. 
    Hozano, Mário; http://lattes.cnpq.br/0875764018578208; SOUZA, Mário Hozano Lucas de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-06-02)
    Bad smells indicate poor implementation choices that may hinder program comprehension and maintenance. Their informal definition allows developers to follow different heuristics to detect smells in their projects. In ...
  • Improving tail latency of interactive cloud microservices through management of background tasks. 
    http://lattes.cnpq.br/8895463227448929; FIREMAN, Daniel Lacet de Faria. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-07-30)
    The increase in use cases with strict latency requirements, e.g., e-commerce and real-time data management, has been pushing towards greater control over performance variability. That is because even infrequent spikes might ...
  • Investigação do problema de detecção de faces com variações de orientação. 
    PEREIRA, E. T.; http://lattes.cnpq.br/2030738304003254; PEREIRA, Eanes Torres. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-06)
    In this thesis, the problem of detecting faces that present high variations of orientation is investigated. Some factores were identified that may infiuence the detection results when some evaluation metrics are used. ...
  • Investigação sobre uso de vocabulário de código-fonte para identificação de especialistas. 
    SANTOS,; http://lattes.cnpq.br/1246085373474860; SANTOS, Katyusco de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-02-28)
    Identifiers and comments from a source code are the software vocabulary. Research point vocabularies as a valuable source of information about the project. To understand we developed a tool that extract them from source ...
  • 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 ...
  • Investigation of similarity-based test case selection for specification-based regression testing. 
    OLIVEIRA NETO, F. G.; http://lattes.cnpq.br/4052914754332243; OLIVEIRA NETO, Francisco Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-07-30)
    During software maintenance, several modifications can be performed in a specification model in order to satisfy new requirements. Perform regression testing on modified software is known to be a costly and laborious task. ...
  • Investigation of test case prioritization for model-based testing. 
    OURIQUES, J. F. S.; http://lattes.cnpq.br/5942038723451559; OURIQUES, João Felipe Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-12-12)
    Software Testing is an expensive and laborious task among the Verification and Validation ones. Nevertheless testing is still the main way of assessing the quality of systems under development. In Model-Based Testing ...
  • Just in time clouds: uma abordagem baseada em recursos terceirizados para a ampliação da elasticidade de provedores de computação na nuvem. 
    COSTA, R. E. O.; http://lattes.cnpq.br/3145331081780004; COSTA, Rostand Edson Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-05)
    The throughput obtained when executing HTC (High Throughput Computing) applications on a computing infrastructure depends directly on the scale that it offers. In this context, the size of the processing pool is the principal ...
  • 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 ...
  • Leveraging the entity matching performance through adaptive indexing and efficient parallelization 
    MESTRE, D. G.; http://lattes.cnpq.br/7207365006541712; MESTRE, Demetrio Gomes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-27)
    Entity Matching (EM), i.e., the task of identifying all entities referring to the same realworld object, is an important and difficult task for data sources integration and cleansing. A major difficulty for this task ...
  • 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 ...
  • Mapeamento da diversidade de criadores de conteúdo geolocalizado em redes geossociais em cidades brasileiras. 
    MORAIS, A. M.; http://lattes.cnpq.br/3468814837736282; MORAIS, Aline 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-01-29)
    Geo-Social Networks (GSNs) are a type of collaborative systems with geolocated information as their shared content. This specific content allows the linking between real and virtual worlds. Nowadays, the popularization of ...
  • 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 ...
  • Measuring and fostering cognitive programming skills in beginners. 
    SANTOS, J. S.; http://lattes.cnpq.br/4603605800436333; SANTOS, Jucelio Soares dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2023-01-16)
    The current instructions to teach cognitive programming skills have gaps in identifying, structuring and sequencing them. Novices in the Introduction to Programming Course (CS1) often have different levels of prior ...
  • Metrologia da captura e reprodução de rastros de sistemas de arquivos. 
    PEREIRA, Thiago Emmanuel; http://lattes.cnpq.br/3273998433544268; SILVA, Thiago Emmanuel Pereira da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
  • Um método para medição de software com foco na interpretação de medidas. 
    SARAIVA, R. M.; http://lattes.cnpq.br/8287274841928479; SARAIVA, Renata Mendonça. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-08-20)
    With the evolution of technology and high competitiveness, there is an increasing need for software companies to reduce costs and improve the productivity and the quality of the products delivered. In this context, software ...
  • Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia. 
    CESAR SOBRINHO, A. A. C.; http://lattes.cnpq.br/5640399839698012; CÉSAR SOBRINHO, Álvaro Álvares de Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Embedded systems are part of the general population’s everyday life, from domestic, to industrial and governmental environments. The use of embedded systems has grown as a result, for example, of the dissemination of ...
  • Métodos para extração de atributos em imagens de impressão digital. 
    PRIMO, João Janduy Brasileiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-09-14)
    Among the various characteristics of individuals that can be used in a biometric system, fingerprints have been widely used as they enable high accuracy and require low-cost equipment. However, fingerprint recognition ...
  • Mineração de rationale e consenso em fóruns MOOC para suporte à engenharia da plataforma de software e à qualidade do ensino. 
    http://lattes.cnpq.br/9037611066420991; CLEMENTINO, Tiago Lucas Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-02-19)
    Managing an online collaboration tool such as the discussion forum can take great effort as the number of colaboradors grows. In the educational context, new problems may arise related to the large number of participants, ...

Buscar DSpace


Busca avançada

Navegar

Minha conta