Data-driven design[0] and formal methods[1].<p><i>update</i><p>[0] <a href="http:&#x2F;&#x2F;dataorienteddesign.com&#x2F;site.php" rel="nofollow">http:&#x2F;&#x2F;dataorienteddesign.com&#x2F;site.php</a><p>[1] <a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;pubs&#x2F;64638&#x2F;high-level.pdf" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;pubs&#x2F;64638&#x2F;high-level.pdf</a>