モデル変換に基づく要求記述を利用した形式仕様の構築
スポンサーリンク
概要
- 論文の詳細を見る
近年,ソフトウェアの複雑化により,要求分析の重要性が認識されるとともに形式手法によるモデルの詳細化が注目されている.しかし,形式手法による仕様の記述は開発者にとって容易ではなく,要求を満足するソフトウェア構築は依然として容易ではない.そこで本研究では,要求分析法KAOSにより記述された要求記述を形式仕様言語VDM++の形式仕様へと自動変換する手法と,本手法を用いた開発プロセスを提案する.本研究により,形式仕様の構築が容易になるとともに,要求記述と形式仕様間の整合性が保証され,モデル詳細化によるソフトウェア開発が実現される.
- 一般社団法人情報処理学会の論文
- 2008-07-15
著者
-
田口 研治
国立情報学研究所
-
田口 研治
産業技術総合研究所
-
中川 博之
電気通信大学
-
中川 博之
東京大学:鹿島建設株式会社
-
中川 博之
東京大学 現在 電気通信大学
-
本位田 真一
東芝研究開発センター
関連論文
- オントロジー構築サービスONTOMOの開発 : インスタンス自動推薦の試作と評価(企業・学生交流セッション「企業のAI・大学のAI」)
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案(位置情報サービス, ユビキタスITSとモバイルアプリケーション)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェア設計に対するモデル駆動型検証プロセス(ソフトウェア分析・設計技法)
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- モデリングは教育できるか?(要求/教育)
- 電気接点の接触抵抗に及ぼす摺動の影響(トライボロジー/一般)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- セキュリティ要求分析のためのカリキュラム設計と方法論
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- Folksonomyマイニングに基づくWebページ推薦システム(エージェント応用システム,マルチエージェントの理論と応用)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- Ruby 処理系へのスナップショット GC の実装
- セキュリティ要件定義のためのゴール指向モデリング手法(一般セッション)
- Webからの自己教師あり学習を用いた人間行動マイニング(一般,「グリーンAI」及び一般)
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション)
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション,一般,フレッシャーズセッション)
- セキュリティ要件定義のためのゴール指向モデリング手法(一般セッション,一般,フレッシャーズセッション)
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価
- ビヘイビア記述に基づく自己適応システム実装フレームワークの提案
- オントロジー構築サービスONTOMOの開発 : 固有名詞抽出によるインスタンス・プロパティ自動推薦エージェントの評価
- ソフトウェア論文座談会
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- 自律システム実現に向けたアーキテクチャの構築
- フェロモンモデル : 交通渋滞予測への適用(モデル/理論, ソフトウェアエージェントとその応用論文)
- 遺伝的アルゴリズムによるアナログLSIの素子配置
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 第48回IEEE Holm会議報告 : 新しい展開を目指して
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- JADEを利用したマルチエージェントシステムの開発(研究のツールボックス 第6回)
- 契約による設計を用いたインタラクションの実装(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- インタラクション記述言語IOM/T(モデル/理論, ソフトウェアエージェントとその応用論文)
- 要求の重要度を用いたマルチエージェントシステムの分析モデル検証(モデル/理論,ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 無線センサネットワークにおけるFalse Eventの検知(無線・モバイルネットワーク,情報洪水時代のネットワークサービス)
- variable-size DBFによる分散ハッシュテーブルのトラヒック量削減(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減(ミドルウェア,マルチメディア,分散,協調とモバイル(DICOMO2006))
- 分散ハッシュテーブルにおけるAND検索時のトラフィック量削減(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- ゴール指向要求工学の体系化のための共通用語(分析・設計技法)
- コモンクライテリアのためのモデリング手法の提案
- コモンクライテリアのためのモデリング手法の提案
- コモンクライテリアのためのモデリング手法の提案
- コモンクライテリアのためのモデリング手法の提案
- 編集にあたって(セキュリティ要求工学の実効性)
- トップエスイー「サイエンスによる知的ものづくり教育」
- Teaching how to write security target of Common Criteria using the i* methodology (ソフトウェア工学)
- 3.セキュアトロポス(Secure Tropos)概論(セキュリティ要求工学の実効性)
- VDMにおけるテスティング方式についての考察(テスト・検証(一般セッション))
- モデル変換に基づく要求記述を利用した形式仕様の構築
- Automated Software Engineering 2005参加報告
- Visual-K:ゴール指向要求分析手法KAOSのモデリング可視化支援ツールの試作
- アーキテクチャ記述言語を用いた自己適応システム設計手法の検討
- アーキテクチャ記述言語を用いた自己適応システム設計手法の検討
- パターンを用いたゴール指向ビジネス企画手法の提案
- エスカレータのトライボロジー
- センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出(エージェント応用,ソフトウェアエージェントとその応用論文)
- 携帯端末上での拡張現実を用いた植物推薦エージェントGreen-Thumb Phoneの開発(エージェント応用,ソフトウェアエージェントとその応用論文)
- インタラクションシーケンスに着目した商品検索目的抽出エージェントの開発(エージェント応用,ソフトウェアエージェントとその応用論文)
- 閲覧中のニュース記事に対するブログ記事から主張を抽出して提示するシステムの提案(エージェント応用,ソフトウェアエージェントとその応用論文)
- コンテンツ投稿型SNSにおける未知性と意外性を考慮した推薦エージェントの提案(エージェント応用,ソフトウェアエージェントとその応用論文)
- 評判分析システムのための教師あり学習を用いた意見抽出(エージェント応用,ソフトウェアエージェントとその応用論文)
- 410 プラスチックの摩擦に及ぼす表面粗さの影響(GS-11 トライボロジー(1))
- タグクラスタ多様化による未知性を考慮した推薦手法の提案
- プロダクトラインの要求仕様を統合する要求分析モデルの提案
- コンテンツ投稿型SNSにおける未知性と意外性を考慮した推薦エージェントの提案
- ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法
- フォークソノミとソーシャルアノテーションを用いた動画共有サービス利用支援の試み
- 服飾オントロジを用いたECサイトにおけるユーザデザイン嗜好の推定と評価
- ゴール指向要求分析に基づく組込みボードエミュレータ開発効率化手法の考察
- ゴール指向要求分析に基づく組込みボードエミュレータ開発効率化手法の考察
- テンプレートを用いた法的要求抽出・モデリングの実現に向けて
- タグクラスタ多様化による未知性を考慮した推薦手法の提案(データ工学,Web情報システム,学生論文)
- 第21回要求工学国際会議(RE2013)参加報告
- 自動掃除ロボットの自己適応化に向けて
- 自動掃除ロボットの自己適応化に向けて
- メディア情報のLinked Data化と活用事例の提案(エージェント応用,ソフトウェアエージェントとその応用論文)