離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-
スポンサーリンク
概要
- 論文の詳細を見る
本論文では分析・設計・実装・プログラムの 4 つの段階を順次追って一貫したプログラム開発ができる記述言語系 OOJ の開発を報告する.OOJ の適用分野は科学技術計算分野であり,この分野に適した離散構造化モデルを開発した.そして 4 つの段階間の記述が必ず 「同等内容の別表現」 となる特性,一貫相似性,を実現する設計とした.この特性により分析記述は忠実にプログラムに反映され,開発過程の正しさや成果の妥当性が確保される.この特性は V&V の実現でもあり,プログラムの信頼性向上に貢献する故にプログラム開発に有効な道具になる.OOJ は開発過程における信頼性の向上や V&V の評価の実現,および理解と実記述の容易性の特長の故に,効果的な利用法を持つ言語系であると結論できた.
- 2013-02-20
著者
-
上田 賀一
茨城大学
-
上田 賀一
茨城大学大学院理工学研究科
-
上田 賀一
茨城大学工学部情報工学科
-
上田 賀一
茨城大
-
三塚 恵嗣
茨城大学大学院理工学研究科
-
池田 陽祐
茨城大学大学院理工学研究科
-
加藤木 和夫
茨城県立産業技術短期大学
-
大木 幹生
群馬工業高等専門学校電子情報工学科
-
加藤木 和夫
現在,茨城県立産業技術短期大学
-
畠山 正行
現在,茨城大学工学部情報工学科
-
池田 陽祐
現在,茨城大学大学院理工学研究科情報・システム科学専攻
-
三塚 恵嗣
現在,株式会社日立システムズ
-
大木 幹生
現在,群馬工業高等専門学校教育研究支援センター
-
上田 賀一
現在,茨城大学工学部情報工学科
-
三塚 恵嗣
株式会社日立システムズ
-
大木 幹生
現在,群馬工業高等専門学校
-
畠山 正行
現在,茨城大学工学部
-
畠山 正行
茨城大学工学部
関連論文
- MASの情報共有のための記述言語SMASHの提案(学生セッション,一般)
- UMLとSimulinkのモデル変換手法の検討
- フィードバック情報収集機能の組み込み可能なフレームワークの開発(協調作業(2))
- 単言語方式のオブジェクト指向プロセス記述言語OOJの設計(オブジェクト指向,言語設計(学生セッション))
- アスペクト指向を用いたマッシュアップ構築支援システムの開発(Webサービス・システム連携(学生セッション))
- プロトタイピング指向言語Brambleの開発
- メタ階層モデル記述言語Brambleのポータビリティの実現
- メタ階層アーキテクチャによるモデリングとリポジトリシステム
- オブジェクト指向モデル記述言語のインタプリタ処理系の開発
- 演習教育を対象としたUML設計の詳細度判定手法の提案(オントロジ,教育(学生セッション))
- オブジェクト指向設計の構造的欠陥検出モデルの検討(レビュー,品質(学生セッション))
- 組込みシステム設計のためのUML拡張とレビュー支援ツール(組込み(学生セッション))
- 形式手法Alloyを用いた図式モデルのための段階的検証方法(形式手法(2)(学生セッション))
- デザインパターン利用促進のためのモデリング支援ツールの開発(開発支援(学生セッション))
- アクティビティ図主導のモデリング支援ツールの開発(協調開発(学生セッション))
- メタ階層を用いたプロトタイピング手法の提案
- ドメイン情報を利用した要求モデルの生成支援環境
- メタ階層化による図式モデルの形式的記述
- オブジェクト指向設計と実装のつながりに関する考察
- メタ階層モデル記述言語Brambleの分散オブジェクト環境への対応
- WEB議事録を用いたソフトウェア開発プロセスの管理(協調作業(1))
- Webアプリケーションのユーザ快適性向上を目指した一つのモデルの提案と解決
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- オブジェクト指向記述言語OOJにおける汎化階層と実値化の方法
- 日本語を主用したオブジェクト指向分析記述言語OONJの設計主題とその記述法
- UML設計を対象とした品質評価モデルの検討
- UMLモデルを対象にした設計品質評価のためのメトリクスの提案(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- プロトタイピングのためのモデル記述言語と支援環境
- プロトタイピングのためのモデル記述言語と支援環境
- 実行可能なモデル記述のための上位表現系の開発
- メタモデルに基づくモデル記述とシミュレーション
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- グラフィカルなモデル記述によるプロトタイピング支援システムの開発
- 周波数解析のためのComplex Demodulation法の改良
- 睡眠脳波解析における紡錘波の自動検出法
- 睡眠脳波における紡錘波の出現パタ-ンの推定
- 多チャネル脳波における睡眠紡錘波の出現形態の推定
- 睡眠紡錘波の周波数解析における計測手法の検討
- カルマンフィルタによる睡眠脳波中の紡錘波の分離とその認識
- 睡眠時における聴覚誘発電位の検出
- 異機種分散のためのクラス管理サーバ方式の提案
- デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案(検証・検査手法)
- デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案(検証・検査手法)
- Web上で動作するMASフレームワークWebMASの設計(学生セッション G_組み込み・Web)
- 顧客参加促進を目的とした画面遷移主導による要求抽出支援ツール(開発支援(2)(学生セッション))
- 日本語ベースのオブジェクト指向記述言語OCDJにおけるモデリング支援ツールの開発(開発支援(1)(学生セッション))
- OCDJ 記述入力を用いたデザインパターン適用支援ツールの開発(学生セッション 2)
- オブジェクト指向プログラム設計記述言語OOPDとその記述環境(システムLSIの設計技術と設計自動化)
- オブジェクト指向計算記述日本語OCDJの設計
- プロトタイプべースモデリング支援環境の提案
- オブジェクト指向プログラム設計記述言語OOPDの設計
- オブジェクト指向自然日本語OONJの設計とその評価
- 要求記述文章の静的側面の可視化によるCSCWの実現
- 実行履歴情報を用いたオブジェクト指向ソフトウェアテスト手法の提案
- ファセットによるカテゴリを用いたソフトウェア検索システムの開発(開発支援(2)(学生セッション))
- UML設計に対するパターン指向リファクタリング適用の検討
- オブジェクト指向モデル記述言語のインタフェース環境の開発
- 初学者を対象とした段階的UML設計手法の提案
- オブジェクト指向開発法によるグル-プウェア開発基盤モデルの提案
- カスタマイズ可能なダイアグラム自動レイアウトツールの設計と試作
- ソフトウェアリポジトリ構築のためのファセット分類アプローチ
- 紙面の地盤情報を電子化する技術開発と今後の方向性 (特集 地盤情報) -- (各組織での取組み)
- UMLによる組込みシステム記述言語SysMLのモデル化の検討(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- B-12 顧客によるソフトウェア要求定義のための方法論の考察(開発技術,B.ソフトウェア)
- 保守過程における自然言語を用いた要求記述支援システムの検討
- 顧客による要求分析のための手法とその支援システム
- 要求仕様導出支援システムにおける辞書構築手法
- 自然言語記述による要求仕様導出支援システムの提案
- 要求仕様からモデル図情報を抽出するシステムDESPER
- 要求者支援のための記述解析システムASREDの開発
- 図式的プロセス記述によるアプリケーション自動/対話実行支援システムの設計
- オブジェクト指向パラダイムに基づくプログラミング言語の視覚化
- メタモデルに基づくプロセスモデルの記述と実行
- オブジェクト指向に基づく要求記述からの形式的仕様の導出手法
- オブジェクトベース言語Brambleにおける形式的検査
- オブジェクトベース言語における形式的型検査に関する検討
- ソフトシステム方法論に基づくソフトウェア開発法と開発事例
- メタ階層アーキテクチャによるプロトタイプシステム開発とその考察
- プロトタイプモデリング環境のための記述言語及び処理系の設計(開発支援(学生セッション))
- UML記述にUI設計を連携させた開発支援ツールの提案(開発支援(1)(学生セッション))
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- UMLモデリングにGUI設計の取り込みを考慮した設計支援ツールの提案(学生セッション H_開発支援)
- 並行システムのオブジェクト指向設計に適したプログラミング言語の開発
- プロトタイプベース言語によるメタ階層モデリング環境の実現(ソフトウェアモデリング及び一般)
- ソフトシステム方法論に基づくソフトウェア開発
- ビジュアル・プログラミングのための制御構造のオブジェクト化と視覚化
- 有限Alloy記述の段階的な構築について
- UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
- 実世界を直截に記述可能なOOJ記述環境の開発とその利用効果
- 離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-
- OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装
- V&V評価の仕組みを組み込んだOOJ記述環境の開発と評価
- 離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用 -分析からプログラムまでの一貫開発とV&V評価実現の検討-
- 要求記述からオブジェクト構造による形式的仕様への導出について
- 情報制御システムのモデル検査における反例分析支援ツールの開発
- Simulinkモデルの品質特性分析支援ツールの開発と適用事例(一般)
- 実行履歴解析によるUMLシーケンス図の抽象化手法(一般)