モバイル FeliCa のソフトウェア開発における\n品質確保のための構造と実践\n-抽象度の制御やコミュニケーションの活性化に向けて
スポンサーリンク
概要
- 論文の詳細を見る
モバイル FeliCa IC チップに組み込むソフトウェアの開発プロジェクトにおいて,形式的な仕様の記述とテスト,仕様や設計やプログラムのモデル検査,形式的な仕様に基づいたテストや組み合わせテスト技法を組み合わせた効率的なブラックボックステストの実施,情報技術セキュリティ評価のためのコモンクライテリア IT セキュリティ評価及び認証制度の活用,プロジェクトやチーム内のコミュニケーションの活性化を目的としたチームビルディング合宿研修の継続的な開催を行った事例とその評価について述べるとともに,ソフトウェア開発における工学の成果や工夫を組み合わせることや,コミュニケーションの基盤,開発のための環境の重要性について述べる.
- 2010-07-15
著者
関連論文
- 3. 携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
- 2.携帯電話とFeliCaを融合したモバイルFeliCa技術(2.非接触ICカード技術の実装例と特徴,非接触ICカード技術とその展開)
- モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 開発文書品質の研究課題についての考察
- モバイル FeliCa のソフトウェア開発における\n品質確保のための構造と実践\n-抽象度の制御やコミュニケーションの活性化に向けて
- 開発文書品質の研究課題についての考察
- 形式手法の実践に対してよく尋ねられる質問とその回答:モバイルFeliCaの開発における形式仕様記述を通して