SF
眯眯眼猫头鹰的小树杈
眯眯眼猫头鹰的小树杈
注册登录
关注博客
注册登录
主页
关于
RSS
猫头鹰的深夜翻译:在JVM上根据合约编程
raledong
2018-03-10
阅读 4 分钟
2.4k
按照合约编程,又称为合约编程,是一种软件设计的方法。它规定了软件设计师应该为软件组件定义正式,精确和可验证的接口规范,将常规的抽象数据类型扩展为前置条件,后置条件和不变量。这些规则被称为合约,可以比拟为商业合同中的条件和义务。— Wikipedia[链接]