WEKO3
アイテム
フォーマルメソッドの新潮流 : Part I: 歴史と概要 : 1.フォーマルメソッドの過去・現在・未来-適用の実践に向けて-
https://ipsj.ixsq.nii.ac.jp/records/60933
https://ipsj.ixsq.nii.ac.jp/records/609331981361f-70c4-4571-808d-632547af38af
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN490503.pdf (899.7 kB)
|
Copyright (c) 2008 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-05-15 | |||||||
| タイトル | ||||||||
| タイトル | フォーマルメソッドの新潮流 : Part I: 歴史と概要 : 1.フォーマルメソッドの過去・現在・未来-適用の実践に向けて- | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | New Trends in Formal Methods : Formal Methods : Past, Present and Future -Toward Practical Applications - | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Kyushu Univ. | ||||||||
| 著者名 |
荒木, 啓二郎
× 荒木, 啓二郎
|
|||||||
| 著者名(英) |
Keijiro, ARAKI
× Keijiro, ARAKI
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | フォーマルメソッドの出自や過去の変遷，および，現状について概説し，実際のシステム開発における今後のフォーマルメソッド適用に関する効用やガイドラインについて述べる． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 49, 号 5, p. 493-498, 発行日 2008-05-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
