ADT與OOP：設計規約（specifications）

1.    前言        本文章的內容：        （1）方法的規約，理解其前置/後置條件與開發者和使用者的關係。        （2）前置/後置條件的意義。        （3）欠定規約，非確定規約        （4）陳述式，操作式規約        （5）規約的強度與比較 2.    規約Specification     （1） 規約的作用：              -精確的規

>>阅读原文<<