WEKO3
-
RootNode
アイテム
フォーマルメソッドの新潮流 : Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用
https://ipsj.ixsq.nii.ac.jp/records/60935
https://ipsj.ixsq.nii.ac.jp/records/60935a89d3c1c-8c1a-4126-814b-1e30bff26516
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN490505.pdf (1.2 MB)
|
Copyright (c) 2008 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-05-15 | |||||||
| タイトル | ||||||||
| タイトル | フォーマルメソッドの新潮流 : Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | New Trends in Formal Methods : Application of a Formal Method in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| フェリカネットワークス（株） 開発部2課 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FeliCa Networks, Inc. | ||||||||
| 著者名 |
栗田, 太郎
× 栗田, 太郎
|
|||||||
| 著者名(英) |
Taro, KURITA
× Taro, KURITA
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 筆者らは，携帯電話組込み用モバイルFeliCa IC チップファームウェアの開発に，形式仕様記述手法を適用し，手法導入の目的である，（1）厳密な仕様の記述，（2） 仕様の段階的な記述と検証を中心とした，開発スキーム，プロセス，フレームワークの検討と導入，（3）記述精度の向上とテストによる，開発の上流工程における品質の確保，（4） 仕様を活用した徹底的なテスト，（5）コミュニケーションの活性化，を達成し，開発の成果を上げると同時に，手法適用の効果を確認した． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 49, 号 5, p. 506-513, 発行日 2008-05-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
