モジュラーな項書き換えシステムに基づく仕様検証システムの開発

Material type: 文書・図像類

Author: 中村, 正樹ほか

Publisher: -

Publication date: 2009-04-23

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 金沢大学理工研究域電子情報通信学系 / 北陸先端科学技術大学院大学本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様か...

Related materials as well as pre- and post-revision versions

https://kaken.nii.ac.jp/ja/search/?kw=40345658

https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/

https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Kanazawa University Repository for Academic Resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Kanazawa University Repository for Academic Resources

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: モジュラーな項書き換えシステムに基づく仕様検証システムの開発
Author/Editor: 中村, 正樹
Nakamura, Masaki
Author Heading: 中村, 正樹
Nakamura, Masaki
Publication Date: 2009-04-23
Publication Date (W3CDTF): 2009-04-23
Alternative Title: On a formal verification system based on modular term rewriting
Periodical title: 平成20(2008)年度科学研究費補助金若手研究(B) 研究成果報告書 = 2008 Fiscal Year Final Research Report
No. or year of volume/issue: 2006 – 2008
Volume: 2006 – 2008
Pages: 5p.-
Text Language Code: jpn
Subject Heading: 形式手法
検証システム
項書換えシステム
代数仕様
モジュールシステム
仕様変換
ソフトウェアテスト
Target Audience: 一般
Note (General): 金沢大学理工研究域電子情報通信学系 / 北陸先端科学技術大学院大学
本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.
研究課題/領域番号:18700024, 研究期間(年度):2006 – 2008
出典：「モジュラーな項書き換えシステムに基づく仕様検証システムの開発」研究成果報告書　課題番号18700024（KAKEN：科学研究費助成事業データベース（国立情報学研究所））（https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/)を加工して作成
DOI: 10.24517/00059978
Source: https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=53696&item_no=1&attribute_id=26&file_no=1
https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=53696&item_no=1&attribute_id=26&file_no=1
Access Restrictions: 限定公開
Rights (production): CC BY-NC-ND
Related Material: https://kaken.nii.ac.jp/ja/search/?kw=40345658
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/
https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 金沢大学 : 金沢大学学術情報リポジトリKURA