Dostoevsky did SE33010!

Proof that the depressing Russian author, Fyodor Dostoevsky, did SE33010 (Formal Methods in Software Engineering):

“What good are formal methods?  You know, in many cases, formal methods are just rubbish”
- Crime & Punishment, p.401

How else could he have gained such deep insights into the subject of formal methods without having attended Fred Long’s lectures?

About this entry

You’re currently reading “Dostoevsky did SE33010!,” an entry on The Moon is Down

Published:
02.20.08 / 4pm
Category:
Funny Stuff, Uni