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

IPSJ Web Site 1 Citations

Bibliographic Information

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

Search this article

Abstract

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

Journal

Citations (1)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top