形式手法の実践に対してよく尋ねられる質問とその回答:モバイルFeliCaの開発における形式仕様記述を通して
スポンサーリンク
概要
- 論文の詳細を見る
モバイルFeliCaの開発で実施した、形式手法の一つであるVDMを用いた形式仕様記述の使用経験と知見に対する質問と回答について紹介する。
- 独立行政法人 情報処理推進機構 ソフトウェア・エンジニアリング・センターの論文
著者
関連論文
- 3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
- 2.携帯電話とFeliCaを融合したモバイルFeliCa技術(2.非接触ICカード技術の実装例と特徴,非接触ICカード技術とその展開)
- モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 開発文書品質の研究課題についての考察
- モバイル FeliCa のソフトウェア開発における\n品質確保のための構造と実践\n-抽象度の制御やコミュニケーションの活性化に向けて
- 開発文書品質の研究課題についての考察
- 形式手法の実践に対してよく尋ねられる質問とその回答:モバイルFeliCaの開発における形式仕様記述を通して