课题基金 / 基金详情

Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers

Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
深化与验证器集成的高级建模语言实现的实现技术
批准号：
26280024
负责人：
Ueda Kazunori
金额：
$10.98万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26280024/
关键词：
高水準モデリング言語言語処理系モデル検査ハイブリッドシステム並列処理

项目摘要

项目成果

Ueda Kazunori的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Monitoring Temporal Properties Using Interval Analysis
使用区间分析监控时间属性
DOI： 10.1587/transfun.e99.a.442
发表时间： 2016
期刊： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子： --
作者： [D. Ishii, N. Yonezaki, A. Goldsztejn]
通讯作者： A. Goldsztejn
ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析
使用混合约束处理系统 HyLaGI 使用微小误差进行模型分析
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [石井大輔, 冨田 尭, 米崎直樹, 伊藤剛史，松本翔太，上田和紀, 別納健市，松本翔太，若槻祐彰，上田和紀, 恒川 雄太郎，上田 和紀, 松澤 望，上田 和紀, Kazunori Ueda, 松本翔太，上田和紀, 石井大輔, Kazunori Ueda and Yusuke Yoshimoto, 若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀]
通讯作者： 若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
グラフ書換え系における静的グラフ型検査
图重写系统中的静态图类型检查
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [石井大輔, 冨田 尭, 米崎直樹, 伊藤剛史，松本翔太，上田和紀, 別納健市，松本翔太，若槻祐彰，上田和紀, 恒川 雄太郎，上田 和紀, 松澤 望，上田 和紀, Kazunori Ueda, 松本翔太，上田和紀, 石井大輔, Kazunori Ueda and Yusuke Yoshimoto, 若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀, 吉元佑介，上田和紀]
通讯作者： 吉元佑介，上田和紀
ハイブリッド制約処理系 Hyrose における区間ニュートン法を用いたシミュレーション実行
在混合约束处理系统 Hyrose 中使用区间牛顿法进行仿真
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [石井 大輔, 米崎 直樹, 若槻 祐彰，松本 翔太，上田 和紀, 伊藤 剛史，松本 翔太，上田 和紀, 和田 努，松本 翔太，上田 和紀]
通讯作者： 和田 努，松本 翔太，上田 和紀
共 49 条
    Evolution and development of high-level modeling languages integrating programming lanuguage technologies
    • 批准号：
      18H03223
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.48万
    • 财政年份：
      2018
    • 负责人：
      Ueda Kazunori
    • 依托单位：
      Waseda University
    Developing highly functional 3D-printing technologies supported by advanced programming methodologies
    • 批准号：
      18K19788
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $3.91万
    • 财政年份：
      2018
    • 负责人：
      Ueda Kazunori
    • 依托单位：
      Waseda University
    海外基金