順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例

概要

論文の詳細を見る
本論文では代数的手法による順序機械型プログラムの階層的設計法について提案する.我々の階層的設計法では要求仕様から実現プログラムまで同一の詳細化法に基づいて段階的に順次詳細化していく.各レベルでは,そのレベルでの関数,処理の性質等の要求記述が行われ,そのレベルで閉じた記述になっている.我々は,プログラム設計技法の共通問題として提供された在庫管理問題に対し本手法を適用し,他の文献では見られなかった入出力関係のみを指定した要求記述から,5段階にわたって逐次詳細化し,プログラムを開発した.本論文では記述の概略と共に,要求記述や詳細化の際に一般的に生じる問題点,解決法を述べ,また,他の方法論との比較も行っている.「拡張射影」と呼ばれる単純な枠組で最上位の満たすべき入出力関係を記述できること,記述は完全に階層的であること,各レベルの要求記述はいわゆるオーバスペックにならないように必要なことのみ記述していること,各レベルの要求記述に抜けがないよう記述スタイルを工夫していること,正しさの形式的な証明が可能であったこと,実現プログラムの実行時間はCプログラムのそれのたかだか2倍程度があること,等の結果より,本設計法および処理系の有効性が確かめられた.
1993-07-25

順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例

スポンサーリンク

概要

著者

関連論文

スポンサーリンク