Specification Methods for Runtime Verification of Reflective Software

反射软件运行时验证的规范方法

基本信息

  • 批准号：
    24500033
  • 负责人：
    WATANABE Takuo
  • 金额：
    $ 3万
  • 依托单位：
    Tokyo Institute of Technology
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2012
  • 资助国家：
    日本
  • 起止时间：
    2012-04-01 至 2015-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Sandal
凉鞋
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
A Compositional Reflective Architecture for Actor-Based Systems
基于参与者的系统的组合反射架构
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takashi Tomita;Shin Hiura;Shigeki Hagihara;Naoki Yonezaki;Takuo Watanabe
  • 通讯作者：
    Takuo Watanabe
組込みシステムのための文脈指向仕様記述に向けて
面向嵌入式系统的上下文导向规范描述
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    安原由貴;森口草介;渡部卓雄
  • 通讯作者：
    渡部卓雄
実時間システム向け文脈指向言語ProcneJ
ProcneJ，一种面向实时系统的上下文语言
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    安原由貴;森口草介;渡部卓雄
  • 通讯作者：
    渡部卓雄
Abstraction of Operations of Aspect-Oriented Languages
面向方面语言操作的抽象
  • DOI：
    10.1007/978-4-431-54106-6_15
  • 发表时间：
    2012
  • 期刊：
    Theory and Practice of Computation (Springer PICT)
  • 影响因子：
    0
  • 作者：
    Sohei Ito;Takuma Ichinose;Masaya Shimakawa;Naoko Izumi;Shigeki Hagihara;Naoki Yonezaki;Sosuke Moriguchi and Takuo Watanabe
  • 通讯作者：
    Sosuke Moriguchi and Takuo Watanabe
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

WATANABE Takuo其他文献

WATANABE Takuo的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('WATANABE Takuo', 18)}}的其他基金

A novel signal reception mechanism by oligomerization of RAGE and gamma-secretase
RAGE和γ-分泌酶寡聚化的新型信号接收机制
  • 批准号：
    21590304
  • 财政年份：
    2009
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
基于静态分析和执行监控的软件安全动态组合和安全执行
  • 批准号：
    17500017
  • 财政年份：
    2005
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Research on Declarative Description and Consistency Checking of Policies for Adaptive Software
自适应软件策略声明式描述及一致性检查研究
  • 批准号：
    15500028
  • 财政年份：
    2003
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study on the mechanism of vascular injury by novel species of advanced glycation endoproducts
新型晚期糖基化内产物损伤血管机制研究
  • 批准号：
    14580645
  • 财政年份：
    2002
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Secure Construction Methods for Extensible and Adaptable Software
可扩展和适应性软件的安全构建方法
  • 批准号：
    12133207
  • 财政年份：
    2000
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
A Modular Construction Scheme for Adaptive Mobile Code Systems with Explicit Support of Non-Functional Requirements
显式支持非功能性需求的自适应移动编码系统的模块化构造方案
  • 批准号：
    12680340
  • 财政年份：
    2000
  • 资助金额：
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了