Agile & Formal Methods in Latest Edition Of Computer Magazine

Just a quick note about an article I've contributed to in the September edition of Computer magazine on Formal vs. Agile methods. The basic jist of it is that there are no practical reasons why Formal Methods can't be applied to Agile projects, providing we're doing it for the right reasons and in a way that's compatible with core Agile values. If your customer has a requirement that some multi-threaded...