CVS

center-name

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

System Design Verification Technique Research Consortium

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

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

●日 時: 10月26日(金)16:00〜18:00
●講演者: 栗田 太郎氏(フェリカネットワークス株式会社 開発部)
●演 題: モバイル FeliCa IC チップ開発における形式仕様記述手法の導入
●概 要: 「おサイフケータイ」用モバイル FeliCa IC チップファームウェア開発プロジェクトにおける、形式仕様記述手法適用事例をご報告致します。 主たるテーマはソフトウェア開発の上流工程に おける品質確保やプロジェクト内外のコミュニケーション活性化方法です。 一般的なソフトウェア開発プロジェクトの抱える課題 と対比させながら、同時に自然言語・UML・形式仕様記述言語・ モデル検査手法の 使い分けについてもご報告致します。

●会 場:   産業技術総合研究所 システム検証研究センター 千里オフィス6F会議室

Mr.Kurita
栗田氏
Lecture
講演風景



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