程序设计方法学

【摘要】 本文目的旨在阐明程序设计的一些基本原理和方法。全文共分十二部分:第一至四部分的主要内容是程序结构分析,并由此熟悉本教程使用的面向教学的程序设计语言T的概貌。第五至九部分是本教程的重点,内容包括结构程序设计方法、过程和模块的设计方法、递归程序的设计方法等。第十至十二部分使用了比较形式化的方法进行讨论。内容有形式语义,程序的功能描述,程序推导和程序变换。最后还论述了研制程序设计工具和环境的意义。更多还原