概念による設計法（DMC）による在庫管理システムの記述

• Item type: SIG Technical Reports(1)
• 公開日: 1988-02-12
• タイトル: 概念による設計法（DMC）による在庫管理システムの記述
• タイトル / 言語: en
• タイトル: Declarative Specification of an Inventory Control System by the Design Method based on Concepts
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）管理工学研究所
• 著者所属(英): en
• 著者所属(英): Kanrikogaku, Ltd.
• 著者名: 大林, 正晴
• 著者名(英): Masaharu, Ohbayashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、オブジェクト指向的な設計方法論DMCによる在庫管理問題の解法および関数型言語MLによる仕様記述の報告をする。筆者らは、問題に含まれる<概念>に着目し、プログラム構造を設計することを提唱している。今回は、共通問題を本手法で解いてみた。実際には、問題の分析、単語（概念）の整理、概念構造図作成、単語の割り付け、各概念の詳細な定義といった手順で設計を行なう。これらを在庫管理問題に即して説明する。記述実験の結果、DMCにより問題の構造を反映したプログラム構造を作りだすことができた。また、理解しやすい宣言的な仕様記述が得られた。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents how to solve the problem of an inventory control system and describes its specification by the declarative language ML. The "Design Methodology based on Concepts which handle the given problem have been proposed by us. We have applied the methodology to a bench mark problem. First, we analyze the problem and find the instances which are denoted by words. Then we layout these words to create conceptual structure and assign the other words as value or type to those instances. Lastly, declarative specification of each instance is written by ML. According to this process flow, we explain the case or solving an inventory control system. As a result, we could get the fine program structure reflecting to the problem domain structure. Also, we have known that declarative specification is easily understandable.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1988, 号 7(1987-SE-058), p. 33-40, 発行日 1988-02-12
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会