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:

  • 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 ...
  • UNIFIC: uma API para a unificação da programação entre diferentes GUIs. 
    SILVA, L. G.; SILVA, Lílian Gibson. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-12)
    Nowadays, a problem that must be solved by designers of Grafical User Inferface (GUI) applications is their portability to different graphical environments. This work presents the specification, implementation and tutorial ...
  • UNIX: conceitos avançados e programação do shell. 
    MEDEIROS, A. F. C.; http://lattes.cnpq.br/5061312286412870; MEDEIROS, Álvaro Francisco de Castro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-12-23)
    We have witnessed, in the last two decades, great improvements in hardware technology. Powerful computers have been realeased in to the marketplace with increased frequency. However, despite the enhacements in ...
  • Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. 
    http://lattes.cnpq.br/2793969744497453; ALVES, Everton Leandro Galdino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-06-30)
    Nowadays, the activities of project and test of real-time systems (RTS) are still considered extremely challenging. The quality of this activities are direct proporcional to how experientes are the designers and testers ...
  • Usando o encadeamento de transações para implementar um controle fim-a-fim de fraudes em aplicações distribuídas. 
    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, 1999-04-06)
    This work presents an algorithm that can be incorporated into the application layer for detection of frauds in distributed applications that deal with electronic transactions. Based in a simple concept and easy implementation, ...
  • 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 ...

Buscar DSpace


Busca avançada

Navegar

Minha conta