離散構造化モデル記述言語系OOJの構築と効果的な利用法―分析からプログラムまでの一貫開発とV&V評価実現の検討―

• Item type: SIG Technical Reports(1)
• 公開日: 2013-02-20
• タイトル: 離散構造化モデル記述言語系OOJの構築と効果的な利用法―分析からプログラムまでの一貫開発とV&V評価実現の検討―
• タイトル / 言語: en
• タイトル: A design of discretized and structured model descriptive language system OOJ and its effective utilization method
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 現在，茨城大学工学部情報工学科
• 著者所属: 現在，茨城大学大学院理工学研究科情報・システム科学専攻
• 著者所属: 現在，株式会社日立システムズ
• 著者所属: 現在，群馬工業高等専門学校教育研究支援センター
• 著者所属: 現在，茨城県立産業技術短期大学
• 著者所属: 現在，茨城大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Presently with Department of Computer and Information Sciences, Ibaraki University
• 著者所属(英): en
• 著者所属(英): Presently with Graduate School of Information and System Science，Ibaraki University
• 著者所属(英): en
• 著者所属(英): Presently with Hitachi Systems, Ltd.
• 著者所属(英): en
• 著者所属(英): Presently with Technical Support Center for Education and Research, Gunma National College of Technology
• 著者所属(英): en
• 著者所属(英): Presently with Ibaraki Prefectural Industrial Technology Junior College
• 著者所属(英): en
• 著者所属(英): Presently with Department of Computer and Information Sciences, Ibaraki University
• 著者名: 畠山, 正行; 池田, 陽祐; 三塚, 恵嗣; 大木, 幹生; 加藤木, 和夫; 上田, 賀一
• 著者名(英): Masayuki, Hatakeyama; Yousuke, Ikeda; Keishi, Mitsuka; Mikio, Ohki; Kazuo, Katougi; Yoshikazu, Ueda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では分析・設計・実装・プログラムの 4 つの段階を順次追って一貫したプログラム開発ができる記述言語系 OOJ の開発を報告する．OOJ の適用分野は科学技術計算分野であり，この分野に適した離散構造化モデルを開発した．そして 4 つの段階間の記述が必ず 「同等内容の別表現」 となる特性，一貫相似性，を実現する設計とした．この特性により分析記述は忠実にプログラムに反映され，開発過程の正しさや成果の妥当性が確保される．この特性は V&V の実現でもあり，プログラムの信頼性向上に貢献する故にプログラム開発に有効な道具になる．OOJ は開発過程における信頼性の向上や V&V の評価の実現，および理解と実記述の容易性の特長の故に，効果的な利用法を持つ言語系であると結論できた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the present paper, we will report a descriptive language system OOJ that can be applied from the analysis stage up to the program stage throughout the design and the implementation stage. OOJ is designed based on the discrete and structured model and applied in the fields of science and engineering calculations. In OOJ, the corresponding descriptions among four stages are integrally similar. That is, the descriptions in these four stages have some different phrases but the equivalent contents. These characteristics realize the concept of the V&V, and contribute to the upgrade of the reliability of the program. We got the conclusion with high feasibility that OOJ contributes to the upgrade of the program reliability, to the realization of the V&V concept, and finally to the easiness and usability.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10505667
• 書誌情報: 研究報告数理モデル化と問題解決（MPS）; 巻 2013-MPS-92, 号 25, p. 1-6, 発行日 2013-02-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会