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

[Chris Burrows]

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