In SimpleModeling, TDD is recognized as an effective implementation technique, but it is not the primary development driver.
Executable specifications are not written to drive implementation step by step, but to fix the meaning and boundaries of specifications.