课题基金 / 基金详情

On a formal verification system based on modular term rewriting

On a formal verification system based on modular term rewriting
基于模块化术语重写的形式化验证系统
批准号：
18700024
负责人：
NAKAMURA Masaki
金额：
$2.39万
依托单位：
Kanazawa University (2008)Japan Advanced Institute of Science and Technology (2006-2007)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2008
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18700024/
关键词：
形式手法検証システム項書換えシステム代数仕様モジュールシステム仕様変換ソフトウェアテスト自動ソフトウェアテスト項書換システム項書き換えシステム

项目摘要

项目成果

NAKAMURA Masaki的其他基金

相似基金

相关文献

中文摘要
翻译
本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.
英文摘要
本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
On equality predicates in algebraic specification languages
DOI： 10.1007/978-3-540-75292-9_26
发表时间： 2007-09
期刊：
影响因子： --
作者： [Nakamura Masaki;Futatsugi Kokichi]
通讯作者： Nakamura Masaki;Futatsugi Kokichi
Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method
根据 OTS/CafeOBJ 方法中的证明分数生成不变属性的测试用例
DOI： --
发表时间： 2009
期刊： IEICE Transactions on Information and Systems vol.5
影响因子： --
作者： [Masaki Nakamura, Takahiro Seino]
通讯作者： Takahiro Seino
User-Defined On-Demand Matching
用户自定义按需匹配
DOI： --
发表时间： 2009
期刊： IEICE Transactions 92-D(7)
影响因子： --
作者： [Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi]
通讯作者： Kokichi Futatsugi
モジュラーな代数仕様言語のための項書き換えシステム
模块化代数规范语言的术语重写系统
DOI： --
发表时间： 2006
期刊： コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3
影响因子： --
作者： [中村正樹, 二木厚吉]
通讯作者： 二木厚吉
共 11 条
    Economic Development and Regional Community in Postwar Japan: Case of Ikeshima Coal Mine
    • 批准号：
      26560138
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $1.5万
    • 财政年份：
      2014
    • 负责人：
      NAKAMURA Masaki
    • 依托单位：
      Osaka University
    The association between sleepiness and cognitive dysfunction and brain micro-morphological change in obstructive sleep apnea syndrome
    • 批准号：
      23791374
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.66万
    • 财政年份：
      2012
    • 负责人：
      NAKAMURA Masaki
    • 依托单位：
      Neuropsychiatric Research Institute
    Development of the new cancer immunotherapy using fusion cell-vaccine of iPSDC and cancer stem cell
    • 批准号：
      23591874
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2011
    • 负责人：
      NAKAMURA Masaki
    • 依托单位：
      Wakayama Medical University
    On algebraic specification languages based on modular rewriting systems
    海外基金