モバイル FeliCa のソフトウェア開発における品質確保のための構造と実践-抽象度の制御やコミュニケーションの活性化に向けて

書誌事項

タイトル別名
  • モバイル FeliCa ノ ソフトウェア カイハツ ニ オケル ヒンシツ カクホ ノ タメ ノ コウゾウ ト ジッセン チュウショウド ノ セイギョ ヤ コミュニケーション ノ カッセイカ ニ ムケテ
  • 招待論文

この論文をさがす

抄録

モバイル FeliCa IC チップに組み込むソフトウェアの開発プロジェクトにおいて,形式的な仕様の記述とテスト,仕様や設計やプログラムのモデル検査,形式的な仕様に基づいたテストや組み合わせテスト技法を組み合わせた効率的なブラックボックステストの実施,情報技術セキュリティ評価のためのコモンクライテリア IT セキュリティ評価及び認証制度の活用,プロジェクトやチーム内のコミュニケーションの活性化を目的としたチームビルディング合宿研修の継続的な開催を行った事例とその評価について述べるとともに,ソフトウェア開発における工学の成果や工夫を組み合わせることや,コミュニケーションの基盤,開発のための環境の重要性について述べる.

収録刊行物

被引用文献 (1)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ