WEKO3
インデックスリンク
アイテム
モジュラーな項書き換えシステムに基づく仕様検証システムの開発
https://doi.org/10.24517/00059978
https://doi.org/10.24517/000599784594d5cc-2cf6-427f-b84e-8c0662df2b05
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-NAKAMURA-M-kaken 2009-5p.pdf (366.2 kB)
|
.png)
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2020-11-30 | |||||
| タイトル | ||||||
| タイトル | モジュラーな項書き換えシステムに基づく仕様検証システムの開発 | |||||
| タイトル | ||||||
| タイトル | On a formal verification system based on modular term rewriting | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| ID登録 | ||||||
| ID登録 | 10.24517/00059978 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
中村, 正樹
× 中村, 正樹 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報通信学系 / 北陸先端科学技術大学院大学 | |||||
| 書誌情報 |
平成20(2008)年度 科学研究費補助金 若手研究(B) 研究成果報告書 en : 2008 Fiscal Year Final Research Report 巻 2006 – 2008, p. 5p., 発行日 2009-04-23 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた. | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究課題/領域番号:18700024, 研究期間(年度):2006 – 2008 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 出典：「モジュラーな項書き換えシステムに基づく仕様検証システムの開発」研究成果報告書 課題番号18700024 （KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/)を加工して作成 |
|||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/search/?kw=40345658 | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/search/?kw=40345658 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/ | |||||
