ディペンダビリティ確保にむけたアスペクト指向技術動向
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの開発にあたり可用性や保守性,セキュリティに代表されるディペンダビリティを確保するために有効なアスペクト指向技術の研究ならびに実践の動向について,文献や会議を中心とした調査結果を報告する.本調査において技術の適用対象として,主として Web アプリケーション・エンタープライズアプリケーションを扱う.
- 2010-05-25
著者
-
久保 淳人
早稲田大学
-
高橋 竜一
早稲大学大学院基幹理工学研究科
-
石川 冬樹
国立情報学研究所
-
吉岡 信和
国立情報学研究所
-
石川 冬樹
国立情報学研究所コンテンツ科学研究系
-
石川 冬樹
東京大学大学院情報理工学系研究科
-
鹿糠 秀行
日立製作所
-
鷲崎 弘宜
早稲田大学
-
山本 里枝子
富士通研究所ソフトウェア研究部
-
山本 里枝子
富士通研究所
-
鹿糠 秀行
(株) 日立製作所
-
高橋 竜一
早稲田大学
-
村上 真一
早稲田大学
-
大橋 昭
早稲田大学
-
久保 淳人
青山メディア研究所
-
小高 敏裕
富士通研究所
-
錠 尚史
とめ研究所
-
杉本 信秀
東芝ソリューション
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
鷲崎 弘宜
早稲田大学:国立情報学研究所graceセンター
-
吉岡 信和
国立情報学研究所graceセンター
-
吉岡 信和
株式会社東芝研究開発センター
-
吉岡 信和
総合研究大学院大学 国立情報学研究所
-
鹿糠 秀行
株式会社日立製作所システム開発研究所
-
石川 冬樹
国立情報学研究所graceセンター
関連論文
- 2.SQUAREではじめるセキュリティ要求工学(セキュリティ要求工学の実効性)
- ウインターワークショップ2008・イン・道後開催報告
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案(位置情報サービス, ユビキタスITSとモバイルアプリケーション)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- 6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 文書間類似度によるソフトウェアパターン間関連分析と複合関連の導出
- CAM法を用いた個人嗜好モデルに基づく商品推薦システム
- ソフトウェア設計におけるデザインパターン誤適用のパターン化
- LB-3 オブジェクト指向入門教育における逸脱パターンの提示による効果(B. ソフトウェア)
- ソフトウェアパターンの適用における逸脱パターンの提案
- モデル検査基準を用いたモデル検査プロセスについて(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェア設計に対するモデル駆動型検証プロセス(ソフトウェア分析・設計技法)
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- モデリングは教育できるか?(要求/教育)
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- 第15回プログラムのパターンランゲージ会議(PLoP2008)参加報告(実装,検証,報告)
- B-052 ソフトウェアパターン文書の解析および体系化(B.ソフトウェア)
- 文書中のパターン間の文書類似度による関連分析
- 高安全モバイルエージェントシステムアーキテクチャ
- 物理的相互作用に着目したスマート空間の形式仕様記述と検証
- 6-212 対面型授業とe-Learning学習のための連携支援エージェント((11)e-ラーニング-I,口頭発表論文)
- ユースケース間の関係を考慮した網羅的な受け入れテストの支援
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- セキュリティ要件定義のためのゴール指向モデリング手法(一般セッション)
- ウインターワークショップ2008・イン・道後開催報告
- ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用(ユビキタス社会の実現特集号)
- パターンを用いたセキュアなモバイルエージェントシステム設計法(モバイルコンピューティング)
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- セキュリティ要件定義のためのゴール指向モデリング手法(一般セッション,一般,フレッシャーズセッション)
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
- Webサービス連携のためのモバイルエージェント動作記述(オブジェクト指向とWeb技術)
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- インタラクション記述言語IOM/T(モデル/理論, ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- MIC方式を用いたモバイル環境に適したエージェントの多重管理方式の提案
- アドホックネットワークにおけるエージェント間共同作業のための認証機構(次世代ネットワークソフトウェア論文特集)
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- (モバイルエージェント)パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発(オブジェクト指向技術)
- ソフトウェアエンジニアリングシンポジウム2009開催報告
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- ゴール指向要求工学の体系化のための共通用語(分析・設計技法)
- パネル : 日本の情報基盤を安全にする : セキュリティ標準化の動向と今後
- コモンクライテリアのためのモデリング手法の提案
- パネル : 日本の情報基盤を安全にする : セキュリティ標準化の動向と今後
- コモンクライテリアのためのモデリング手法の提案
- コモンクライテリアのためのモデリング手法の提案
- コモンクライテリアのためのモデリング手法の提案
- モデル検査基準を用いたモデル検査プロセスについて(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 編集にあたって(セキュリティ要求工学の実効性)
- 1.セキュリティ要求工学の概要と展望(セキュリティ要求工学の実効性)
- 無線センサネットワークにおける複数プログラムの動的配備
- セキュリティパターン技術に関する研究動向
- セキュリティパターン技術に関する研究動向(検証/セキュリティ)
- トップエスイー「サイエンスによる知的ものづくり教育」
- モバイル環境向けエージェント移動制御方式の実装
- モバイル環境向けエージェント移動制御方式の適用効果
- M-68 リソース配分を考慮したエージェント移動制御(携帯端末(1),M.ネットワーク・モバイルコンピューティング)
- モバイル環境向けエージェント移動制御(その2)
- モバイル環境向けエージェント移動制御(その2)
- ユビキタスコンピューティングに関する国際ワークショップ(IWUC2004)
- モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ
- ユビキタス環境下におけるモバイルエージェントアプリケーションの効率的開発手法
- サービス指向コンピューティングにおける合意に基づいた協調的な移動性(研究会推薦博士論文速報)
- パーベイシブ・コンピューティングのためのマルチエージェントフレームワーク : Mobeet Framework
- ソフトウェアパターン-時を超えるソフトウェアの道-:3.セキュリティの知識を共有するセキュリティパターン
- 同種サービスの併用を考慮した効率的なサービス選択
- ゴール指向分析に基づくモデル検査のための外部環境の抽象化手法
- AS-3-2 時間,資源の制約を考慮したビジネスプロセスの検証(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- メタデータ制約を用いた協調プロトコルの自動合成手法
- モデル駆動型開発基盤における業務コンポーネント設計手法の開発
- 生体情報から生成する秘密情報によるモバイルエージェント保護方式について
- セキュリティソフトウェア工学の研究動向
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- アカデミッククラウドアーキテクチャの提案と評価
- 形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
- リスク分析手法とモデル検査を組合せた高信頼設計プロセスの提案
- タグに関連づけられた時間・場所の概念抽出
- プライベートクラウド監視アーキテクチャの提案(クラウドの構築・運用・管理,「Webサービス及びクラウドの構築・運用・管理」及び一般)
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に(エージェント)
- プライバシーを守ったITサービスの提供技術:0.編集にあたって
- プライバシーを守ったITサービスの提供技術:3.プライバシーのルールを扱う技術 -制御・検証から説明・理解の支援へ-
- 時間,資源の制約をもつビジネスプロセスの形式検証(ソフトウェアシステム)
- クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)
- 私物デバイスの業務活用におけるセキュリティ要求変化予測法
- 法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて(「サービスおよびグラウドのQoS・SLA・ポリシー」及び一般)
- プライベートクラウド監視ツールの開発に向けた一考察(セッション3:クラウド管理,「Webサービス及びクラウドの構築・運用・管理」及び一般)
- ClouTプロジェクト:IoTとクラウドの融合によるスマートシティーヘの取り組み
- CPU使用率とメモリ帯域使用率を考慮した性能予測手法
- アカデミックインタークラウドの構想(教育・学術応用,「Webサービス及びクラウドの応用」及び一般)
- 割り込み処理に着目した組込みソフトウェアへのモデル検査適用の検討
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に