Uma ferramenta para verificação interativa de programas vip.

• Ano de defesa: 1994
• Autor(a) principal: GARCIA, Francilene Procópio.
• 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
• Palavras-chave em Português: Programação - Representação de Conhecimento; Programação - Ambientes (CAI); Verificador Interativo de Programas (VIP); Detecção de Erros Lógicos; Exploração de Erros - Estudantes Iniciantes; Ensino de Programação - Estudantes Iniciantes; Programming - Knowledge Representation; Programming - Environments (CAI); Interactive Program Checker (VIP); Logical Error Detection; Error Exploration - Beginner Students; Programming Teaching - Beginner Students
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548

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.