刷新
{{item.name}}会员
Development of programming languages and practices for software that intensively interacts with its surrounding environment
开发与周围环境密集交互的软件的编程语言和实践
基本信息
- 批准号：17K00115
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Harmonizing Signals and Events with a Lightweight Extension to Java
通过 Java 的轻量级扩展来协调信号和事件
- DOI：10.22152/programming-journal.org/2018/2/5
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Kamina Tetsuo;Aotani Tomoyuki
- 通讯作者：Aotani Tomoyuki
リアクティブプログラミングに基づく分散計算基盤の実現に向けて
基于反应式编程的分布式计算平台的实现
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Kamina Tetsuo;Aotani Tomoyuki;Masuhara Hidehiko;紙名哲生
- 通讯作者：紙名哲生
Managing persistent signals using signal classes.
使用信号类管理持久信号。
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Tetsuo Kamina;Tomoyuki Aotani;and Hidehiko Masuhara.
- 通讯作者：and Hidehiko Masuhara.
TinyCORP: A Calculus for Context-Oriented Reactive Programming
TinyCORP：面向上下文的反应式编程的微积分
- DOI：10.1145/3340671.3343356
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Tetsuo Kamina;Tomoyuki Aotani
- 通讯作者：Tomoyuki Aotani
{{
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 }}
KAMINA Tetsuo其他文献
KAMINA Tetsuo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('KAMINA Tetsuo', 18)}}的其他基金
Verification mechanism in programming languages with dynamic modules
具有动态模块的编程语言中的验证机制
- 批准号：
23700029 - 财政年份：2011
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Programming Language for Effective and Reliable Software Development
用于有效且可靠的软件开发的编程语言
- 批准号：
20700022 - 财政年份：2008
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
消費電力をパラメータとする関数リアクティブプログラミングの研究
以功耗为参数的函数式反应式编程研究
- 批准号：
22K11967 - 财政年份：2022
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
仮想空間と現実世界の融合を支援する反応的計算基盤の構築
构建支持虚拟空间与现实世界融合的反应式计算平台
- 批准号：
21H03418 - 财政年份：2021
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model
FRP与Actor模型集成支持高效可靠CPS的开发
- 批准号：
21K11822 - 财政年份：2021
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ソースコードを操作するプログラムの検証技法の研究
操纵源代码的程序验证技术研究
- 批准号：
19K20245 - 财政年份：2019
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming
集成参与者模型和函数响应式编程的嵌入式系统开发支持
- 批准号：
18K11236 - 财政年份：2018
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
リアクティブプログラミングに基づくハードウェア・ソフトウェアの協調設計環境
基于反应式编程的软硬件协同设计环境
- 批准号：
18J22381 - 财政年份：2018
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Technology for Reliable Reactive Programming
可靠的反应式编程技术
- 批准号：
17H01726 - 财政年份：2017
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A discrete execution model of dense-timed programs
密集时间程序的离散执行模型
- 批准号：
17K19969 - 财政年份：2017
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
基于群范围反射的自适应并行系统规范和运行时验证方法
- 批准号：
15K00089 - 财政年份：2015
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)