摘要： 梳理JML语言的理论基础、应用工具链情况 首先我们说一下契约式设计，契约式设计（Design by Contract）是一种开发软件的新思路。不妨通过商业活动的中真实的Contract（契约）来理解这个例子： 供应商必须提供某种产品（这是供应商的义务），并且有权期望客户付费（这是供应商的权利）。 客户必须支付费用（这是客户的义务），并且有权得到产品（这是客户的权利）。 ... 阅读全文