Research/Validation の履歴(No.1) - PukiWiki

履歴一覧
差分を表示
現在との差分を表示
ソースを表示
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を用いたサービス安全性検証
ビル管理システムにおけるサービス安全性・競合問題
ホームネットワークにおけるサービス競合問題
ホームネットワークサービスのモデル検査