CVS

center-name

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

System Design Verification Technique Research Consortium

システム設計検証技術研究会 平成20年度第5回講演会

平成20年度第5回目のシステム設計検証技術研究会を終了いたしました。講演者の佐原様、そしてご参加いただきました23名の皆様にお礼申し上げます。

●日 時:12月19日(金)16:00-18:00
●講演者: 佐原 伸氏(株式会社CSKシステムズ理事:製造グループ VDM推進課)
●演 題:「VDMによる実システム開発」
●概 要:
1.VDMによる要求仕様作成の成果
   1.1. CSKシステムズによる証券業務パッケージシステム開発
   1.2.フェリカネットワークスによるおサイフケータイ用
        モバイルFeliCa ICチップのファームウェア開発
2.VDM仕様記述方法
   2.1. 階層化フレームワークの作成
     2.1.1) 仕様記述フレームワーク
     2.1.2) 回帰テストフレームワーク
   2.2. 仕様記述ライブラリの作成
3.形式手法VDM適用効果の分析
   3.1. コミュニケーションロスの削減
   3.2. 手戻りの削減
   3.3. 仕様修正への耐性
●会 場: 産業技術総合研究所千里サイト 
      三井住友海上千里ビル3F第1会議室

Mr.Sahara
佐原氏
Lecture
講演風景



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