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

  • Um modelo para tratamento de confiança sobre transações de e-business. 
    PILLATT, F. R.; http://lattes.cnpq.br/1487030523579181; PILLATT, Fábio Roberto. (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)
    When evaluating today business environment, it is noticed that e-business technologies are being outlined as fundamental pieces to strengthen the value chain of traditional business activities. Furthermore, the growth ...
  • Desenvolvimento de software guiado por testes de aceitação usando EasyAccept. 
    ABATH NETO, O. L.; http://lattes.cnpq.br/2814066949357161; ABATH NETO, Osório Lopes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-08-30)
    Acceptance Test Driven Development (ATDD) is an emerging agile methodology to develop software which has a number of advantages, including confidence in the software being developed, automated synchronization between ...
  • Ferramenta para aumento da produtividade no desenvolvimento de aplicações web sobre a plataforma J2EE. 
    SANTOS JÚNIOR, J. M. R.; http://lattes.cnpq.br/7278949482258821; SANTOS JÚNIOR, José Maria Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-28)
    This work discusses the need of strategies and tools for a more productive and less complex development of Web applications on Java 2 Enterprise Edition (J2EE). A study on the J2EE platform was initially made, especially ...
  • Infraestrutura para o desenvolvimento de aplicações pervasivas cientes de redes sociais. 
    SANTOS, D. B. A.; http://lattes.cnpq.br/5915412372281990; SANTOS, Daniel Bruno Alves dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-05-06)
    The past years has been characterized by widespread access to the Internet, extraordinary advances in wireless communications technology and mobile devices massification in consumer market. This scenario has proved to be ...
  • Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. 
    SILVA, D. A.; http://lattes.cnpq.br/0957879919581462; SILVA, Daniel Aguiar da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-05-26)
    Techniques and tools for model based testing have been developed to make the process of testing distributed concurrent reactive systems more efficient and rigorous. The inherent nondeterminism of these systems can make ...
  • Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design. 
    MONTEIRO, J. A. B.; http://lattes.cnpq.br/7892247821251194; MONTEIRO, João Arthur Brunet. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-07-26)
    Assuring that a program conforms to its specification is a key concern in software quality assurance. Although there is substantial tool support to check whether an implementation complies to its functional requirements, ...
  • Geração de casos de teste de interação para aplicações de celulares. 
    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, 2007-03-02)
    The mobile phone market has become even more competitive, demanding high quality standards. In this context, applications are developed as sets of functionalities, called features. Such features are combined in use case ...
  • Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. 
    BARBOSA, A. E. V.; http://lattes.cnpq.br/1135602078298154; BARBOSA, Ana Emília Victor. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-04-20)
    In this work we propose and develop a technique that allows to detect the violation of behavior properties of concurrent systems. The technique was inspired by the Design by Contract (DbC) programming methodology, which ...
  • COMPOR - desenvolvimento de software para sistemas multiagentes. 
    ALMEIDA, H. O.; http://lattes.cnpq.br/4993914550234923; ALMEIDA, Hyggo Oliveira de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-17)
    Many researchers have been claimed that the multiagent approach is suitable for the development of complex software systems. Many works have been proposed focusing methodologies and tools to apply the multiagent approach ...
  • Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. 
    SILVEIRA, G. S.; http://lattes.cnpq.br/2934289095298260; SILVEIRA, George Sobral. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-06-20)
    The advent of the new VLSI technology and SoC design methodologies has brought about an explosive growth to the complexity of modern electronic circuits. As a result, the functional verification has become the main ...
  • Especificação de componentes para modelagem de redes locais de computadores sem fio padrão IEEE 802.11. 
    VASCONCELOS, G. V.; http://lattes.cnpq.br/2415052831272011; VASCONCELOS, Geovane Vitor. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-28)
    The wireless computer network technologies have considerably evolved in the last decade and, as such, do represent an important technical alternative for local area networking. The IEEE (Institute of Electrical and ...
  • Infraestrutura de software baseada em componentes para a construção de aplicações para comunidades virtuais móveis. 
    FERREIRA, G. V. V. M.; http://lattes.cnpq.br/0330292030066080; FERREIRA, Glauber Vinicius Ventura de Melo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-10-02)
    The popularization of mobile devices and wireless communication technologies has allowed the development of various applications concerning mobile virtual communities. Examples of such applications are related to mobile ...
  • Um middleware extensível para disponibilização de serviços em ambientes pervasivos. 
    http://lattes.cnpq.br/2192118955006184; LOUREIRO FILHO, Emerson Cavalcante. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-07-19)
    The advances in hardware and wirelessnetworking technology have enabled the realization of so-called paradigm of pervasive computing, also known as ubiquitous computing. Insuch a paradigm, computing is embedded in everyday ...
  • Infraestrutura para transmissão de conteúdo multimídia com suporte à adaptação de fluxos. 
    CALADO, I. A. A. R.; http://lattes.cnpq.br/5748220882915553; CALADO, Ivo Augusto Andrade Rocha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-03-11)
    The spread of different kinds of multimedia applications has enabled a powerful interaction between users in diverse locations. However, the best effort service nature of the Internet requires a continuous process of ...
  • SAMOA - Sistema de Apoio à Modelagem Orientada a Objetos de Aplicações. 
    SILVA, E. R.; http://lattes.cnpq.br/2013678078020602; SILVA, Edemberg Rocha da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-12-22)
    Design patterns are considered one of the most valuable technologies to produce quality software. A technique to improve the use of patterns is to identify their realizations and to induce a knowlege to enhance their ...
  • Estudo de técnicas para classificação de vozes afetadas por patologias. 
    MARINUS, J. V. M. L.; http://lattes.cnpq.br/9632762751005388; MARINUS, João Vilian de Moraes Lima. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-11-29)
    In recent years, several studies in digital voice processing are being made in order to create techniques to support a noninvasive accurate diagnosis of vocal tract diseases by aspecialist, making the patient feel comfortable ...
  • Algoritmos para composição automática de fotografias. 
    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, 2007-07-30)
    Besides being one of the most popular forms of art, photography is often used for a wide variety of purposes, including professional and entertainment ones. Nowadays, since cameras (specially digital ones) are less expensive ...
  • Uma abordagem dirigida por modelos para geração automática de casos de teste de integração usando padrões de teste. 
    MACIEL, C. L.; http://lattes.cnpq.br/5362572369883041; MACIEL, Camila de Luna. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-06)
    Within the Software Engineering, new development paradigms are emerging in order to offer greater productivity without sacrificing quality to the developed software. MDD (Model-Driven Development) is one of these paradigms, ...
  • Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. 
    ROCHA, A. C. O.; http://lattes.cnpq.br/1549009526041833; ROCHA, Anne Caroline Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-04-30)
    In a software development process, artifacts from a stage are used as input to create new artifacts on another. The transition between different artifacts may not be precise; inconsistencies may occur. These inconsistent ...
  • Análise de correlação entre métricas de evolução e qualidade de design de software. 
    ASSIS, P. O. A.; http://lattes.cnpq.br/5091634871775902; ASSIS, Pablo Oliveira Antonino de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-03-13)
    We have studied the evolution of eight open source projects and five proprietary ones, looking for statistical correlations between complexity and quality measures in terms of bad smells and bugs detected. In all projects, ...

Buscar DSpace


Busca avançada

Navegar

Minha conta