ADT与OOP：设计规约（specifications）

1.    前言        本文章的内容：        （1）方法的规约，理解其前置/后置条件与开发者和使用者的关系。        （2）前置/后置条件的意义。        （3）欠定规约，非确定规约        （4）陈述式，操作式规约        （5）规约的强度与比较 2.    规约Specification     （1） 规约的作用：              -精确的规

>>阅读原文<<