著者

栗田 太郎

雑誌

情報処理

巻号頁・発行日

vol.49, no.5, pp.506-513, 2008-05-15

---

筆者らは,携帯電話組込み用モバイルFeliCa IC チップファームウェアの開発に,形式仕様記述手法を適用し,手法導入の目的である,(1)厳密な仕様の記述,(2) 仕様の段階的な記述と検証を中心とした,開発スキーム,プロセス,フレームワークの検討と導入,(3)記述精度の向上とテストによる,開発の上流工程における品質の確保,(4) 仕様を活用した徹底的なテスト,(5)コミュニケーションの活性化,を達成し,開発の成果を上げると同時に,手法適用の効果を確認した.