Merry Christmas from FreeBSD
Posted Dec 24, 2011 9:27 UTC (Sat) by
oldtomas (guest, #72579)
In reply to:
Merry Christmas from FreeBSD by jd
Parent article:
Merry Christmas from FreeBSD
[...] it does demonstrate (to me, anyways) that we do need something analogous to Formal Methods.
I respectfully disagree. Formal Methods is a tool. What we need is education and culture.
Tools without the corresponding culture tend to evolve into monstrous red tape generators. Have you witnessed an Agile Team in a big corp lately?
People have to understand and approve the tools they use.
(
Log in to post comments)