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

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

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

Number of Access:569（2025-08-31 12:56 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27454

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_J76-D1_7_354 pdf None 789 KB 71 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

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