Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548
Title: Uma ferramenta para verificação interativa de programas vip.
Other Titles: A tool for interactive verification of vip programs.
???metadata.dc.creator???: GARCIA, Francilene Procópio.
???metadata.dc.contributor.advisor1???: CAMELO, Maria de Fátima.
???metadata.dc.contributor.referee1???: MOURA, José Antão Beltrão.
???metadata.dc.contributor.referee2???: FERNEDA, Edilson.
???metadata.dc.contributor.referee3???: ALVES, Claudete Mary de Souza.
Issue Date: Apr-1994
Publisher: Universidade Federal de Campina Grande
Citation: GARCIA, Francilene Procópio. Uma ferramenta para verificação interativa de programas vip. 1994. 121f. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1994.
???metadata.dc.description.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.
Abstract: The principal aim of this work is the software implement for the analysis of beginner created computer programs. The program checks are oriented to the identification and correction of logic errors caused by partial or total misconception in problem specification. The proposed implement is part of the development of an environment for programming apprentice - DOCET. In this context, problems concerning programming education were analyzed in order to find a solution for the graduation of more qualified programmers. Some methodologies used in programming tutorials following the conception of Computer Aided Instruction (CAI) are presented, specially those oriented to beginners, as it is proposed for the DOCET. The exposition of the main characteristics of the Interative Program Checker (VIP) completes this work.
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
FRANCILENE PROCÓPIO GARCIA - DISSERTAÇÃO PPGCC 1994.pdfFrancilene Procópio Gárcia - Dissertação PPGCC 1994. 10.56 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.