大多数软件的开发方式将不再像以前那样。 以规范驱动的开发和全面的测试正在增长。 代码是不可争议的，它是可验证的、一致的和确定性的。任何想要这些特性的都将利用代码来解决他们的问题。