There's a pretty fundamental difference: TDD is about *avoiding* up-front design...

		senderista 29 days ago \| parent \| context \| favorite \| on: Test, don't just verify There's a pretty fundamental difference: TDD is about avoiding up-front design, while formal specification literally is up-front design.