DSpace/Manakin Repository

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

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

Classificar por: Ordenar: Resultados:

  • Taxímetro digital. 
    VIEIRA, M. F. Q.; http://lattes.cnpq.br/1459797138770378; VIEIRA, Maria de Fátima Queiroz. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1979-01-15)
    As a result of the continuous replacement of mechanical instruments by electronic ones, and with the growing usage of microprocessors as building blocks of inteligent electronic system, i t has been decided to build a ...
  • Teoria e aplicação de support vector machines à aprendizagem e reconhecimento de objetos baseado na aparência. 
    SANTOS, E. M.; http://lattes.cnpq.br/3054990742969890; SANTOS, Eulanda Miranda dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-06-20)
    Support Vector Machines (SVM) is a machine learning technique derived from two solid backgrounds: Statistical Learning Theory and Mathematical Optimisation. SVM has recently been applied with success to a variety of problems, ...
  • Test case prioritization: a case study in the evolution of a real system. 
    CAVALCANTE, I. S.; http://lattes.cnpq.br/7862872245651696; CAVALCANTE, Isabelly Santos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-10-13)
    The software maintenance can introduce new bugs in the system. Therefore, it is crucial to check the impacts caused on the rest of the code. One widely used methodology for validating program changes is regression testing. ...
  • Teste de integração para sistemas baseados em componentes. 
    GOUVEIA, C. C.; http://lattes.cnpq.br/3012071355562853; GOUVEIA, Cidinha Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-27)
    As the connectivity between components is a concern of Component-Based Software, verifying the interaction between these components becomes essential to get a final product quality. Tests are produced in order to guarantee ...
  • Teste de usabilidade de software: sua aplicação nos processos de concepção, desenvolvimento e preparação. 
    AZEVEDO, F. A. T. B.; AZEVEDO, Fernanda Angélica Tenório Brandão de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1996-12-20)
    Usability has become an important component of the software industry. The need to make products easier to learn and use leads software development companies to integrate usability tests in their production process. This ...
  • 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, ...
  • Testes de usabilidade para planejamento de sistemas distribuídos de informações geográficas na web. 
    Farias, C. B. A.; http://lattes.cnpq.br/3309124072452549; FARIAS, Cecir Barbosa de Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA POLÍTICAUFCGUniversidade Federal de Campina Grande, 2000-08-30)
    The Geographical Information Distributed Systems (GIDS) can be used by people of different areas, to obtain access through the web to certain geographical and alphanumeric information, distributed in many different locals. ...
  • Uma técnica de análise de causa raiz para sistemas elétricos de potência. 
    MELO, N. V.; http://lattes.cnpq.br/3319000339504534; MELO, Natã Venâncio de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-08-19)
    The root cause analysis of fault is an extremely task to keep the stability of the Eletric Power System (EPS). In the Supervision and Control Centers, the operators have the challenge of analyzing hundreds of alarms and ...
  • Uma técnica de análise de conformidade comportamental para sistemas distribuídos. 
    BEZERRA, A. S.; http://lattes.cnpq.br/2849440258913113; BEZERRA, Amanda Saraiva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-11-28)
    Verify Distributed Systems is very hard. Some techniques, Model Checking for example, trying to grant the behavioral correctness analyzing all the execution paths for these systems. However, this technique is limited to ...
  • 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 ...
  • Técnica híbrida de análise de impacto para sistemas orientados a objetos. 
    Mirna Maia.; http://lattes.cnpq.br/2600028670260478; MAIA, Mirna Carelli Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-17)
    Changes happen during the software development process so that requirements keep upto-date with costumers needs. The change implementation is an expensive and not trivial activity. Impact analysis is the process that aids ...
  • 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 ...
  • Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. 
    OLIVEIRA, E. A. da S.; http://lattes.cnpq.br/7627571580413875; OLIVEIRA, Elthon Allex da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-06-02)
    Formal methods have been used so much nowadays in development projects in where there is a requirement for the software behavior being as it is expected to be. However, there are few projects that are disposed to invest ...
  • 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 ...
  • Técnicas de transformação de programas fontes: estudo e aplicação na transformação de programas FORTRAN-66 para FORTRAN-77. 
    SILVA, F. A. C.; http://lattes.cnpq.br/8066864989062969; SILVA, Francisco de Assis da Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-04-15)
    In this paper a review is initially made and then the feasibility of applying various techniques of transforming source programs in the conversion of programs written in FORTRAN-BB to equivalent programs in FORTRAN-77 is ...
  • Tolerância a falhas em java através de comunicação em grupo. 
    CIRNE, L. D.; CIRNE, Lilianne Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-12)
    The intense use of Distributed Systems in different kinds of applications demands more reliability of these applications. The systems should be prepared to tolerate faults, i.e., a system should not interrupt its operation ...
  • Tom Rules: um monitor de eventos, regras e gatilhos em um ambiente orientado a objetos. 
    SILVA, A. F. C.; SILVA, André Felipe de Carvalho e. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-03-29)
    Th is work proposes a data model with active characteristics that intend to extend the object oriented model TOM, bringing more flexibility, wideness and simplicity in modelling aspects of the real world. The TOM Rules ...
  • Trajtax: uma taxonomia para o domínio de trajetórias. 
    ANDRADE, L. H.; http://lattes.cnpq.br/0264116850662513; ANDRADE, Luiz Henrique de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-08-17)
    The large volume of data concerning trajectories enables research on different domains including trajectories of pedestrians, animals, ships, and airplanes. As a result, several machine learning applications have been ...
  • Transformação de esquemas de objetos para um gerenciador relacional estendido, considerando o padrão ODMG. 
    SANTOS, D. V.; http://lattes.cnpq.br/4710409479122370; SANTOS, Dilvan Vitor dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-08-12)
    New database applications require additional features for behavioral and temporal modeling. Recently, new data models have been proposed to capture these aspects although there are yet no database management systems that ...
  • Transformações rápidas, convoluções e aplicações - análise dos algoritmos e implementação. 
    LUIZ NETO, J.; LUIZ NETO, José. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1987-11)
    Fourier transforms are often used in Numerical analysis and digital signal processing is a indispensable tool for analyzing and synthesizing devices such as digital filters. The evaluation of discrete Fourier using its ...

Buscar DSpace


Busca avançada

Navegar

Minha conta