Dave—a validation error detection and documentation system for fortran programs

Osterweil, Leon J.; Fosdick, Lloyd D.

doi:10.1002/spe.4380060405

Cited by 138 publications

(23 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Pesquisas como as de [Osterweil and Fosdick 1976, Ruckert and Halpern 1993, Schorsch 1995 comprovam que este tópico é evidenciado há bastante tempo. Os trabalhos organizados nesta seção serão apresentados com enfoque na maneira como os erros são vistos na perspectiva do aluno.…”

Section: Análise De Erros Em Programas De Computadorunclassified

Modelagem Genérica de Aprendizes com Ênfase em Erros na Aquisição de Habilidades em Programação de Computadores

Porfírio

Maschio

Direne

2016

Anais Dos Workshops Do v Congresso Brasileiro De Informática Na Educação (CBIE 2016)

View full text Add to dashboard Cite

Abstract. Computer programming is a major topic for Computer Science students and professionals. This activity presents challenges with respect to monitoring the students' knowledge acquisition over the domain content. The learning progress is defined by principles and skills acquisition. This work proposes an approach for evaluating and monitoring students' skills development in the field of computer programming. The method is based on the mapping of the student's input into expertise features. The setting is organized around a belief model based on the concept of bayesian networks. We expect to provide the human tutor with a partially automated way for monitoring students' learning by means of an intelligent tutoring system coupled to a virtual learning environment.Resumo. O ensino de programação de computadores é um tópico de grande importância na formação de profissionais da Computação. Essa atividade apresenta desafios com relação ao acompanhamento do progresso dos estudantes frente ao conteúdo ministrado. Tal progresso pode ser definido pela aquisição de princípios seguida do desenvolvimento de perícias. Propõe-se nesta pesquisa uma abordagem para avaliação e acompanhamento da aquisição de perícias no domínio da programação de computadores. O método é baseado no mapeamento de entradas do aprendiz em características da perícia. A abordagem inclui conceitos de redes bayesianas. Espera-se, com isso, fornecer ao tutor humano uma via parcialmente automatizada para o monitoramento da aprendizagem por meio de um sistema tutor inteligente acoplado a um ambiente virtual de aprendizagem.

show abstract

Section: Análise De Erros Em Programas De Computadorunclassified

Modelagem Genérica de Aprendizes com Ênfase em Erros na Aquisição de Habilidades em Programação de Computadores

Porfírio

Maschio

Direne

2016

Anais Dos Workshops Do v Congresso Brasileiro De Informática Na Educação (CBIE 2016)

View full text Add to dashboard Cite

show abstract

“…Flow analysis techniques for verification were originally used to detect potential definition/reference anomalies in sequential code [OF76]. This approach was later extended to allow the verification of user-specified properties [OO90,OO92].…”

Section: Related Workmentioning

confidence: 99%

FLAVERS: A finite state verification technique for software systems

2002

View full text Add to dashboard Cite

Software systems are increasing in size and complexity and, subsequently, are becoming ever more difficult to validate. Finite State Verification (FSV) has been gaining credibility and attention as an alternative to testing and to formal verification approaches based on theorem proving. There has recently been a great deal of excitement about the potential for FSV approaches to prove properties about hardware descriptions but, for the most part, these approaches do not scale adequately to handle the complexity usually found in software. In this paper, we describe an FSV approach that creates a compact and conservative, but imprecise, model of the system being analyzed, and then assists the analyst in adding additional details as guided by previous analysis results. This paper describes this approach and a prototype implementation, called FLAVERS, presents a detailed example, and then provides some experimental results demonstrating scalability.

show abstract

“…For example, if the string "DO" has been read, it is unclear whether the scan has reached the end of the keyword, "DO", in a statement such as DO 10 I = 1, 3 or whether the scan is in the middle of a variable name in a statement such as The FSCAN language and the LR style processing were initially specified by DeRemer [4].…”

Section: Introductionmentioning

confidence: 99%

FSCAN-83 Report and User's Manual.

Clemm¹

1983

View full text Add to dashboard Cite

Dave—a validation error detection and documentation system for fortran programs

Cited by 138 publications

References 9 publications

Modelagem Genérica de Aprendizes com Ênfase em Erros na Aquisição de Habilidades em Programação de Computadores

Modelagem Genérica de Aprendizes com Ênfase em Erros na Aquisição de Habilidades em Programação de Computadores

FLAVERS: A finite state verification technique for software systems

FSCAN-83 Report and User's Manual.

Contact Info

Product

Resources

About