Uma ferramenta para verificação interativa de programas vip.
Ano de defesa: | 1994 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: | |
Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548 |
Resumo: | 0 objetivo central deste trabalho e o desenvolvimento de uma ferramenta para analise de programas criados por iniciantes em programação. A verificação dos programas encontra-se voltada a identificação e correção de erros lógicos, cujas causas são oriundas de desvios, parcial ou integral, da especificação do problema. A ferramenta proposta e parte do desenvolvimento de um ambiente para o ensino de programação - DOCET. Neste contexto, foi considerada a problemática relacionada ao ensino de programação com enfase a formação de programadores mais qualificados. São relacionadas algumas das metodologias usadas no ensino de programação sob a orientação de ambientes CAI (Computer Aided Instruction), especialmente aquelas voltadas para estudantes iniciantes - como se propõe o DOCET. A descrição das principais características do Verificador Interativo de Programas - VIP completa este trabalho. |