出版社内容情報
【解説】
事務計算プログラムを題材にとり,その科学的な設計法を考える。また厳密な仕様を作成し,正しい実用的なソフトウェアへ変換する方法を提示。
【目次】
例題とそのプログラム・事務計算とデータ・仕様と設計プログラム他
目次
第1章 例題とそのプログラム
第2章 事務計算とデータ
第3章 仕様と設計プログラム
第4章 プログラム言語の仕様記述にならって
第5章 CSPにならって
第6章 プログラム作成論
【解説】
事務計算プログラムを題材にとり,その科学的な設計法を考える。また厳密な仕様を作成し,正しい実用的なソフトウェアへ変換する方法を提示。
【目次】
例題とそのプログラム・事務計算とデータ・仕様と設計プログラム他
第1章 例題とそのプログラム
第2章 事務計算とデータ
第3章 仕様と設計プログラム
第4章 プログラム言語の仕様記述にならって
第5章 CSPにならって
第6章 プログラム作成論