Merry Christmas from FreeBSD
Posted Dec 24, 2011 9:27 UTC (Sat) by oldtomas
In reply to: Merry Christmas from FreeBSD
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.
to post comments)