プログラムの設計

書籍情報
シリーズ名計算機科学/ソフトウェア技術講座 【3】巻
ISBN978-4-320-02378-9
判型A5 
ページ数224ページ
発行年月1990年01月
本体価格2,680円
プログラムの設計 書影
プログラムの設計

事務計算プログラムを題材にとり,その科学的な設計法を考える。また厳密な仕様を作成し,正しい実用的なソフトウェアへ変換する方法を提示。

目次

第1章 例題とそのプログラム

第2章 事務計算とデータ

第3章 仕様と設計プログラム

第4章 プログラム言語の仕様記述にならって

第5章 CSPにならって

第6章 プログラム作成論

付録 集合と位相