课题基金 / 基金详情

On algebraic specification languages based on modular rewriting systems

On algebraic specification languages based on modular rewriting systems
基于模块化重写系统的代数规约语言
批准号：
22700027
负责人：
NAKAMURA Masaki
金额：
$2.41万
依托单位：
Toyama Prefectural University (2011-2012)Kanazawa University (2010)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2012
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22700027/
关键词：
項書換えシステム代数仕様モジュールシステムテスト生成プログラム変換形式手法仕様変換仕様検証UML項書き換えシステムCafeOBJMaude

项目摘要

项目成果

NAKAMURA Masaki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We studied about term rewriting systems to give an operational semantics of specification execution for algebraic specificationlanguages with sophisticated module systems. Our main result is a termination proving methods based on module structures. Termination is one of the most important properties of term rewriting, which guarantees any specification execution terminates in finite time. By our results, we can prove termination of large and complex algebraic specifications with conditional equations efficiently.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.
术语重写系统中操作符号的可约化性及其在行为规范中的应用。
DOI： --
发表时间： 2010
期刊： Journal of Symbolic Computation
影响因子： 0.7
作者： [Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi]
通讯作者： Kokichi Futatsugi
OTS/CafeOBJ 法における証明譜からのテスト生成
OTS/CafeOBJ 方法中的证明分数生成测试
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [中川博之, 大須賀昭彦, 本位田真一, 中村正樹]
通讯作者： 中村正樹
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
在工具支持下将状态机从方程理论转化为重写理论
DOI： 10.1587/transinf.e94.d.976
发表时间： 2011
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Min Zhang, Kazuhiro Ogata, Masaki Nakamura]
通讯作者： Masaki Nakamura
OTS/CafeOBJ 法に基づく並行システムの実装とテスト生成
基于OTS/CafeOBJ方法的并发系统实现和测试生成
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [清野貴博, 中村正樹]
通讯作者： 中村正樹
共 12 条
    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
    MR-Tractography study of the pathogenesis of arousal impairment in hypersomnia
    海外基金