Software Construction——规约是啥？规约咋写？

这里写目录标题 写在前面 关于规约 如何评价一个规约的质量？ 如何设计出一个好的规约？ 写在最后 写在前面 在说规约之前，我们先快速过一遍这两个东西：方法和说明文档。 1.方法是啥？ 方法（method）由规约（specification）以及实现体（implementation）两部分组成的，它可以看作我们学c时写的函数。（规约是我们后面会提到，它调用方法的人可以看到的说明，实现体就是函数体）。

>>阅读原文<<