I hadn't heard of BDD before, but the idea of "executable spec" is certainly very interesting