Portal do Governo Brasileiro
s
Mostrando
1 - 7
resultados de
7
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.
Orientador(a):
FIGUEIREDO, Jorge César Abrantes de.
Mostrar filtros (3)
Instituição de defesa:
UFCG
Área do conhecimento CNPq:
Ciência da Computação.
Orientador(a):
FIGUEIREDO, Jorge César Abrantes de.
Resultados da busca
Mostrando
1 - 7
resultados de
7
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Verificação distribuída de modelos: investigando o uso de grades computacionais.
Por
BARBOSA, Paulo Eduardo e Silva.
Publicado em 2007
Acessar documento
Dissertação
2
Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos.
Por
CANEDO, Edna Dias.
Publicado em 2002
Acessar documento
Dissertação
3
MDA-Veritas: uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica.
Por
BARBOSA, Paulo Eduardo e Silva.
Publicado em 2011
Acessar documento
Dissertação
4
Estudo do uso de vocabulários para analisar o impacto de relatórios de defeitos a código-fonte.
Por
CAVALCANTI, Diego Tavares.
Publicado em 2012
Acessar documento
Dissertação
5
Análise de correlação entre métricas de evolução e qualidade de design de software.
Por
ASSIS, Pablo Oliveira Antonino de.
Publicado em 2009
Acessar documento
Dissertação
6
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Por
BARBOSA, Ana Emília Victor.
Publicado em 2007
Acessar documento
Dissertação
7
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
Voltar
Refinar a Busca
Instituição de defesa
UFCG
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFCG
7
Programa de Pós-Graduação
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
7
Autor
BARBOSA, Paulo Eduardo e Silva
2
ASSIS, Pablo Oliveira Antonino de
1
BARBOSA, Ana Emília Victor
1
CANEDO, Edna Dias
1
CAVALCANTI, Diego Tavares
1
MONTEIRO, João Arthur Brunet
1
Orientador(a)
FIGUEIREDO, Jorge César Abrantes de.
GUERRERO, Dalton Dario Serey.
4
Tipo de documento
Dissertação
7
Tipo de acesso
openAccess
7
Idioma
Português
7
Assunto
Engenharia de software
3
Engenharia de Software
2
Software Engineering
2
Abordagem Baseada em Testes - Computação
1
Análise de impactos de relatórios de defeitos - software
1
Análise de vocabulário - software
1
Mais ...
Aplicações bag-of-tasks
1
Arquitetura de Software
1
Bad smells bugs
1
Checking models - computing
1
Competing software system
1
Comportamento de programas
1
Código-fonte
1
Defect Reports - Software
1
Desenvolvimento de software
1
Design by Contract - DbC
1
Design de Software
1
Design de software
1
DesignMonitor
1
Detecção automática de violações
1
Evolution Miner
1
Evolução de software
1
Explosão de espaço de estados
1
Grades computacionais
1
Linear Time Logic - LTL
1
Linguagem de modelagem de sistemas
1
Localização de defeitos - software
1
Lógica linear temporal
1
MDA - Arquitetura Estendida
1
MDA VERITAS
1
Ver todos ...
menos ...
Área do conhecimento CNPq
Ciência da Computação.
Engenharia de Software.
1
Ano da publicação
De:
Até:
Carregando...