通信制御ソフトウェア開発における状態遷移表の実装効率化への取組み
ZIPCによるコード生成自動化への取組み

富士通株式会社
共通開発本部　第二ソフトウェア開発統括部
三橋　崇

PDF
［502KB］

EPUB
［2,545KB］

通信制御ソフトウェア開発における状態遷移表の実装効率化への取組み
ZIPCを活用したモデル検査ツール開発への取組み

富士通株式会社
共通開発本部　第一ソフトウェア開発統括部
松下　亮太郎

PDF
［583KB］

EPUB
［2,224KB］

状態遷移をテストシナリオに役立てる、テスト工程効率化

日本ナショナルインスツルメンツ株式会社
プロダクトマーケティングエンジニア 天沼　千鶴
東日本営業部 技術担当 神谷　峰男

PDF
［303KB］

EPUB
［1,865KB］

要求仕様の漏れ･抜け検証の手法について

株式会社NTTデータMSE
キャッツ株式会社
松井　恭

PDF
［966KB］

EPUB
［3,099KB］

計測器の組込みソフトウェア開発へのZIPC適用事例

コニカミノルタセンシング株式会社
開発部開発3課
久保　明

PDF
［404KB］

EPUB
［1,770KB］

交通量計測設備の通信インターフェース開発

NEC 日本電気株式会社
交通・公共ネットワーク事業部
宮本　伸一

PDF
［556KB］

EPUB
［1,975KB］

人工衛星姿勢制御ソフトウェアの状態遷移表ベース設計事例

JAXA 宇宙航空研究開発機構
宇宙科学研究所 准教授
坂井　真一郎

PDF
［356KB］

EPUB
［1,855KB］