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. |
| Keywords: | 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 |
| 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. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548 |
| ???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. |
| Keywords: | 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 |
| 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 | Size | Format | |
|---|---|---|---|---|
| FRANCILENE PROCÓPIO GARCIA - DISSERTAÇÃO PPGCC 1994.pdf | Francilene Procópio Gárcia - Dissertação PPGCC 1994. | 11.06 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.