Bidirectional Transformation Mechanisms and its Application
| Project/Area Number |
19200002
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
TAKEICHI Masato The University of Tokyo, 大学院・情報理工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
胡 振江 東京大学, 大学院・情報理工学系研究科, 准教授 (50292769)
松崎 公紀 東京大学, 大学院・情報理工学系研究科, 助教 (30401243)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
HU Zhenjiang 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
MATSUZAKI Kiminori 高知工科大学, 情報学群, 准教授 (30401243)
|
|---|
| Project Period (FY) |
2007 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥42,380,000 (Direct Cost: ¥32,600,000、Indirect Cost: ¥9,780,000)
Fiscal Year 2010: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Fiscal Year 2009: ¥10,660,000 (Direct Cost: ¥8,200,000、Indirect Cost: ¥2,460,000)
Fiscal Year 2008: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
Fiscal Year 2007: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
|
|---|
| Keywords | プログラム言語 / ソフトウェア設計 / 双方向変換機構 / プログラミング言語 / 双方向変換 |
|---|
| Research Abstract |
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.
|
Report
(6 results)
Research Products
(38 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Program Calculation in Coq.2010
Author(s)
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
Organizer
Thirteenth International Conference on Algebraic Methodology And Software Technology
Place of Presentation
Quebec City, Canada
Related Report
-
[Presentation] Program Calculation in Coq2010
Author(s)
Julien Tesson, Hideki Hashimoto., Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
Organizer
Thirteenth International Conference on Algebraic Methodology And Software Technology
Place of Presentation
Quebec City,Canada
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
