Integration of Formal Methods for Seamless Software Developments

集成形式化方法以实现无缝软件开发

基本信息

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

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Practical Application of Formal Methods to Automotive Systems
形式化方法在汽车系统中的实际应用
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    森口草介;渡部卓雄;Toshiaki Aoki
  • 通讯作者：
    Toshiaki Aoki
Refinement Tree and Its Patterns: a Graphical Approach for Event-B
细化树及其模式：事件 B 的图形方法
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takashi Tomita;Takahito Kimura;Shigeki Hagihara and Naoki Yonezaki;Ilankaikone Senthooran and Takuo Watanabe;Kriangkrai Traichaiyaporn and Toshiaki Aoki
  • 通讯作者：
    Kriangkrai Traichaiyaporn and Toshiaki Aoki
モデル検査とテストによる車載オペレーティングシステムのシームレスな検証
通过模型检查和测试对车辆操作系统进行无缝验证
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    青木利晃;佐藤信;谷充弘;矢竹健朗
  • 通讯作者：
    矢竹健朗
A Practical Study of Debugging using Model Checking
使用模型检查进行调试的实践研究
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hideto Ogawa;Makoto Ichii;Fumihiko Kumeno and Toshiaki Aoki
  • 通讯作者：
    Fumihiko Kumeno and Toshiaki Aoki
SMT-based Enumeration of Object Graphs from UML class diagrams
来自 UML 类图的基于 SMT 的对象图枚举
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kenro Yatake;Toshiaki Aoki
  • 通讯作者：
    Toshiaki Aoki
{{ 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 }}

AOKI Toshiaki其他文献

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver
松弛内存模型下使用SMT求解器的汇编程序验证框架
高水敷先端部における吸込み操作に伴う複断面流れの特徴
高水床尖端抽吸作业多段流动特征
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    TSURU Fuma;SUZUKI Atsushi;IKURA Yuki;AOKI Toshiaki;萩原隼士;尾崎凱，中川雅史，田口雅邦;本杉蓮，菊雅美;松下将也，渡辺勝利
  • 通讯作者：
    松下将也，渡辺勝利
STUDY ON CONSCIOUSNESS OF CONTINUITY OF LIVING ACCORDING TO THE TYPE OF NATURAL DISASTER RISK IN THE PLACE OF RESIDENCE
居住地不同自然灾害风险类型的生活连续性意识研究
建機搭載LiDARによる水平・鉛直スキャニングでの施工空間可視化
使用安装在施工设备上的激光雷达通过水平和垂直扫描实现施工空间可视化
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    TSURU Fuma;SUZUKI Atsushi;IKURA Yuki;AOKI Toshiaki;萩原隼士;尾崎凱，中川雅史，田口雅邦
  • 通讯作者：
    尾崎凱，中川雅史，田口雅邦
都市解析に資する都市OSの試験的な構築とその運用に関する一考察
有助于城市分析及其运行的城市操作系统的实验构建研究
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    TSURU Fuma;SUZUKI Atsushi;IKURA Yuki;AOKI Toshiaki;萩原隼士
  • 通讯作者：
    萩原隼士

AOKI Toshiaki的其他文献

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

{{ truncateString('AOKI Toshiaki', 18)}}的其他基金

Maintaining and improving QOL using social network in potential marginal villages
利用社交网络维持和改善潜在边缘村庄的生活质量
  • 批准号：
    18K04382
  • 财政年份：
    2018
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Effectiveness of reversible decision making toward solution of social conflict and its mechanism
可逆决策解决社会冲突的有效性及其机制
  • 批准号：
    15K11963
  • 财政年份：
    2015
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Research on the verification of highly parallel and concurrent embedded software
高度并行并发嵌入式软件验证研究
  • 批准号：
    20680001
  • 财政年份：
    2008
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Young Scientists (A)

相似海外基金

モデル検査を用いたプログラミング課題評価と課題提出システム構築
使用模型检查的编程作业评估和作业提交系统构建
  • 批准号：
    24K15233
  • 财政年份：
    2024
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発
Actor模型型多线程递归程序的模型检验方法开发
  • 批准号：
    24K14901
  • 财政年份：
    2024
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
基于多群体的群体智能轻量级模型检测技术研究
  • 批准号：
    22K11988
  • 财政年份：
    2022
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
データ値付きプログラムに対するモデル検査理論の構築と実装
数据价值程序模型检验理论的构建与实现
  • 批准号：
    21J14332
  • 财政年份：
    2021
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
直接的モデル検査を用いた関数型プログラム検証手法
使用直接模型检查的功能程序验证方法
  • 批准号：
    16J01038
  • 财政年份：
    2016
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
  • 批准号：
    11J03810
  • 财政年份：
    2011
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
高階再帰スキームのモデル検査とそのプログラム検証への応用
高阶递归方案的模型检验及其在程序验证中的应用
  • 批准号：
    10J03842
  • 财政年份：
    2010
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
多値モデル検査法を用いたモデリング・エラーの発見
使用多值模型检查查找建模错误
  • 批准号：
    20650003
  • 财政年份：
    2008
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証
用于抽象模型检查的图搜索算法的形式化和验证
  • 批准号：
    16016211
  • 财政年份：
    2004
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
システムレベル記述の時間制約を考慮した抽象化およびモデル検査
考虑系统级描述的时间限制的抽象和模型检查
  • 批准号：
    16700062
  • 财政年份：
    2004
  • 资助金额：
    $ 3.41万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了