The capability of computer programming language logic is one of the basics of technical education. How to improve students "interest in program logic design and help overcome students" fears of coding has become vital for educators. Cultivating practical talents with information technology application and basic programming development…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…