摘要： 第三章第二节 软件规约 这一节我们转向关注“方法/函数/操作”是如何定义的，即讨论编程中的动词，规约。 Outline 一个完整的方法 什么是设计规约，我们为什么需要他 行为等价性 规约的结构：前置条件与后置条件 规约的结构 可变方法的规约 规约的评价 规约的确定性 规约的陈述性 规约的强度 如何设 阅读全文