WEKO3
アイテム
創立50周年記念特集：情報処理技術の未来地図 19．ビジネス分野における業務要件の形式的検証技術
https://ipsj.ixsq.nii.ac.jp/records/69478
https://ipsj.ixsq.nii.ac.jp/records/69478aa23bca0-e530-495e-8d28-dfdc8af5409e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN510521.pdf (1.3 MB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-05-15 | |||||||
| タイトル | ||||||||
| タイトル | 創立50周年記念特集：情報処理技術の未来地図 19．ビジネス分野における業務要件の形式的検証技術 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Future Map of Information Processing Technology : Systematic Validation of Specifications against Business Requirements by Means of Formal Methods | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| （株）日立製作所 システム開発研究所 | ||||||||
| 著者所属 | ||||||||
| （株）日立製作所 システム開発研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Hitachi, Ltd. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Hitachi, Ltd. | ||||||||
| 著者名 |
森岡, 剛
× 森岡, 剛
|
|||||||
| 著者名(英) |
Tsuyoshi, MORIOKA
× Tsuyoshi, MORIOKA
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 51, 号 5, p. 530-530, 発行日 2010-05-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
