[拼音]：chengxu sheji guifan

[外文]：A Discipline of Programming

关于结构程序设计的权威著作，1976年出版。作者E.W.代克斯特拉是结构程序设计的创始人。本书论述的结构程序设计学说是程序设计方法学的基础。全书分两部分，第一部分是基本理论，提出用最弱前置谓词定义语义，并给出相应的结构程序设计语言。作者认为，程序设计是面向目标的推导过程，从问题的形式规定出发，采用逐步求精方法，逐步展开程序，同时作出正确性论证，之后可以获得一个结构清晰和正确的程序。第二部分用大量实例阐明他的思想和使用的各种具体技术。在此书之后出版的一系列程序设计著作，都以这本书为理论基础。

严正声明：本文由历史百科网注册或游客用户嘉赐自行上传发布关于» 程序设计规范的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：嘉赐；本文链接：https://www.freedefine.cn/wenzhan/30055.html