Research/Validation の履歴ソース(No.4)

履歴一覧
差分を表示
現在との差分を表示
履歴を表示
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)

*サービス検証・テスト [#aeeba95e]

サービスが正しく動作するか？ユーザや環境にとって安全か？複数のサービスを同時に動かしても大丈夫か？

多くのサービスが溢れる将来に向け，サービスを厳密に検証する技術を研究しています．

** 研究課題 [#qdde66a7]
-Design by Contractを用いたサービス安全性検証 
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問題>./BASModeling]] 
-[[ホームネットワークにおけるサービス競合問題>./ホームネットワークにおけるサービス競合問題]] 
-[[ホームネットワークシステムにおけるサービス競合解消方式>../HNS/ホームネットワークシステムにおけるサービス競合解消方式]] 
-ホームネットワークサービスのモデル検査