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

岡野, 浩三; 北道, 淳司; 東野, 輝夫 他

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

アクセス数:225件（2025-05-11 15:55 集計）

固定URL: https://hdl.handle.net/11094/27454

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_J76-D1_7_354 pdf なし 789 KB 65 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
Hierarchical Design of Abstract Sequential Machine Style Program and Its Application to Development of Stock Management Program
ジュンジョ　キカイガタ　プログラム　ノ　カイソウテキ　セッケイホウ　ト　ザイコ　カンリ　プログラム　ノ　カイハツレイ
著者
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000020234271 1000020234271
著者名
北道, 淳司 ; キタミチ, ジュンジ ; Kitamichi, Junji
NRID
1000080173144 1000080173144
researchmap permalink
teruo.higashino teruo.higashino
Scopus Author ID
7005648670 7005648670
著者名
東野, 輝夫 ; ヒガシノ, テルオ ; Higashino, Teruo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
代数的仕様記述
階層的設計法
順序機械型プログラム
在庫管理問題
抄録
本論文では代数的手法による順序機械型プログラムの階層的設計法について提案する．我々の階層的設計法では要求仕様から実現プログラムまで同一の詳細化法に基づいて段階的に順次詳細化していく．各レベルでは，そのレベルでの関数，処理の性質等の要求記述が行われ，そのレベルで閉じた記述になっている．我々は，プログラム設計技法の共通問題として提供された在庫管理問題に対し本手法を適用し，他の文献では見られなかった入出力関係のみを指定した要求記述から，5段階にわたって逐次詳細化し，プログラムを開発した．本論文では記述の概略と共に，要求記述や詳細化の際に一般的に生じる問題点，解決法を述べ，また，他の方法論との比較も行っている．「拡張射影」と呼ばれる単純な枠組で最上位の満たすべき入出力関係を記述できること，記述は完全に階層的であること，各レベルの要求記述はいわゆるオーバスペックにならないように必要なことのみ記述していること，各レベルの要求記述に抜けがないよう記述スタイルを工夫していること，正しさの形式的な証明が可能であったこと，実現プログラムの実行時間はCプログラムのそれのたかだか2倍程度であること，等の結果より，本設計法および処理系の有効性が確かめられた．
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会論文誌D
巻(号)
J76-DI(7)
ページ
354-363
刊行年月
1993-07-25
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27454
PISSN
09151915
NCID
AA11341020
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
Copyright © 1993 IEICE
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article