Roy Osherove [ISerializable] has an interesting few questions and answers about Agile Vs. Formal Methodologies.
"99% of the projects I've seen come from a formal background and implement Agile practices incrementally. For example, doing daily builds, then adding unit tests, then adding TDD, then adding Rolling Wave Planning etc.."