Data-driven design[0] and formal methods[1].

update

[0] http://dataorienteddesign.com/site.php

[1] http://research.microsoft.com/pubs/64638/high-level.pdf