WEKO3
アイテム
B-018 エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法(B分野:ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/156931
https://ipsj.ixsq.nii.ac.jp/records/156931b86e75ba-d059-4473-9d15-9cfd2a2619ce
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006542331.pdf (251.1 kB)
|
Copyright (c) 2007 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2007-08-22 | |||||||||
| タイトル | ||||||||||
| タイトル | B-018 エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法(B分野:ソフトウェア) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | B-018 A Error Detecting Method based on the Comparison of Z Specification and State Transition Focusing Entities' Dynamics | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 電気通信大学電気通信学研究科情報通信工学専攻 | ||||||||||
| 著者所属 | ||||||||||
| 電気通信大学情報通信工学科 | ||||||||||
| 著者名 |
楊, 洋
× 楊, 洋
× 織田, 健
|
|||||||||
| 著者名(英) |
Yang, Yang
× Yang, Yang
× Oda, Takeshi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11740605 | |||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 6, 号 1, p. 119-120, 発行日 2007-08-22 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
