オブジェクト指向一貫記述言語系OOJにおけるトレーサの開発
スポンサーリンク
概要
- 論文の詳細を見る
我々の研究グループでは,以前より主としてシミュレーションプログラムの開発支援を目的としたオブジェクト指向一貫記述言語系OOJの研究を行って来た.従来のシミュレーションプログラムの開発では,分析,設計,実装の各段階において,個人規模の開発ではプログラムの実行結果が分析と同等内容のプログラムに変換されていることを検証するのは難しい.そこで本論文では,分析段階の記述と実装段階の記述の相似性を検証するための仕組みとしてトレーサの実装を提案する.それにより実際の記述例を用いての一貫相似性の検証を行うことが出来るようなった.実際の具体例として「一次元衝撃波管の流れ」という記述例を用いて一貫相似性の検証を行った.その結果,対応関係を用いての記述の変換過程の追跡により,記述が正しく変換できているのかの確認に有用であることが確認できた.
- 2011-03-07
著者
-
畠山 正行
茨城大学工学部情報工学科
-
沼崎 隼一
茨城大学大学院理工学研究科
-
三塚 恵嗣
茨城大学大学院理工学研究科
-
池田 陽祐
茨城大学大学院理工学研究科
-
畠山 正行
現在,茨城大学工学部情報工学科
-
三塚 恵嗣
株式会社日立システムズ
-
畠山 正行
茨城大学工学部
関連論文
- 単言語方式のオブジェクト指向プロセス記述言語OOJの設計(オブジェクト指向,言語設計(学生セッション))
- 低開発コストの分散計算方式の構築
- 共有配列を用いたオブジェクト指向自動分散計算システム
- オブジェクト指向数値計算の自動負荷分散システム
- オブジェクト指向に基づく柔軟な数値風胴シミュレーションシステム
- オブジェクト指向自然日本語OONJの記述モデル構築の試み(セッション3)
- Webアプリケーションのユーザ快適性向上を目指した一つのモデルの提案と解決
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- オブジェクト指向記述言語OOJにおける汎化階層と実値化の方法
- 日本語を主用したオブジェクト指向分析記述言語OONJの設計主題とその記述法
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- オブジェクト指向分析記述言語OONJの記述例を用いた簡潔な表現技法の開発
- 日本語を主用したオブジェクト指向分析記述言語OONJの設計主題とその記述法
- ドメインユーザ・プログラミング:記述言語をベースとする仕組みの提案
- オブジェクト指向分析記述言語OONJの記述例を用いた簡潔な表現技法の開発
- オブジェクト指向記述言語OOJにおける日本語単文の自動変換機構
- 三言語独立のオブジェクト指向記述言語OOJの実装と検証(オブジェクト指向,言語設計(学生セッション))
- オブジェクト指向一貫相似性記述言語OOJの設計と検証(形式手法(1)・言語(学生セッション))
- オブジェクト指向設計記述言語ODDJの汎化階層構成への拡張とその実装(形式手法(1)・言語(学生セッション))
- オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)
- オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)
- オブジェクト指向プログラム自動生成記述言語OPDJとその記述開発環境 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術の提案(セッション5)
- オブジェクト指向ドメインユーザ計算設計記述日本語ODDJとその記述特性 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術の提案(セッション5)
- simpleOONJ : ドメインユーザでも使いこなせるオブジェクト指向技術の提唱(セッション3)
- オブジェクト指向自然日本語記述言語OONJの設計とその記述力の評価(セッション4)
- オブジェクトベースー貫日本語記述言語OOJに基づくプログラムの自動生成(セッション4)
- オブジェクト指向プログラム設計記述言語OOPDとその記述環境(システムLSIの設計技術と設計自動化)
- オブジェクト指向計算記述日本語OCDJの設計
- オブジェクト指向プログラム設計記述言語OOPDの設計
- オブジェクト指向自然日本語OONJの設計とその評価
- DNA演算シミュレータの構築
- DNAを用いた乗算の方法の提案とその計算手順の設計
- オブジェクト指向シミュレーション分散仮想計算機システム : (その2)その構成とエージェントを用いた自動分散計算の試み
- オブジェクト指向データベースをもちいた自然現象の再現シミュレーション
- オブジェクトベースFortranの設計とそのトランスレータの開発(開発支援(1))
- 数値シミュレーションにおけるマッピングと可視化
- 低開発コストの分散計算方式の構築
- 低開発コストの分散計算方式の構築
- オブジェクト指向記述日本語OODJとその記述環境
- オブジェクト指向分析記述日本語OOJとその記述環境
- オブジェクト指向日本語分析記述環境OOJの設計と開発
- オブジェクトベースリポジトリの駆動及びインタフェースシステム
- オブジェクト指向に基づく視覚系及び操作系の研究
- ドメインユーザにもやさしいオブジェクト指向自然日本語記述言語simpleOONJとその記述環境(プログラミング環境)
- エージェント指向モデルの数値流体計算への応用
- オブジェクト指向実行記述言語OEDJとそのトランスレータ(言語処理系・テスト)
- オブジェクト指向実装記述言語OEDJの記述環境およびトランスレータの開発(開発支援(1))
- オブジェクト指向日本語一貫プログラミング環境
- オブジェクト指向日本語一貫プログラミング環境
- オブジェクト指向一貫記述言語系OOJにおけるトレーサの開発
- オブジェクトベース一貫数値風胴システムとその駆動支援環境
- オブジェクトベースCADSシステムの構築 : O0DBMSを基礎にした設計・加工及びシミュレーションシステム
- オブジェクト指向に基づく数値シミュレーション法の提案と実現例
- データベースを基礎にした擬似オブジェクトベース機構の実現とシミュレーション
- データベースを基礎にした分散数値シミュレーション実行制御支援環境
- オブジェクト指向設計記述言語ODDJの設計とその記述環境の開発(開発支援(1))
- ブラウザ上のWebアプリケーションの応答性を高める実装手法
- メッセージパッシングモデルに基づく差分方程式の計算方式とその実行例
- メッセージパッシングモデルに基づく差分方程式の計算方式とその実行例
- オブジェクト指向シミュレーションの実現とその実行環境
- プロトタイプベースオブジェクトファイルシステム
- オブジェクトシミュレーションシステムへのUNIXシステムの再構成
- 高負荷オブジェクトシミュレーションの動的負荷分散化
- オブジェクト指向分析記述言語OONJの設計原理構築と記述環境開発(開発支援(1))
- オブジェクト指向自然日本語記述言語OONJの設計とその記述例(プログラミング環境)
- オブジェクト指向CFDシミュレーションの並列化システム
- オブジェクト指向シミュレーションの自動分散化の実現と評価
- 自動分散型オブジェクト指向シミュレーションシステムの実行効率
- オブジェクト指向に基づく数値風胴シミュレーション : 高精度なモデリングと柔らかな計算システムの実現例(ソフトコンピューティング)
- オブジェクトベースモデルに基づくシミュレーション駆動機構の構築
- オブジェクトベース機構に基づく数値シミュレーション
- オブジェクトベース機構 : オブジェクト指向一貫モデリング過程論に基づくシミュレーションの実現
- オブジェクトの振舞いの自動的な改変機構の試み
- PVM を用いた2次元流れの自動負荷分散計算
- オブジェクト指向の概念を導入したグラフィックス表現法
- オブジェクト指向に基づく偏微分方程式の数値シミュレーション
- オブジェクトシンセサイザの設計と実装及び評価
- UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
- 自動分散型オブジェクト指向数値計算プログラムの生成システム
- 自動分散型オブジェクト指向シミュレーションシステムの生成
- オブジェクトベース・シミュレーションのGUI実行支援環境
- 階層構造オブジェクト・エディタの試作
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
- 記述言語系OOJ上で実現する個人向けV&V環境の提案
- 実世界を直截に記述可能なOOJ記述環境の開発とその利用効果
- 離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-
- OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装
- V&V評価の仕組みを組み込んだOOJ記述環境の開発と評価
- 離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用 -分析からプログラムまでの一貫開発とV&V評価実現の検討-
- オブジェクト管理システムとしてのオブジェクトベースリポジトリの考察