神戸大学
>
大学院システム情報学研究科
>
計算科学基礎講座 計算知能
Research/Validation
をテンプレートにして作成
開始行:
*サービス検証・テスト [#aeeba95e]
サービスが正しく動作するか？ユーザや環境にとって安全か？...
多くのサービスが溢れる将来に向け，サービスを厳密に検証す...
** 研究テーマ [#qdde66a7]
-Design by Contractを用いたサービス安全性検証
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問...
-[[ホームネットワークにおけるサービス競合問題>./ホームネ...
-[[ホームネットワークシステムにおけるサービス競合解消方式...
-[[サービス競合を考慮したHNS連携サービスの開発>../Validat...
-ホームネットワークサービスのモデル検査
終了行:
*サービス検証・テスト [#aeeba95e]
サービスが正しく動作するか？ユーザや環境にとって安全か？...
多くのサービスが溢れる将来に向け，サービスを厳密に検証す...
** 研究テーマ [#qdde66a7]
-Design by Contractを用いたサービス安全性検証
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問...
-[[ホームネットワークにおけるサービス競合問題>./ホームネ...
-[[ホームネットワークシステムにおけるサービス競合解消方式...
-[[サービス競合を考慮したHNS連携サービスの開発>../Validat...
-ホームネットワークサービスのモデル検査
ページ名:
![[PukiWiki]](image/cs27logo5.png "[PukiWiki]")
