课题基金 / 基金详情

Construction of "Model program cooperation environment" for reliable software development

Construction of "Model program cooperation environment" for reliable software development
构建可靠软件开发的“模范程序协作环境”
批准号：
19700016
负责人：
TANABE Makoto
金额：
$1.91万
依托单位：
Ube National College of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19700016/
关键词：
プログラム理論ソフトウェア検証モデル検査UPPAALJava Modeling Language,Stateパターン形式検証プログラム意味論時相論理CTLJMLUML

项目摘要

项目成果

TANABE Makoto的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
A transformational technology is developed from models of a model-checking tool UPPAAL to JAVA program source codes that keep the properties guaranteed by model-checking process.Two kinds of translation tools are developed. One generates JAVA source codes with JML (Java Modeling Language) description, and the other generates JAVA source codes where the state transition on the given model is reproduced by the corresponding state pattern description.The effectiveness of this technology is verified by applying the transformational technology to the design and development of a ticket reservation system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Development and practice of educational methods for engineering English using a CALL system with text chunking
  • 批准号：
    16K01156
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.83万
  • 财政年份：
    2016
  • 负责人：
    TANABE Makoto
  • 依托单位：
    Ube National College of Technology
Precise synthesis of cyclic polysilanes and the relative productsvia nickel and palladium key intermediates
  • 批准号：
    23750059
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $3.0万
  • 财政年份：
    2011
  • 负责人：
    TANABE Makoto
  • 依托单位：
    Tokyo Institute of Technology
Regioselective Arrangement and Bond Activation of the Metallacycles Composed of the Heavier Group 14 Elements
  • 批准号：
    21750057
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.91万
  • 财政年份：
    2009
  • 负责人：
    TANABE Makoto
  • 依托单位：
    Tokyo Institute of Technology
Development of the numerical method to solve dynamic interaction between a train and the railway structure after derailment during an earthquake
  • 批准号：
    20560230
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.58万
  • 财政年份：
    2008
  • 负责人：
    TANABE Makoto
  • 依托单位：
    Kanagawa Institute of Technology
海外基金