请输入您要查询的百科知识:

 

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

 

百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2024/12/24 9:54:43