Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,リポジトリマイニング向けドメイン専用言語(DSL)の構築を自動化する方法を提案する.Alloyを用いることにより,リポジトリマイニングに必要な言語フィーチャを表現したFODA(Feature-Oriented Domain Analysis)モデルからDSLが生成される.Alloyでは,DSLに求められる制約条件を与えることにより,その制約を満たすコンフィグレーション(DSLを構成する言語部品群)を求めることができる.
- 一般社団法人電子情報通信学会の論文
- 2012-07-20
著者
-
久住 憲嗣
九州大学システムlsi研究センター
-
鵜林尚靖
九州大学
-
久住 憲嗣
九州大学
-
鵜林 尚靖
九州大学
-
鵜林 尚靖
東京大学総合文化研究科
-
亀井 靖高
奈良先端科学技術大学院大学
-
亀井 靖高
九州大学
-
山下 一寛
九州大学
-
亀井 靖高
九州大学大学院システム情報科学府
-
久住 憲嗣
九州大学大学院システム情報科学府
-
中城 亮祐
九州大学
-
黄 長贇
九州大学
関連論文
- テスト駆動開発を支援するためのデバッグ関心事グラフ(デバッグ,モデル駆動開発)
- アーキテクチャ設計と実装をつなぐインタフェース機構Archface
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 組込みシステム非正常系分析手法の定性推論による定式化
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- 関心事指向アーキテクチャモデリング環境
- Webコントローラ層におけるアスペクト指向プログラミング
- 契約に基づいたアスペクト指向リファクタリングの検証(学生セッション B_テスト・検証)
- 拡張可能なアスペクト指向モデリングにおける織り合わせの検証(学生セッション A_モデル指向(1))
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (ディペンダブルコンピューティング)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (コンピュータシステム)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
- ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- 2307 高品質組込みソフトウェア設計における非機能要求に着目したプロジェクトマネジメント(一般セッション)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 自律分散型道路交通システムを対象としたゴール指向要求分析手法(システム分析)
- 特集「未来志向のソフトウェア工学」の編集にあたって
- 特集「組込みシステム工学」の編集にあたって
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
- 組込みシステム非正常系分析におけるQFDとガイドワードに関する考察
- 情報フロー・ダイアグラムと分析マトリクスを統合した組込みソフトウェア非正常系要求分析手法の適用事例と考察
- シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
- フィーチャモデル自動描画アルゴリズムの提案と実装
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- 4K-5 行動認識アプリケーション向けドメイン特化型言語の提案(情報爆発時代におけるライフログ・センサー処理,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- Android携帯端末アプリケーション向け消費電力プロファイリング手法 (ディペンダブルコンピューティング)
- Android携帯端末アプリケーション向け消費電力プロファイリング手法 (コンピュータシステム)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
- 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (ディペンダブルコンピューティング)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (コンピュータシステム)
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
- 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
- ウェアラブル/移動情報端末におけるコンテキスト指向プロセス管理
- ウェアラブル/移動情報端末におけるコンテキスト指向プロセス管理
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- 放送による車載機器向けソフトウェア差分更新方式
- 放送による車載機器向けソフトウェア差分更新方式
- 性能と信頼性を考慮したコンテキストアウェアミドルウェアCAMPUS(位置情報・コンテキスト依存サービスII)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- プロジェクトファシリテーションツールを活用した初学者向けソフトウェア開発PBL
- 飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例
- SysMLを用いたシステム開発における制約の充足可能性検証
- SysMLを用いたシステム開発における制約の充足可能性検証
- 自動モノリシック化機能を持つ組込み向けマイクロカーネル構成オペレーティングシステム(システムソフトウェアの新しい潮流)
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組み込み用マイクロカーネルOS lambda
- 組み込み用マイクロカーネルOS lambda
- SysMLを用いたシステム開発における制約の充足可能性検証 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)
- SysMLを用いたシステム開発における制約の充足可能性検証 (コンピュータシステム・組込み技術とネットワークに関するワークショップETNET2012)
- UMLモデリング教育におけるモデル駆動開発ツールの利用方法の検討
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
- SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
- GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案
- 派生開発方法論XDDPからのプロダクトライン開発導入
- リポジトリマイニング向けドメイン専用言語の設計と実装
- ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
- Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
- リポジトリマイニングの進化に対応した分析ツールE-CUBEの構築
- オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討
- オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討
- Androidアプリケーションの運用時消費電力分析(プログラム解析と開発支援)