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. |
| id |
UCB-2_0e6a30c3a09932953901881a8ec2a2f3 |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/8548 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Uma ferramenta para verificação interativa de programas vip.A tool for interactive verification of vip programs.Programação - Representação de ConhecimentoProgramação - Ambientes (CAI)Verificador Interativo de Programas (VIP)Detecção de Erros LógicosExploração de Erros - Estudantes IniciantesEnsino de Programação - Estudantes IniciantesProgramming - Knowledge RepresentationProgramming - Environments (CAI)Interactive Program Checker (VIP)Logical Error DetectionError Exploration - Beginner StudentsProgramming Teaching - Beginner Students0 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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGCAMELO, Maria de Fátima.CAMÊLO, M. F.http://lattes.cnpq.br/0640193969930203MOURA, José Antão Beltrão.FERNEDA, Edilson.ALVES, Claudete Mary de Souza.GARCIA, Francilene Procópio.1994-042019-10-28T14:23:04Z2019-10-282019-10-28T14:23:04Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548GARCIA, 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/8548porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-16T12:46:03Zoai:localhost:riufcg/8548Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-16T12:46:03Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Uma ferramenta para verificação interativa de programas vip. A tool for interactive verification of vip programs. |
| title |
Uma ferramenta para verificação interativa de programas vip. |
| spellingShingle |
Uma ferramenta para verificação interativa de programas vip. GARCIA, Francilene Procópio. 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 |
| title_short |
Uma ferramenta para verificação interativa de programas vip. |
| title_full |
Uma ferramenta para verificação interativa de programas vip. |
| title_fullStr |
Uma ferramenta para verificação interativa de programas vip. |
| title_full_unstemmed |
Uma ferramenta para verificação interativa de programas vip. |
| title_sort |
Uma ferramenta para verificação interativa de programas vip. |
| author |
GARCIA, Francilene Procópio. |
| author_facet |
GARCIA, Francilene Procópio. |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
CAMELO, Maria de Fátima. CAMÊLO, M. F. http://lattes.cnpq.br/0640193969930203 MOURA, José Antão Beltrão. FERNEDA, Edilson. ALVES, Claudete Mary de Souza. |
| dc.contributor.author.fl_str_mv |
GARCIA, Francilene Procópio. |
| dc.subject.por.fl_str_mv |
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 |
| topic |
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 |
| description |
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. |
| publishDate |
1994 |
| dc.date.none.fl_str_mv |
1994-04 2019-10-28T14:23:04Z 2019-10-28 2019-10-28T14:23:04Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548 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 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8548 |
| identifier_str_mv |
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 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.publisher.none.fl_str_mv |
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 |
| publisher.none.fl_str_mv |
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 |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013168806920192 |