摘要： 第三单元规格作业博客总结 规格 对一个方法/类/程序/外部可感知的行为语义的抽象表示，避免了内部细节的宏观表现，把设计与实现有效的分离。 方法规格抽象： 前置条件规定了方法的调用者行为：即如果你要调用这个方法，那么就必须按照我给你的说明输入相应的参数，否则，程序无法运行我不背锅。 后置条件是方法履行 阅读全文