WEKO3
アイテム
モバイル FeliCa のソフトウェア開発における品質確保のための構造と実践-抽象度の制御やコミュニケーションの活性化に向けて
https://ipsj.ixsq.nii.ac.jp/records/89315
https://ipsj.ixsq.nii.ac.jp/records/893152a212de9-853a-4d0b-8b6e-289244bdd13a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-DP0103007 (758.9 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | DP(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-07-15 | |||||||
| タイトル | ||||||||
| タイトル | モバイル FeliCa のソフトウェア開発における品質確保のための構造と実践-抽象度の制御やコミュニケーションの活性化に向けて | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集：ICカードが社会を変える | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 招待論文 | |||||||
| 著者所属 | ||||||||
| フェリカネットワークス（株） | ||||||||
| 著者名 |
栗田太郎
× 栗田太郎
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | モバイル FeliCa IC チップに組み込むソフトウェアの開発プロジェクトにおいて，形式的な仕様の記述とテスト，仕様や設計やプログラムのモデル検査，形式的な仕様に基づいたテストや組み合わせテスト技法を組み合わせた効率的なブラックボックステストの実施，情報技術セキュリティ評価のためのコモンクライテリア IT セキュリティ評価及び認証制度の活用，プロジェクトやチーム内のコミュニケーションの活性化を目的としたチームビルディング合宿研修の継続的な開催を行った事例とその評価について述べるとともに，ソフトウェア開発における工学の成果や工夫を組み合わせることや，コミュニケーションの基盤，開発のための環境の重要性について述べる． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA1245124X | |||||||
| 書誌情報 |
デジタルプラクティス 巻 1, 号 3, p. 148-157, 発行日 2010-07-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
