[Oberon] looking for link/reference to interview: program verfication in an undergraduate course

[Frans-Pieter Vonck]

Thank you, Chris.

My concept of A code walkthrough, like livecodeing, is that is a 
monological excercise.

What I remember from the interview is that the code was reviewed in a 
dialogical setting, a "question and answer" structure.
And that the verfication dialogue was also a method of learning how to 
program.


I saw an interesting article in russian about programming education 
using Galperin learning method.
Galperin's instructional method was populair in the Netherlands until 
the mid eighties.

Oboukhova L. F. , Porshnev A. V. , Porshneva E. R. , Gaponova S. A.
Constructing a computer instruction program on the basis of P. Ya. 
Galperin's theory

I did not found the article yet, but it seems that learning to program 
can be approached as learning a second natural language.

That leads to an puzzling question. Does one needs to learn russian, 
before learning how to program?

This is actually true for astronauts who want to travel to the ISS.
And descend safely to earth in a Soyouz capsule.


Greets,
Frans-Pieter Vonck



Chris Burrows schreef op 2019-07-03 00:06:
> That sounds like a 'code walkthrough' to me. That is a technique we
> regularly use at work. I can't recall seeing an interview with John 
> Gough or
> Niklaus Wirth on the subject but this is the closest I could find:
> 
> "The Art of Teaching Computer Science"
> 
> https://www.computer.org/csdl/magazine/co/2012/07
> 
> There is a YouTube video associated with it:
> 
> https://www.youtube.com/watch?v=BJIqHIYSDrk
> 
> Regards,
> Chris
> 
> Chris Burrows
> CFB Software
> http://www.astrobe.com
> 
> 
>> -----Original Message-----
>> From: Oberon [mailto:oberon-bounces at lists.inf.ethz.ch] On Behalf Of
>> Frans-Pieter Vonck
>> Sent: Wednesday, 3 July 2019 12:19 AM
>> To: oberon at lists.inf.ethz.ch
>> Subject: [Oberon] looking for link/reference to interview: program
>> verfication in an undergraduate course
>> 
>> Hi,
>> 
>> A few years ago I found an interview with a university professor,
>> could be John Cough maybe in conversation with Writh, where he
>> mentions an interesting way of training students in program
>> verfication.
>> Students had to verbally explain eachother the workings of the code
>> they wrote.
>> 
>> I cannot find the link anymore.
>> Did any of you also saw that interview?
>> 
>> Greets,
>> Frans-Pieter Vonck
>> --
>> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related
>> systems https://lists.inf.ethz.ch/mailman/listinfo/oberon
> 
> --
> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related 
> systems
> https://lists.inf.ethz.ch/mailman/listinfo/oberon