Portal do Governo Brasileiro
s
Mostrando
1 - 6
resultados de
6
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Instituição de defesa:
UFCG
Área do conhecimento CNPq:
Ciência da Computação.
Assunto:
Teste de Software
Mostrar filtros (3)
Instituição de defesa:
UFCG
Área do conhecimento CNPq:
Ciência da Computação.
Assunto:
Teste de Software
Resultados da busca
Mostrando
1 - 6
resultados de
6
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Similarity-based test suite reduction in the context of model-based testing.
Por
COUTINHO, Ana Emília Victor Barbosa .
Publicado em 2015
Acessar documento
Tese
2
Uma técnica para verificar não conformidades em programas especificados com contratos.
Por
OLIVEIRA, Catuxe Varjão de Santana.
Publicado em 2013
Acessar documento
Dissertação
3
Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE.
Por
COSTA, André Andrade.
Publicado em 2002
Acessar documento
Dissertação
4
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.
Por
ROCHA, Anne Caroline Oliveira.
Publicado em 2010
Acessar documento
Dissertação
5
Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design.
Por
MONTEIRO, João Arthur Brunet.
Publicado em 2010
Acessar documento
Dissertação
6
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Por
SILVA, Daniel Aguiar da.
Publicado em 2006
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
UFCG
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFCG
6
Programa de Pós-Graduação
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
6
Autor
COSTA, André Andrade
1
COUTINHO, Ana Emília Victor Barbosa
1
MONTEIRO, João Arthur Brunet
1
OLIVEIRA, Catuxe Varjão de Santana
1
ROCHA, Anne Caroline Oliveira
1
SILVA, Daniel Aguiar da
1
Orientador(a)
MACHADO, Patrícia Duarte de Lima.
3
BRASILEIRO, Francisco Vilar.
1
FIGUEIREDO, Jorge César Abrantes de.
1
GUERRERO, Dalton Dario Serey.
1
MASSONI, Tiago Lima.
1
Tipo de documento
Dissertação
5
Tese
1
Tipo de acesso
openAccess
6
Idioma
Português
5
Inglês
1
Assunto
Teste de Software
Software Testing
3
Abordagem Baseada em Testes - Computação
1
Action Semantics
1
Aplicações Distribuídas
1
Automated Guided Inspection
1
Mais ...
Checagem Automática de Contratos - Software
1
Contratos - Conformidade
1
Definição de Conformidade
1
Desenvolvimento Baseado em Contratos - Software
1
Desenvolvimento de Software
1
Design de Software
1
Diagramas UML
1
Distributed Systems
1
Engenharia de Software
1
Engenharia de Software Empírica
1
Framework Formal
1
Funções de Similaridade
1
Geração de Objetivos de Teste
1
Inspeção de Software
1
J2EE
1
Java Modeling Language - JML
1
Java Servlet Tolerante a Falhas
1
Model-Based Testing (MBT)
1
Oráculo dos Testes - Software
1
Plataforma Java 2
1
Protocolo IP Móvel
1
Reactive Systems
1
Redução de Suítes de Teste
1
Regras de Design
1
Ver todos ...
menos ...
Área do conhecimento CNPq
Ciência da Computação.
Engenharia Elétrica.
1
Engenharia de Software.
1
Ano da publicação
De:
Até:
Carregando...