Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
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
Área do conhecimento CNPq:
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Judge on-line
Assunto:
Ensino de programação
Tipo de acesso:
openAccess
Outro:
UFS
E
Repositório Institucional da UFS
Idioma:
Português
Bases coletadas:
Repositório Institucional da UFS
Mostrar filtros (8)
Área do conhecimento CNPq:
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Judge on-line
Assunto:
Ensino de programação
Tipo de acesso:
openAccess
Outro:
UFS
E
Repositório Institucional da UFS
Idioma:
Português
Bases coletadas:
Repositório Institucional da UFS
Resultados da busca
Mostrando
1 - 1
resultados de
1
para a busca '
'
, tempo de busca: 0,01s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Uma abordagem unificada para especificar e checar restrições em múltiplas linguagens de programação por meio de um analisador estático no contexto de um juiz on-line
Por
Santos, Kleber Tarcísio Oliveira
Publicado em 2018
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Sergipe (UFS)
1
Bases coletadas
Repositório Institucional da UFS
Programa de Pós-Graduação
Pós-Graduação em Ciência da Computação
1
Autor
Santos, Kleber Tarcísio Oliveira
1
Orientador(a)
Costa Neto, Alberto
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
Idioma
Português
Assunto
Análise estática de código-fonte
1
Avaliação automática de programação
1
Ensino de programação
Juiz on-line
1
Assunto em inglês
Automated assessment of programming
1
Judge on-line
Static analysis of source code
1
Teaching programming
1
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...