编程总结与软件设计入门全解析.ppt

教学内容;你能够学到……;试验;参照书籍;参照书籍;参照书籍;考试;软件危机;怎样克服软件危机;软件过程;软件过程示例—个人理财;软件过程的风格;软件过程的风格;纯瀑布过程通常不实际的原因;软件过程的风格;;软件设计的含义;软件需求分析;实现;第1.2节;实例变量通过this.引用;前置条件(precondition)：方法代码假设的非局部变量的条件

涉及参数

方法本身没有提供这些条件的验证

后置条件(postcondition)：执行后非局部变量的值

涉及参数

注释：x’代表x执行后的值

不变式(invariant)：函数执行后没有变化的非局部变量的关系

在前置条件和后置条件中都相等