This is just a thought I want to keep: Investigate differences and similarities of Test Driven Development and Formal Specification. There is also a history of executable specifications – does this mean “tests”? Not sure I mix up a few things right now but I think it is worth to consider it a bit further. Also, recently Microsoft Research publishes more about SpecSharp (Spec#).
