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

  • Arcabouço de software para a aquisição de dados de saúde através de jogos eletrônicos. 
    SANTOS JÚNIOR, A. D; http://lattes.cnpq.br/4944193164416367; SANTOS JÚNIOR, Antônio Dias dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-15)
    Health monitoring, which could only be done in specialized places, such as clinics and hospitais, can now be performed at home thanks to the advances in Information and Communication Technologies. Monitoring health data ...
  • Processo de desenvolvimento de software ágil com adição de práticas para melhoria da qualidade dos produtos finais. 
    SELISTER, P. M. D.; http://lattes.cnpq.br/3691395499614973; SELISTER, Pryscilla Marcili Dóra. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-12-12)
    The tasks which have been executed for more than 10 years on LSD (Distributed System Laboratory) show a consolidation of results in Distributed Systems area, mainly in research on Grids Computing, Cloud computing, ...
  • RDF na interoperabilidade entre domínios na web. 
    SANTOS, D. S. A.; http://lattes.cnpq.br/2408818090064282; SANTOS, Domingos Sávio Apolônio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-07-30)
    This work is a study of the applicability of The Resource Description Framework (RDF) on the interoperability of data between different domains. First, the theoretical context of the theme is given, followed by a case study ...
  • CVSyn - acoplando um mecanismo de notificação síncrono ao CVS para otimizar a comunicação no desenvolvimento global de software. 
    DANTAS, P. L.; http://lattes.cnpq.br/7237139389837851; DANTAS, Pasquêline Lacerda. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-04-26)
    Global Software Development is an approach that requires a lot of investment, over all with technology. In this context, the small and medium sized organizations are those that suffer the impacts caused by physical ...
  • Uma estratégia para escrita de cenários de caso de uso voltados à geração automática de casos de teste. 
    JUCÁ, M. A.; http://lattes.cnpq.br/2965835643666014; JUCÁ, Makelli Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-07-01)
    The usefulness of the model produced on software development covers a range of activities in the product life cycle, ranging from improving the quality of the specification to the test generation . Model Based Testing is ...
  • Projeto e implementação do módulo TAME da ferramenta iTAOS para análise e modelagem de tarefa. 
    CORDEIRO, P. B.; http://lattes.cnpq.br/2571108594561901; CORDEIRO, Pedro Barbosa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-26)
    The demand for interactive software with a high degree of usability has been increasing. The importance of such kind of software is highly noted, it is important for the user and for the company that produces it. To ...
  • Um modelo para o desenvolvimento de aplicações baseadas em agentes móveis. 
    GUEDES, F. P.; http://lattes.cnpq.br/2457040447787209; GUEDES, Fabiana Paulino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-30)
    More recently, a new paradigm for developing large-scale distributed applications has emerged: mobile agents. A mobile agent is an autonomous software entity that can migrate to different physical locations and continue ...
  • Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos. 
    CANEDO, E. D.; http://lattes.cnpq.br/9554285834432091; CANEDO, Edna Dias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-29)
    The integration of Petri nets theory and object oriented-object concepts has emerged as a solution to decompose and structure Petri net models. In this work it is presented a study and experimentation of a modeling ...
  • Um método de teste funcional para verificação de componentes. 
    FARIAS, C. M.; http://lattes.cnpq.br/0098969128484565; FARIAS, Carina Machado de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-27)
    Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design ...
  • Geração automática de casos de teste para sistemas baseados em agentes móveis. 
    FIGUEIREDO, A. L. L.; http://lattes.cnpq.br/4979118853748310; FIGUEIREDO, André Luiz Lima de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-06-06)
    Looking for reliability regarding to their systems correction, developers have, increasingly, used software testing. This activity can be defined as a set of experiments performed over an implementation, which the results ...
  • Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE. 
    COSTA, A. A.; http://lattes.cnpq.br/5322161340808559; COSTA, André Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-12-06)
    The use of developing platforms to support the implementation of distributed applications has become a trend. These platforms provide a number of specialized services that help programmers to focus on the business logic ...
  • Pareamento privado de atributos no contexto da resolução de entidades com preservação de privacidade. 
    NÓBREGA, Thiago Pereira da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-05-11)
    The Privacy Preserve Record Linkage (PPRL) aims to identify entities, that can not have their information disclosed (e.g., Medical Records), which correspond to the same real-world object across different databases. It ...
  • How do work motivation aspects impact software developer turnover? A quantitative study with brazilian developers. 
    http://lattes.cnpq.br/9298516225719260; SILVA, Wallison Fernando da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-01)
    With the fast increase of the software market, the demand of professionals is also increasing, so there are studies that indicate a high rate of staff turnover, since many professionals move to other companies in a short ...
  • Estratégias para o suporte a ambientes de execução confiável em sistemas de computação na nuvem. 
    SAMPAIO, L. R.; http://lattes.cnpq.br/2334194004546171; SAMPAIO, Lília Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-02-15)
    The high level of computing power offered by cloud providers, together with theflexibility, efficiency and reduced cost they also offer, have increased the number of users wanting to deploy their applications on the cloud. ...
  • Desafios no desenvolvimento de aplicações seguras usando Intel SGX. 
    http://lattes.cnpq.br/4448932313442823; SILVA, Rodolfo de Andrade Marinho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-01)
    During the last few decades, an increasing amount of user data have been sent to environments not controlled by data owners. In some cases these data are sent with the objective to turn them public, but in the vast majority ...
  • Verificação de conformidade entre diagramas de sequência UML e código Java. 
    RABELO JÚNIOR, S. E. P.; http://lattes.cnpq.br/8210915700863422; RABELO JÚNIOR, Sebastião Estefânio Pinto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-11-11)
    Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite ...
  • Seleção de anúncios em sinalização digital baseada na segmentação de mercado e comportamento do consumidor. 
    SILVA, L. S.; http://lattes.cnpq.br/4856480961305199; SILVA, Leonardo Soares e. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-05)
    world where the consumer's individual demand is ever growing, the increase in the desire for custom products causes a direct impact in publicity. Consumers are daily exposed to a myriad of communication media and require ...
  • Uma abordagem para avaliar refatoramentos baseada no impacto da mudança. 
    SABINO, M. M. C. L.; http://lattes.cnpq.br/7535849756393864; SABINO, Melina Mongiovi Cunha Lima. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-11)
    Refactorings are transformations that improve the internal structure of the program while preserving its observable behavior. In practice, developers use regression tests and refactoring tools to ensure that the refactoring ...
  • Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C. 
    MENDES, G. W. D.; http://lattes.cnpq.br/6081656791771567; MENDES, Gustavo Wagner Diniz. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-03-13)
    Refactoring a program is the act of changing its structure in order to improve any architectural aspect, without changing its observable behavior. Developers use tools like Eclipse and NetBeans to help refactoring their ...
  • Uma técnica para verificar não conformidades em programas especificados com contratos. 
    OLIVEIRA, C. V. S.; http://lattes.cnpq.br/4630058545897718; OLIVEIRA, Catuxe Varjão de Santana. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-15)
    Writing formal specifications by contracts is a practical and reliable way to build softwares in which developers and clients keep an agreement with rights and obligations to be fulfilled. These responsibilities are ...

Buscar DSpace


Busca avançada

Navegar

Minha conta