课题基金 / 基金详情

Specification Methods for Runtime Verification of Reflective Software

Specification Methods for Runtime Verification of Reflective Software
反射软件运行时验证的规范方法
批准号：
24500033
负责人：
WATANABE Takuo
金额：
$3.0万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500033/
关键词：
自己反映計算広域自己反映計算アクターモデル文脈指向プログラミング形式手法実行時検証並行文脈指向プログラミング並列文脈指向プログラミング実時間システム形式仕様時相論理

项目摘要

项目成果

WATANABE Takuo的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Sandal
凉鞋
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
A Compositional Reflective Architecture for Actor-Based Systems
基于参与者的系统的组合反射架构
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki, Takuo Watanabe]
通讯作者： Takuo Watanabe
組込みシステムのための文脈指向仕様記述に向けて
面向嵌入式系统的上下文导向规范描述
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [安原由貴, 森口草介, 渡部卓雄]
通讯作者： 渡部卓雄
実時間システム向け文脈指向言語ProcneJ
ProcneJ，一种面向实时系统的上下文语言
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [安原由貴, 森口草介, 渡部卓雄]
通讯作者： 渡部卓雄
共 25 条
    A novel signal reception mechanism by oligomerization of RAGE and gamma-secretase
    • 批准号：
      21590304
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2009
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      Kanazawa University
    Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
    • 批准号：
      17500017
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.05万
    • 财政年份：
      2005
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      Tokyo Institute of Technology
    Research on Declarative Description and Consistency Checking of Policies for Adaptive Software
    Study on the mechanism of vascular injury by novel species of advanced glycation endoproducts
    • 批准号：
      14580645
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.56万
    • 财政年份：
      2002
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      KANAZAWA UNIVERSITY