Skip navigation
Home
Browse
Communities
& Collections
Pesquisar Itens por:
Issue Date
Author
Title
Subject
Documentos de Interesse
Termo de Autorizacao para Publicacao Eletronica
Termo de Deposito Embargado - Teses e Dissertacoes
Termo de Deposito Embargado - TCCs/Relatorio de Estagio
Rotulo do DVD
Capa do DVD
Resolucao 01/2017 - Criacao da BDTD da UFCG
Resolucao 02/2017 - Deposito de Teses e Dissertacoes
Fale Conosco
bdtd@ufcg.edu.br
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Biblioteca Digital de Teses e Dissertações da UFCG
Search
Search:
All of DSpace
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
CURSOS DE GRADUAÇÃO DO CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-9 of 9 (Search time: 0.003 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
30-Apr-2010
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.
ROCHA, Anne Caroline Oliveira.
31-Aug-2012
Infraestrutura para o desenvolvimento de aplicações pervasivas com suporte ao chaveamento automático de tecnologia de comunicação.
FARIAS, Arthur Lúcio Meneses.
30-Aug-2010
Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias.
REBOUÇAS, Ayla Débora Dantas de Souza.
15-Mar-2013
Uma técnica para verificar não conformidades em programas especificados com contratos.
OLIVEIRA, Catuxe Varjão de Santana.
27-Feb-2003
Um método de teste funcional para verificação de componentes.
FARIAS, Carina Machado de.
26-May-2006
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
SILVA, Daniel Aguiar da.
1-Jul-2009
Uma estratégia para escrita de cenários de caso de uso voltados à geração automática de casos de teste.
JUCÁ, Makelli Araújo.
13-Mar-2014
Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C.
MENDES, Gustavo Wagner Diniz.
6-Jun-2005
Geração automática de casos de teste para sistemas baseados em agentes móveis.
FIGUEIREDO, André Luiz Lima de.
Discover
Author
1
FARIAS, Arthur Lúcio Meneses.
1
FARIAS, Carina Machado de.
1
FIGUEIREDO, André Luiz Lima de.
1
JUCÁ, Makelli Araújo.
1
MENDES, Gustavo Wagner Diniz.
1
OLIVEIRA, Catuxe Varjão de Santana.
1
REBOUÇAS, Ayla Débora Dantas de S...
1
ROCHA, Anne Caroline Oliveira.
1
SILVA, Daniel Aguiar da.
Subject
5
Teste de software
3
Engenharia de software
3
Teste de Software
1
Abordagem Thread Control for Tests
1
Action Semantics
1
Agentes móveis
1
Ambientes pervasivos
1
Aplicativos pervasivos
1
Aplicações cientes de contexto
1
Aplicações pervasivas
.
next >
Date issued
5
2010 - 2014
4
2003 - 2009