《程式設計規範》

《程式設計規範》是關於結構程式設計的權威著作，本書論述的結構程式設計學說是程式設計方法學的基礎。

《程式設計規範》

正文

關於結構程式設計的權威著作，1976年出版。作者E.W.代克斯特拉是結構程式設計的創始人。本書論述的結構程式設計學說是程式設計方法學的基礎。全書分兩部分，第一部分是基本理論，提出用最弱前置謂詞定義語義，並給出相應的結構程式設計語言。作者認為，程式設計是面向目標的推導過程，從問題的形式規定出發，採用逐步求精方法，逐步展開程式，同時作出正確性論證，最後可以獲得一個結構清晰和正確的程式。第二部分用大量實例闡明他的思想和使用的各種具體技術。在此書之後出版的一系列程式設計著作，都以這本書為理論基礎。

配圖

相關連線