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

• 岡野, 浩三

• 北道, 淳司

• 東野, 輝夫

• 谷口, 健一

書誌事項

タイトル別名

• Hierarchical Design of Abstract Sequential Machine Style Program and Its Application to Development of Stock Management Program
• ジュンジョ　キカイガタ　プログラム　ノ　カイソウテキ　セッケイホウ　ト　ザイコ　カンリ　プログラム　ノ　カイハツレイ

抄録

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

収録刊行物

• 電子情報通信学会論文誌D

  電子情報通信学会論文誌D J76-DI (7), 354-363, 1993-07-25

  電子情報通信学会

キーワード

• 代数的仕様記述
• 階層的設計法
• 順序機械型プログラム
• 在庫管理問題

詳細情報

• CRID: 1050581168904465920
• NII論文ID: 110003315824
• NII書誌ID: AA11341020
• HANDLE: 11094/27454
• NDL書誌ID: 3832909
• ISSN: 09151915
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3832909
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles