ご挨拶
「CALが目指すもの」
CATS先端研究所（CAL）　所長（非常勤）・JAIST教授
二木 厚吉

北陸先端科学技術大学院大学（JAIST）　情報科学研究科　教授（現任）
スタンフォード研究所客員研究員
通商産業省工業技術院電子技術総合研究所　主席研究官
北陸先端科学技術大学院大学情報科学研究科長　等を歴任

基調講演
「Opportunities for Industrial Applications of Formal Methods」
SRI International, Computer Science Laboratory,Program Director
John Rushby

SRIインターナショナル（スタンフォード研究所）プログラムディレクタ
形式手法分野の世界のCOE（Center of Excellence）であるSRIコンピュータ科学研究所（Compute Science Laboratory）形式手法グループの責任者
DIRC(Interdisciplinary Research Collaboration in Dependability;イギリス5つの大学によるディペンダブル・コンピュータ・システムに関する研究コンソーシアム）のシニアビジティングフェローなども勤め世界的に活躍中
形式手法分野の世界の第一人者である

休憩
 

「好感数」
CATS先端研究所（CAL）　顧問
渡辺 清

元防衛大学校　教授（地形学）
陸上幕僚監部施設課研究班長
陸上幕僚監部調査部地誌班長　等を歴任
勲四等旭日小綬章　授章

「ソフトウェア経済学のすすめ-価値指向のソフトウェア開発アプローチ-」
CATS先端研究所（CAL）　技術顧問
大槻 繁

株式会社一　副社長　専任コンサルタント
IPA/SEC見積手法部会委員
同 ソフトウェア価値評価WGリーダ
JEITAソフトウェアエンジニアリング技術分科会委員
アジャイルプロセス協議会運営委員長・副会長

ご挨拶
キャッツ株式会社　組込みソフトウェア研究所（CESL）　所長
松本 充広

Lunch　Party
 

ご挨拶
キャッツ株式会社　代表取締役社長　上島 康男

事例発表1
「VoIP製品におけるZIPCの活用とPC上のプロトタイプの有効性」
サクサシステムエンジニアリング株式会社
技術本部　第一プロジェクト　調査役　十日市 勉　様

事例発表2
「東芝統合開発環境とZIPCとの連携〜ZIPC最新バージョンへの対応による
組み込みアプリケーション開発期間短縮〜」
東芝LSIシステムサポート株式会社
マイコン開発環境技術部　ソフトウエア開発環境第1担当
チームマネージャー　内田 宏光　様

休憩
 

事例発表3
「UMLの要求仕様分析からZIPCを使用した状態遷移表での
モデル検証成果」
株式会社ネットタッチソフトウェア　開発部　主任技師　須藤 崇　様

事例発表4
「Rose-ZIPC++連携による携帯電話アプリケーション開発」
パナソニックMSE株式会社　移動体端末ソフトプロダクトセンター
業務推進グループ　開発環境チーム　小林 圭介　様

「ZIPC Ver.9.1 機能向上のみどころ」
キャッツ株式会社　ソフトウェア技術センター　センター長　穴田 啓樹

「キャッツ　ロードマップ」
キャッツ株式会社　取締役副社長　渡辺 政彦

懇親会