Bidirectional Transformation Mechanisms and its Application

双向转化机制及其应用

基本信息

  • 批准号:
    19200002
  • 负责人:
  • 金额:
    $ 27.12万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
  • 财政年份:
    2007
  • 资助国家:
    日本
  • 起止时间:
    2007 至 2010
  • 项目状态:
    已结题

项目摘要

Bidirectional transformation mechanisms have been studied for establishing a methodology to develop reliable and productive software, which is based on exploring a language with bidirectional properties. A bidirectional transformation library Bi-HaXml for XML documents has been developed to demonstrate usefulness of our idea of bidirectional mechanism. For such a mechanism to be applied in software development processes, a bidirectional model description language called"Beanbag"has been designed and its system has been developed to illustrate its effectiveness.
双向转换机制已被研究,建立一种方法来开发可靠的和生产性的软件,这是基于探索一种语言的双向属性。一个双向转换库Bi-HaXml的XML文档已被开发,以证明我们的双向机制的想法的有用性。为了将这种机制应用于软件开发过程,设计了一种双向模型描述语言“Beanbag”,并开发了一个系统来说明其有效性。

项目成果

期刊论文数量(29)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
補関数の生成による複製機能付きプログラムの自動双方向化
通过生成互补函数来自动双向化具有复制功能的程序
Configuring Bidirectional Programs with Functions
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    M. Takeichi
  • 通讯作者:
    M. Takeichi
Beanbag システムのホームページ
豆袋系统主页
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Bi-X Core : A General-Purpose Bidirectional Transformation Language.
Bi-X Core:通用双向转换语言。
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dongxi Liu;Keisuke Nakano;Yasushi Hayashi;Zhenjiang Hu;Masato Takeichi;Akimasa Morihata;Yingfei Xiong.
  • 通讯作者:
    Yingfei Xiong.
Consistent Web Site Updating based on Bidirectional Transformation
基于双向转换的网站一致性更新
{{ 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 }}

TAKEICHI Masato其他文献

TAKEICHI Masato的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('TAKEICHI Masato', 18)}}的其他基金

Parallelism-Oblivious Parallel Programming
并行性-不经意的并行编程
  • 批准号:
    22650006
  • 财政年份:
    2010
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Calculation Carrying Document Processing Language and its Application
计算承载文档处理语言及其应用
  • 批准号:
    15200001
  • 财政年份:
    2003
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Implementation of Constructive Parallel Programming Models
构造性并行编程模型的实现
  • 批准号:
    11480065
  • 财政年份:
    1999
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Implementation of Program Calculator System
程序计算器系统的实现
  • 批准号:
    11694130
  • 财政年份:
    1999
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Implementation of a Program Calculation System
程序计算系统的实现
  • 批准号:
    10558041
  • 财政年份:
    1998
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Program Optimization Based on Constructive Algorithmics
基于构造算法的程序优化
  • 批准号:
    09680326
  • 财政年份:
    1997
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Research on Fundamental Mechanisms for Software Evolution
软件演化基本机制研究
  • 批准号:
    09245103
  • 财政年份:
    1997
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
Research on Self-evolution Mechanisms of Computer Programs
计算机程序自进化机制研究
  • 批准号:
    07458053
  • 财政年份:
    1995
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Implementation of Parallel Functional Programming Systems
并行函数编程系统的实现
  • 批准号:
    06558039
  • 财政年份:
    1994
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Parallel Evaluation of Functional Programs
功能程序的并行评估
  • 批准号:
    01550278
  • 财政年份:
    1989
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)

相似海外基金

仮のペルソナ手法を用いたソフトウェア設計を支援する教材の開発
使用虚拟角色方法开发支持软件设计的教材
  • 批准号:
    24H02397
  • 财政年份:
    2024
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
DASS: Distilling Software Design Principles from Cybersecurity Caselaw
DASS:从网络安全判例中提炼软件设计原则
  • 批准号:
    2217597
  • 财政年份:
    2023
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Interagency Agreement
Collaborative Research: SHF: Small: Distributed Fragmented Software Design Meetings
协作研究:SHF:小型:分布式碎片化软件设计会议
  • 批准号:
    2210812
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Standard Grant
Derivative-Free Optimization: Algorithmic Developments, Software Design, Applications, and Machine Learning
无导数优化:算法开发、软件设计、应用程序和机器学习
  • 批准号:
    RGPIN-2018-05286
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Discovery Grants Program - Individual
Implementing best practices in software design for Network Level Analysis
实施网络级分析软件设计的最佳实践
  • 批准号:
    10839638
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
Collaborative Research: SHF: Small: Distributed Fragmented Software Design Meetings
协作研究:SHF:小型:分布式碎片化软件设计会议
  • 批准号:
    2210813
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Standard Grant
Neuromorphic computing and other nature-inspired methods for hardware and software design
神经形态计算和其他受自然启发的硬件和软件设计方法
  • 批准号:
    RGPIN-2019-07217
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Discovery Grants Program - Individual
Lightweight Formal Support for Software Design
软件设计的轻量级正式支持
  • 批准号:
    RGPIN-2017-05063
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Discovery Grants Program - Individual
Usable Secure Software Design and Development
可用的安全软件设计和开发
  • 批准号:
    RGPIN-2022-04887
  • 财政年份:
    2022
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Discovery Grants Program - Individual
Neuromorphic computing and other nature-inspired methods for hardware and software design
神经形态计算和其他受自然启发的硬件和软件设计方法
  • 批准号:
    RGPIN-2019-07217
  • 财政年份:
    2021
  • 资助金额:
    $ 27.12万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了