WEKO3
アイテム
厳密な仕様の記述における工夫と課題 ~形式仕様記述の適用と,対話を通して考えてきたこと~
https://ipsj.ixsq.nii.ac.jp/records/174350
https://ipsj.ixsq.nii.ac.jp/records/1743502891ad43-38b1-4707-8a1f-76ef2c1dcb7d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
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 | |||||||
| 著者所属 | ||||||||
| ソニー株式会社 | ||||||||
| 著者名 |
栗田, 太郎
× 栗田, 太郎
|
|||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2016論文集 巻 2016, p. 3-3, 発行日 2016-08-24 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||