Thanks for sharing. Interesting stuff, esp since I consult for Ford Motor. I've always been a fan of DbC since introduced by Eiffel, and wrote a clunky but work

Thanks for sharing. Interesting stuff, esp since I consult for Ford Motor. I've always been a fan of DbC since introduced by Eiffel, and wrote a clunky but workable DbC module in FPC.