神戸大学
>
大学院システム情報学研究科
>
計算科学基礎講座 計算知能
Research/Validation
の履歴(No.5)
履歴一覧
差分
を表示
現在との差分
を表示
ソース
を表示
Research/Validation
へ行く。
1 (2007-10-03 (水) 18:08:55)
2 (2008-04-22 (火) 13:46:30)
3 (2008-05-01 (木) 12:45:01)
4 (2009-04-01 (水) 10:34:55)
5 (2010-03-24 (水) 12:33:30)
サービス検証・テスト
†
サービスが正しく動作するか?ユーザや環境にとって安全か?複数のサービスを同時に動かしても大丈夫か?
多くのサービスが溢れる将来に向け,サービスを厳密に検証する技術を研究しています.
↑
研究課題
†
Design by Contractを用いたサービス安全性検証
SOAを用いた異種ビル管理システムの連携とサービス競合問題
ホームネットワークにおけるサービス競合問題
ホームネットワークシステムにおけるサービス競合解消方式
サービス競合を考慮したHNS連携サービスの開発
ホームネットワークサービスのモデル検査