刷新
{{item.name}}会员
Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
通过非循环关系的可重构分解自动综合分布式系统中的行为模型
基本信息
- 批准号：26330083
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2018-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems
多智能体系统 Petri 网模块化可达性分析的修改规则
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Takahiro Okumura;Yoshihiro Oyama;木下聖基，宮本俊幸;渡部卓雄;T. Miyamoto
- 通讯作者：T. Miyamoto
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
从通信图合成帕累托有效的可理解状态机
- DOI：10.1587/transinf.2016fop0002
- 发表时间：2017
- 期刊：
- 影响因子：0.7
- 作者：今井朝貴;増原英彦;青谷知幸;T. Miyamoto
- 通讯作者：T. Miyamoto
A Study on Synthesizing State Machines from Multiple Communication Diagrams
多通信图综合状态机的研究
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：T. Kinoshita;T. Miyamoto
- 通讯作者：T. Miyamoto
二つのコミュニケーション図からなるコレオグラフィの実現可能性の検討－仕様間に競合がある場合の考察
检查由两个通信图组成的编排的可行性 - 规范之间存在冲突时的考虑
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Takahiro Okumura;Yoshihiro Oyama;木下聖基，宮本俊幸
- 通讯作者：木下聖基，宮本俊幸
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
MIYAMOTO Toshiyuki其他文献
A Study on Re-Constructibility of Event Structures
事件结构的可重构性研究
- DOI：
10.1587/transinf.2019fol0002 - 发表时间：
2020 - 期刊：
- 影响因子：0.7
- 作者：
IZAWA Marika;MIYAMOTO Toshiyuki - 通讯作者：
MIYAMOTO Toshiyuki
MIYAMOTO Toshiyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('MIYAMOTO Toshiyuki', 18)}}的其他基金
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems
分布式系统行为模型自动综合的Petri网理论
- 批准号：
23500045 - 财政年份：2011
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Distributed Algorithm for Share Transfer in a Secure Distributed Storage System
安全分布式存储系统中共享传输的分布式算法
- 批准号：
19700060 - 财政年份：2007
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
AI支援ソフトウェア工学に対応したソフトウェアインスペクション環境の研究
兼容AI辅助软件工程的软件检测环境研究
- 批准号：
24K15214 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
機能等価メソッドデータセットの構築によるソフトウェア工学タスクの高度化
通过构建功能等效的方法数据集来改进软件工程任务
- 批准号：
24H00692 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
生成AIによるシステム開発の自動化を前提としたソフトウェア工学教育の再構築と実践
基于生成人工智能的系统开发自动化的软件工程教育的重构和实施
- 批准号：
24K06418 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
グラフベース機械学習ソフトウェア工学の研究
基于图的机器学习软件工程研究
- 批准号：
18K11251 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
- 批准号：
06F06365 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
- 批准号：
05F05279 - 财政年份：2005
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
ソフトウェア工学データベース(SEDB)の構築とその協調利用に関する研究
软件工程数据库（SEDB）构建及其协同使用研究
- 批准号：
08780280 - 财政年份：1996
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学のための日本語プログラミング環境の実現とそのシリコン化
日语软件工程编程环境的实现及其硅化
- 批准号：
62750312 - 财政年份：1987
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学の基礎的研究
软件工程基础研究
- 批准号：
56380007 - 财政年份：1981
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Co-operative Research (A)