猫头鹰的深夜翻译:在JVM上根据合约编程

2018-03-10
阅读 4 分钟
2.4k
按照合约编程,又称为合约编程,是一种软件设计的方法。它规定了软件设计师应该为软件组件定义正式,精确和可验证的接口规范,将常规的抽象数据类型扩展为前置条件,后置条件和不变量。这些规则被称为合约,可以比拟为商业合同中的条件和义务。— Wikipedia[链接]