@article{oai:ipsj.ixsq.nii.ac.jp:00060935,
 author = {栗田, 太郎 and Taro, KURITA},
 issue = {5},
 journal = {情報処理},
 month = {May},
 note = {筆者らは，携帯電話組込み用モバイルFeliCa IC チップファームウェアの開発に，形式仕様記述手法を適用し，手法導入の目的である，（1）厳密な仕様の記述，（2） 仕様の段階的な記述と検証を中心とした，開発スキーム，プロセス，フレームワークの検討と導入，（3）記述精度の向上とテストによる，開発の上流工程における品質の確保，（4） 仕様を活用した徹底的なテスト，（5）コミュニケーションの活性化，を達成し，開発の成果を上げると同時に，手法適用の効果を確認した．},
 pages = {506--513},
 title = {フォーマルメソッドの新潮流 : Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用},
 volume = {49},
 year = {2008}
}