CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

研究発表のお知らせ

「ソフトウェアテストシンポジウム2005」(JaSST2005)

2005年1月24日〜25日の2日間、東京都港区の東京コンファレンスセンター品川にて開催されます、第3回となる「ソフトウェアテストシンポジ ウ ム2005」にて、CVS研究員 水口大知銀惠が研究発表を行います。

 詳しい情報はシンポジウムのWebサイトをご覧ください  > > 

発表スケジュール

1月24日(月) 16:40〜17:10 水口大知(Daichi Mizuguchi)
「モデル検査とその適用事例の紹介」
システムに潜在する「深く埋もれた不備」を、システムの 設計段階から洗い出すことを可能にするモデル検査。ここでは、 このモデル検査について、実際の適用事例を通して、モデル検査の考え方やモデル検査ツールの使い方をご紹介いたします。


1月24日(月) 17:10〜17:40 崔 銀惠(Eun-Hye Choi)
「Webアプリケーションのクラス設計仕様に対す るモデル化と検証」
Webアプリケーションの上流側設計仕様書の検証手法を提案し、実際の適用事例を 紹介します。クラスの設計書からモデルを作成する方法、モデル検査を使った検査方法についてお話します。提案手法は上流仕様書のレビューに使えます。





産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.