国立情報学研究所 コンテンツ科学研究系 助教 石川 冬樹のページです．
サービスコンピューティング，ソフトウェア工学に関する研究／教育活動を行っています．
活動概要
- サービスコンピューティング・サービス指向アーキテクチャに関する研究活動
- ポリシー指向・アスペクト指向に基づくビジネスプロセス適応フレームワーク
- WebサービスにおけるQoS・契約（SLA）のモデル化・分析手法
- サービス合成における選択・適応手法
- （電子情報通信学会 情報・システムソサエティ サービスコンピューティング時限研究専門委員会 副委員長）
- 形式手法に関する研究・教育活動
- トップエスイーにおける産業界向け教育活動
- 抽象化されたVDMモデルと実装コードとの対応付けフレームワーク
- スマート空間に関する要求仕様検証フレームワーク
- 要求工学と法学の融合に関する研究活動
- 要求工学による，要求工学のための法解釈モデル化・分析フレームワーク
詳しい活動内容についてはこちらのページをご参照下さい．
お知らせ
- NEW! 3/15（月）～3/17（水）の3日間，GRACE国際シンポジウムを開催いたします．GRACEセンターの活動・成果報告だけではなく，海外の一流研究者による講演やパネルディスカッション，国内の形式手法第一人者によるワークショップ等が開催されます．ぜひふるってご参加下さい．
- 2009年度より，電子情報通信学会 情報・システムソサイエティ において，サービスコンピューティング時限研究専門委員会を運営しています．2009年度は2回の研究会を開催し，いずれも盛況のうちに終了しました．ご発表，ご参加いただいた皆様ありがとうございました．2010年度も研究会やその他イベントを開催し，国内におけるサービスコンピューティング分野を盛り上げていきたいと思います．
- GRACEセンターでは，一流の研究者の方々による講演・議論を行うGRACEセミナーをはじめとしてとして様々なイベントを開催しています．イベントに関する情報はこちらのページをご参照下さい．
連絡先
101-8430 東京都千代田区一ツ橋2-1-2 学術総合センター内 国立情報学研究所
Tel: 03-4212-2584
Fax: 03-3556-1916
E-mail: f-ishikawa ＜＠＞ nii.ac.jp