フレームワークアプリケーションの副作用の特徴付け手法
スポンサーリンク
概要
- 論文の詳細を見る
近年のオブジェクト指向開発において,アプリケーションフレームワークはアプリケーションの開発効率と信頼性を大きく向上させる手段として,普及が進んでいる.しかしながら,フレームワークのメソッドを良く理解せずに,誤った形で呼び出す(或いは呼び出さない)アプリケーション固有のコード、すなわち逸脱コードの問題が注目され始めている.本論文ではフレームワーク内の逸脱コードによって引き起こされる副作用を特徴付けする手法を提案する。我々はこの特徴付けによって副作用の複雑な実行過程をメソッド呼び出しとオブジェクトの参照の視点から概観する事を目指している。我々は第三者が開発した実用的なフレームワーク上のアプリケーションに対して我々の手法を適用し、その実用面からの有用性を議論する。
- 2012-07-12
著者
-
中村 匡秀
奈良先端科学技術大学院大学情報科学研究科
-
中村 匡秀
神戸大学
-
中村 匡秀
神戸大学大学院工学研究科
-
柴山 悦哉
東京大学
-
Nakagawa Mikiko
Department Of Cardiovascular Science Oita University
-
久米 出
奈良先端科学技術大学院大学
-
久米 出
奈良先端大
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
Namiki Mikio
Department Of Integrated Cancer Therapy And Urology Andrology Unit Kanazawa University Graduate Scho
-
Minami Noriaki
Department Of Pediatrics Shimane University Faculty Of Medicine
-
Naoi Makito
Department Of Urology Toho University Sakura Medical Center
-
久米 出
奈良先端大学院大学
-
中村 匡秀
神戸大学大学院システム情報学研完科
関連論文
- 異なるライフログを集約するための標準データモデルの考察(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 異なるライフログを集約するための標準データモデルの考察(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- ホームネットワークにおける環境への副作用を考慮した省エネ機器操作推薦手法(ユビキタスネットワーク・ホームネットワーク,ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- センササービスのマッシュアップを実現するサービス指向基盤の提案(ユビキタスネットワーク・ホームネットワーク,ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- ホームネットワークシステムにおける電力消費振り返りサービスの提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- ホームネットワークシステムにおけるサービス開発へのペルソナシナリオ法の適用と評価(ホームネットワーク)
- ホームネットワークにおける家電連携サービスのユーザビリティ評価(ホームネットワーク)
- ホームネットワークにおける家電連携サービス作成支援システムの開発(ホームネットワーク)
- ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル(ホームネットワーク,ライフログ活用技術,オフィス情報システム,ライフインテリジェンス)
- 家電機器連携サービスにおけるサービス競合の検出(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 家庭のエンドユーザを対象としたホームネットワーク機器連携サービス作成支援システム
- サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装(ホームネットワーク,ライフログ活用技術,オフィス情報システム,ライフインテリジェンス)
- ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案(ホームネットワーク)
- Webサービスを用いた従来家電のホームネットワークへの適応
- 注視情報に基づくネットワーク家電の状態提示システムの構築
- ホームネットワークシステムにおけるサービス競合の分類と解消について
- データ依存解析に基づくレガシーソフトウェアからのサービス抽出法
- 家電機器間の相互接続性を考慮した連携サービスを実現するサービス指向フレームワークの提案(テスト・評価)
- プログラマの視線を用いたレビュープロセスの分析
- 家電連携サービスにおけるサービス競合の動的な検出・解消法の設計と評価
- WS-PROVE を用いた Web サービスメトリクスの実験的評価
- Web サービスアプリケーションのプロトタイピングおよび性能評価のためのシステム開発
- WS-PROVEを用いた Web サービスメトリクスの実験的評価
- サービス指向アーキテクチャを用いたネットワーク家電連携サービスの開発(Webサービス)(新時代の分散処理とネットワーク(WebサービスとP2P))
- BPELワークフローに着目した連携Webサービスの応答速度・稼働率の見積もり手法(webサービスとコンテキスト)
- 時間駆動型Webサービス呼び出しフレームワークWS-Schedule Managerの提案と実装(webサービスとコンテキスト)
- ユビキタスネットワークにおけるサービス資源検索のためのサービスレジストリの考察
- 教育用計算機システムにおけるプリンタシステムに求められる要求とその実装(システム構築・運用技術, オープンソース時代の分散システム/インターネットの構築・運用技術)
- 適応型ユビキタスサービスの開発を支援するユビキタスクラウドの提案(ユビキタス・クラウドへの知的アプローチ,「Webサービス・クラウド」及び一般)
- サービス競合検出・解消システムを用いたホームネットワーク連携サービスの開発
- 場所情報を用いたセンサ検索と類似条件提示によるコンテキスト構築支援環境 : Sensor Service Binder 2.0(センサネットワーク,ホームネットワーク,ネットワーク制御,QoS,ルーティング,マルチキャスト,モバイルネットワーク,Mobile IP及び一般)
- ホームネットワークシステムにおけるサービス要求を考慮した環境競合検出法(センサネットワーク,ホームネットワーク,ネットワーク制御,QoS,ルーティング,マルチキャスト,モバイルネットワーク,Mobile IP及び一般)
- マッシュアップAPIを用いた異なるライフログサービスの連携(不均質なライフログからのデータマイニング及び一般)
- SOAシステム構築のための既存システムの再利用性評価(webサービスとコンテキスト)
- 異なるライフログをマッシュアップするためのデータ変換・集約アクセスAPIの実装(不均質なライフログからのデータマイニング及び一般)
- 暗黙的なユーザ要求を抽出・推定するホームネットワークのための対話型音声インターフェース(不均質なライフログからのデータマイニング及び一般)
- ホームネットワークシステムにおける電力消費振り返りサービスの提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 命令のカムフラージュによるソフトウェア保護方法(実装)
- 命令コードの実行時置き換えによるプログラムの解析防止
- センサ駆動連携サービスのためのサービス競合検出手法に関する検討(ホームネットワーク,「Webサービス・クラウド」及び一般)
- 時空間情報と動作を組み合わせた認証方法
- WebTracer:視線を利用したWebユーザビリティ評価環境(ユーザビリティ)(「インタラクション:理論,技術,応用,評価」)
- SOAにもとづくホームネットワークサービス競合検出・解消基盤の提案
- 類似した命令列の畳込みによるプログラムの耐タンパ性の向上(学生セッション H_開発支援)
- 家電連携サービスにおけるサービス競合の動的な検出・解消法の設計と評価
- WS-PROVE を用いた Web サービスメトリクスの実験的評価
- Web サービスアプリケーションのプロトタイピングおよび性能評価のためのシステム開発
- Web サービスアプリケーションのプロトタイピングおよび性能評価のためのシステム開発
- WS-PROVEを用いた Web サービスメトリクスの実験的評価
- Web サービスアプリケーションのプロトタイピングおよび性能評価のためのシステム開発
- 複数Webサービス連携手法の実験的評価(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 複数Webサービス連携手法の実験的評価(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 家電機器連携サービスにおけるサービス競合の検出(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 複数Webサービス連携手法の実験的評価(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 家電機器連携サービスにおけるサービス競合の検出(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- Webサービスアプリケーションのソフトウェアメトリクスに関する考察(セッション7)
- 異なる連携方式を用いたWebサービスアプリケーションの開発および評価(セッション7)
- Webサービスアプリケーションのソフトウェアメトリクスに関する考察(セッション7)
- 異なる連携方式を用いたWebサービスアプリケーションの開発および評価(セッション7)
- API呼出しを用いた動的バースマーク(ソフトウェア基礎,プログラム理論)
- Javaクラスファイルからプログラム指紋を抽出する方法の提案
- Javaクラスファイルからプログラム指紋を抽出する方法の提案
- サービス指向アーキテクチャを用いたホームネットワークシステムの設計と評価尺度(セッション12)
- サービス指向アーキテクチャを用いたホームネットワークシステムの設計と評価尺度(セッション12)
- 位置と速度を利用した移動体向け認証方式の提案(FMC,モバイルネットワーク,情報家電ネットワーク及び一般)
- Use Case Mapsを用いたサービス競合可能シナリオの導出と実験的評価(ネットワークオペレーションと資源管理論文)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- オープンソースを用いた実験環境でのプログラマブルVoIPサービスの意味誤りの評価
- JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案
- 攻撃タスクを考慮した難読化による暗号プログラムの保護
- ホームネットワークシステムにおける家電連携サービスの安全性に関する考察(ホームネットワーク,FMC,モバイルネットワーク,情報家電ネットワーク及び一般)
- ウィンターワークショップ2011・イン・修善寺開催報告
- ホームネットワークシステムのためのパーソナルリモコン開発フレームワーク
- センサ駆動連携サービスのための連鎖検出手法の検討
- ホームネットワークシステムにおける環境インパクトの性質を考慮した環境競合の再定式化(応用ネットワーク,ネットワーク,クラウド及び一般)
- フレームワークアプリケーションの副作用の特徴付け手法
- 異種ライフログ統合のための標準データモデルとマッシュアップAPI(Webサービス,ライフログ処理技術とその活用システム論文)
- 家庭における省エネ促進のための電力消費振り返りサービスの実装と評価(情報家電,ライフログ処理技術とその活用システム論文)
- 時空間情報と動作に基づく認証方法
- ウィンターワークショップ2012・イン・琵琶湖開催報告
- Impact of Stent Platform of Paclitaxel-Eluting Stents : Assessment of Neointimal Distribution on Optical Coherence Tomography
- 変数更新の回数と分散に基づくプログラムのメンタルシミュレーションコスト評価
- 家電機器連携サービスにおけるサービス競合検出システム(ホームネットワーク,符号)(データ工学,ディペンダビリティ,一般)
- 家電機器連携サービスにおけるサービス競合検出システム(ホームネットワーク,符号)(データ工学,ディペンダビリティ,一般)
- Effect of Cytochrome P450 2C19 Polymorphism on Target Lesion Outcome After Drug-Eluting Stent Implantation in Japanese Patients Receiving Clopidogrel
- RFMに基づく一般消費者向けレシートログ分析サービスの実装(ライフログ,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
- レシートログを利用した買い物支援サービスの実装と評価(ライフログ,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
- 位置情報を含むライフログの可視化サービス開発支援フレームワーク(ライフログ,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
- スマートシティにおける大規模住宅ログの収集・活用プラットフォームの検討(ライフログ,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
- マイクアレイネットワークを用いたホームネットワークサービス向けハンズフリー音声インタフェース
- ホームネットワークシステムにおけるパーソナルリモコン作成実験
- スマートシティにおける大規模住宅ログを活用したサービスの検討(Webサービス及び一般,「Webサービス及びクラウドの構築・運用・管理」及び一般)
- ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
- サービス指向ホームネットワークにおけるタイミング制約を用いたセンサ連携サービスの実装(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラピック,TCP/IP,マルチメディア通信,ネットワーク管理 リソース管理,プライベートネットワーク,NW安全性及び一般)
- サービス指向ホームネットワークにおけるタイミング制約を用いたセンサ連携サービスの性能評価(ソーシャル・ネットワーク,セキュリティ管理,災害時情報流通,オーバーレイネットワーク, P2Pネットワーク,自律分散制御及び一般)
- ホームネットワークにおける個人適応型消費電力可視化サービス
- ホームネットワークにおける個人適応型消費電力可視化サービス
- Metrics Viewer:サービス指向リポジトリマイニングを活用したソフトウェアメトリクス可視化ツール
- Metrics Viewer:サービス指向リポジトリマイニングを活用したソフトウェアメトリクス可視化ツール