WEKO3
アイテム
形式手法 - 導入推進のためのアプローチ -
https://ipsj.ixsq.nii.ac.jp/records/174386
https://ipsj.ixsq.nii.ac.jp/records/1743860f1c9e79-fcec-44a8-b441-a636091dd50f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SES2016041.pdf (357.8 kB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-08-24 | |||||||||
| タイトル | ||||||||||
| タイトル | 形式手法 - 導入推進のためのアプローチ - | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ワークショップ | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 岡山県立大学 | ||||||||||
| 著者所属 | ||||||||||
| 株式会社フォーマルテック | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Okayama Prefectural University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| FormalTech Co., Ltd. | ||||||||||
| 著者名 |
横川, 智教
× 横川, 智教
× 早水, 公二
|
|||||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2016論文集 巻 2016, p. 261-261, 発行日 2016-08-24 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
