| |||||||||||||
Merry Christmas from FreeBSDMerry Christmas from FreeBSDPosted 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)
|
|||||||||||||