Okay, here is the translation following your instructions: Program Design Methodology

Author: Feng Shuqun
Publisher:
Publish Date: 1988-07-01
Features: This book is a textbook introducing the general outline of programming methodology and various practical methods. It covers concepts such as structured programming, the main control structures of programming, the proof of program correctness, data type abstraction, recursive methods, stepwise refinement, module design, and derivation techniques. It concludes with an introduction to the newly developed programming transformation techniques in recent years. This book is suitable for use by faculty and students in computer science programs, as well as for reference by computer professionals. Additionally, it serves as the teaching material for the "Programming Methodology" course at the Central Radio & TV University.