3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,<特集>フォーマルメソッドの新潮流)
スポンサーリンク
概要
- 論文の詳細を見る
筆者らは,携帯電話組込み用モバイルFeliCa ICチップファームウェアの開発に,形式仕様記述手法を適用し,手法導入の目的である,(1)厳密な仕様の記述,(2)仕様の段階的な記述と検証を中心とした,開発スキーム,プロセス,フレームワークの検討と導入,(3)記述精度の向上とテストによる,開発の上流工程における品質の確保,(4)仕様を活用した徹底的なテスト,(5)コミュニケーションの活性化,を達成し,開発の成果を上げると同時に,手法適用の効果を確認した.
- 2008-05-15
著者
関連論文
- 3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
- 2.携帯電話とFeliCaを融合したモバイルFeliCa技術(2.非接触ICカード技術の実装例と特徴,非接触ICカード技術とその展開)
- モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 開発文書品質の研究課題についての考察
- モバイル FeliCa のソフトウェア開発における\n品質確保のための構造と実践\n-抽象度の制御やコミュニケーションの活性化に向けて
- 開発文書品質の研究課題についての考察
- 形式手法の実践に対してよく尋ねられる質問とその回答:モバイルFeliCaの開発における形式仕様記述を通して