1.编程是目标导向活动
2.当试图解决一个问题时,确保弄清问题是什么
3.当写程序时,请精确定义好前条件(precondition)和后条件(postcondition)--->后条件通常至关重要
4.分支命令策略:当试图寻找一条守卫命令(guraded command)时,寻找这样一条命令,其执行会导致后条件的某部分成立,寻找一个布尔表达式B满足(B =>wp(C,R)),然后将个分支命令结合起来形成B->C;不断地寻找分支命令直到该构造的前条件蕴含其中至少有一条命令为真。
1.编程是目标导向活动
2.当试图解决一个问题时,确保弄清问题是什么
3.当写程序时,请精确定义好前条件(precondition)和后条件(postcondition)--->后条件通常至关重要
4.分支命令策略:当试图寻找一条守卫命令(guraded command)时,寻找这样一条命令,其执行会导致后条件的某部分成立,寻找一个布尔表达式B满足(B =>wp(C,R)),然后将个分支命令结合起来形成B->C;不断地寻找分支命令直到该构造的前条件蕴含其中至少有一条命令为真。