Efficient runtime formal verification of aspect-oriented models@run.time systems

面向方面的 models@run.time 系统的高效运行时形式化验证

基本信息

  • 批准号：
    26330081
  • 负责人：
    Tahara Yasuyuki
  • 金额：
    $ 3.08万
  • 依托单位：
    The University of Electro-Communications
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2014
  • 资助国家：
    日本
  • 起止时间：
    2014-04-01 至 2017-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Goal Oriented Refinement Pattern Driven Use Case Modelling
面向目标的细化模式驱动的用例建模
  • DOI：
    10.14923/transinfj.2015pdp0017
  • 发表时间：
    2016
  • 期刊：
    電子情報通信学会論文誌D 情報・システム
  • 影响因子：
    0
  • 作者：
    Minato Sato;Ryohei Orihara;Sei Yuichi;Yasuyuki Tahara and Akihiko Ohsuga;本田耕三，平山秀昭，中川博之，田原康之，大須賀昭彦
  • 通讯作者：
    本田耕三，平山秀昭，中川博之，田原康之，大須賀昭彦
Curation Agent Based on Semantic Relations between Events
基于事件间语义关系的策展代理
  • DOI：
    10.14923/transinfj.2014swp0017
  • 发表时间：
    2015
  • 期刊：
    電子情報通信学会論文誌D 情報・システム
  • 影响因子：
    0
  • 作者：
    Hiroki Horita;Hideaki Hirayama;Takeo Hayase;Yasuyuki Tahara;Akihiko Ohsuga;横尾亮平,川村隆浩,清雄一,田原康之,大須賀昭彦
  • 通讯作者：
    横尾亮平,川村隆浩,清雄一,田原康之,大須賀昭彦
Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation
基于MAPE循环封装的嵌入式系统软件演进
加速度センサを用いた犬の行動認識
使用加速度传感器识别狗的行为
Deployment of Semantic Analysis to Call Center
将语义分析部署到呼叫中心
{{ 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 }}

Tahara Yasuyuki其他文献

An Experimental Study on Transforming the Emotion in Speech using GAN
使用 GAN 转换语音情感的实验研究
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yasuda Kenji;O. Ryohei;Sei Yuichi;Tahara Yasuyuki;Ohsuga Akihiko
  • 通讯作者：
    Ohsuga Akihiko
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
通过标记过渡系统实现反射系统的可扩展模型检查
Transforming the Emotion in Speech using CycleGAN
使用 CycleGAN 转变言语情感
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yasuda Kenji;O. Ryohei;Sei Yuichi;Tahara Yasuyuki;Ohsuga Akihiko
  • 通讯作者：
    Ohsuga Akihiko

Tahara Yasuyuki的其他文献

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

{{ truncateString('Tahara Yasuyuki', 18)}}的其他基金

Research on autonomous cooperative self-adaptation mechanisms and formal verification of them
自主协作自适应机制研究及其形式化验证
  • 批准号：
    18H03229
  • 财政年份：
    2018
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似海外基金

The development of the "I don't know" response in early childhood emotion understanding: Relationship to the process of self-emotion understanding.
幼儿情绪理解中“我不知道”反应的发展：与自我情绪理解过程的关系。
  • 批准号：
    18K13292
  • 财政年份：
    2018
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
安全性と再利用性の高いアスペクト指向言語の設計と実現方式
高安全性和可重用性的面向方面语言的设计与实现方法
  • 批准号：
    08J11378
  • 财政年份：
    2008
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
アスペクト指向プログラミング言語の言語拡張に対する新たな枠組みの導入
引入面向方面编程语言的语言扩展新框架
  • 批准号：
    06J02115
  • 财政年份：
    2006
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
アスペクト指向プログラム依存性理論に基づく統合的ソフトウェア開発支援環境の構築
基于面向方面的程序依赖理论的集成软件开发支撑环境构建
  • 批准号：
    17500027
  • 财政年份：
    2005
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了