Data-driven design[0] and formal methods[1]. update [0] http://dataorienteddesign.com/site.php http://dataorienteddesign.com/site.php [1] http://research.mi

Data-driven design[0] and formal methods[1]. update [0] http://dataorienteddesign.com/site.php http://dataorienteddesign.com/site.php [1] http://research.microsoft.com/pubs/64638/high-level.pdf http://research.microsoft.com/pubs/64638/high-level.pdf