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:

  • 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 ...
  • Transformada inversa de laplace: inversão algébrica via tabela e inversão numérica. 
    GALDINO, K. E.; http://lattes.cnpq.br/0657038729605079; GALDINO, Kátia Elizabete. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-12-27)
    A differential equation is a relation involving terms which are derivatives of an unknown function / . The Laplace transform of a differential equation is an equation in the complex domain without derivatives. The new ...
  • Tratamento de eventos em redes elétricas: uma ferramenta. 
    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, 2003-02-25)
    It presents a new tool for the automatic diagnosis of faults in electric networks. The toot uses a hybrid event correlation technique especially created to be used in networks with constant topological modifications. The ...
  • TUTA – um tutor baseado em agentes no contexto do ensino a distância. 
    SILVA, A. S; http://lattes.cnpq.br/9825582909788318; SILVA, Aleksandra do Socorro da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-28)
    This work consists of the development of a Based Tutorial System in Agents (TUTA) in the context of a Virtual Classroom Adaptable. TUTA attend a group of geographically distant students and allows to the learning of ...

Buscar DSpace


Busca avançada

Navegar

Minha conta