[SystemSafety] Logic

[Martyn Thomas]

On 16/02/2014 17:18, Philip Koopman wrote:
> From what I've seen our students act the same way. It is all about
> getting the code written, "tested," and slipped past the grading
> gatekeeper, however messy that process is. Essentially no thought or
> value is placed on avoiding defects in the first place. This approach
> appears to have been trained into them in intro programming courses.


I would be interested to know whether the academics on this list use
formal methods to design the programs that they write for themselves. If
not, maybe their students get the message that these methods are for
other people, but that experts ignore them.

Martyn


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140217/adb21614/attachment.html>