GRACE テクニカルレポート

GRACE テクニカルレポートは、GRACEセンター(先端ソフトウェア工学・国際研究センター)における研究・技術成果をいち早く報告するものです。

GRACE-TR-2016-04
Guaranteeing Free-edits to Bidirectional Graph Transformations
Ezgi Çiçek and Soichiro Hidaka,
GRACE-TR 2016-04, GRACE Center,National Institute of Informatics, September 2016, 15 pages.

GRACE-TR-2016-03
The Under-Appreciated Put: Implementing Delta-Alignment in BiGUL
— Functional Pearl —
Jorge Mendes, Hsiang-Shang Ko, Zhenjiang Hu
GRACE-TR 2016-03, GRACE Center, National Institute of Informatics, April 2016, 7 pages.

GRACE-TR-2016-02
Graph Generation via Reverse Iterative Query Processing,
Makoto ONIZUKA,Hiroyuki KATO,Soichiro HIDAKA,Keisuke NAKANO,Zhenjiang HU
GRACE-TR 2016-02, GRACE Center, National Institute of Informatics, March 2016, 11 pages.

GRACE-TR-2016-01
A Novel Approach to Goal-oriented Adaptation with View-based Rules,
Tianqi Zhao,Tao Zan,Haiyan Zhao,Zhenjiang Hu,Zhi Jin,
GRACE-TR 2016-01, GRACE Center, National Institute of Informatics, February 2016, 25 pages.

GRACE-TR-2015-08
Bidirectional Transformation on Ordered Graphs,
Fei Yang and Soichiro Hidaka,
GRACE-TR 2015-08, GRACE Center, National Institute of Informatics, December 2015, 41 pages.

GRACE-TR-2015-07
Qualitative Analysis for Multiple Adaptation Loops,
Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa,Shinichi Honiden,
GRACE-TR-2015-07, GRACE Center, National Institute of Informatics,
June 2015, 29 pages.

GRACE-TR-2015-06
Proceedings of the 13th Overture Workshop Fuyuki Ishikawa and Peter Gorm Larsen GRACE-TR-2015-06, GRACE Center, National Institute of Informatics, June 2015, 139 pages.

GRACE-TR-2015-05
Enlightening Test-Driven with Formal, Formal with Test-Driven through Spec-Test-Go-Round Fuyuki Ishikawa, Takuo Doi, Kazunori Sakamoto, Nobukazu Yoshioka, and Yoshinori Tanabe GRACE-TR-2015-05, GRACE Center, National Institute of Informatics, June 2015, 17 pages.

GRACE-TR-2015-04
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda,
GRACE-TR-2015-04, GRACE Center, National Institute of Informatics, February 2015, 20 pages.

GRACE-TR-2015-03
A Trace-based Approach to Increased Comprehensibility and Predictability of Bidirectional Graph Transformations
Soichiro Hidaka, Martin Billes and Quang Minh Tran,
GRACE-TR-2015-03, GRACE Center, National Institute of Informatics, February 2015, 12 pages.

GRACE-TR-2015-02
Parallelizing Graph Structural Recursion with BSP, Chong Li, Le-Duc Tung, Nhat-Tan Duong, Soichiro Hidaka and Zhenjiang Hu,
GRACE-TR 2015-02, GRACE Center, National Institute of Informatics, February 2015, 23 pages.

GRACE-TR-2015-01
Graph Transformation as Graph Reduction
FUnCAL: A Functional Reformulation of Graph-Transformation Language UnCAL,
Kazutaka Matsuda and Kazuyuki Asada,
GRACE-TR 2015-01, GRACE Center, National Institute of Informatics, February 2015, 18pages.

GRACE-TR-2014-03
Shortest Regular Category-Path Queries, Le-Duc Tung, Kento Emoto and Zhenjiang Hu,
GRACE-TR 2014-03, GRACE Center, National Institute of Informatics,August 2014, 12 pages.

GRACE-TR-2014-02
BiFluX: A Bidirectional Functional Update Language for XML, Hugo Pacheco, Tao Zan and Zhenjiang Hu,GRACE-TR 2014-02, GRACE Center, National Institute of Informatics, August 2014, 59pages

GRACE-TR-2014-01
On the use of Bidirectional Transformations for Translational Semantics, Florent Latombe and Soichiro Hidaka,GRACE-TR-2014-01, GRACE Center, National Institute of Informatics, April 2014, 16 pages.

GRACE-TR-2012-08
“Putback” is the Essence of Bidirectional Programming,Sebastian Fischer, Zhenjiang Hu and Hugo Pacheco,GRACE-TR 2012-08, GRACE Center, National Institute of Informatics,December 2012, 36 pages.

GRACE-TR-2012-07
Parameterized Graph Transformation Languages with Monads, Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato Zhenjiang Hu and Keisuke Nakano GRACE-TR-2012-07, GRACE Center, National Institute of Informatics, October 2012, 21pages

GRACE-TR-2012-06
iGRT: A Generic Interface for GRoundTram,Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU GRACE-TR 2012-06, GRACE Center, National Institute of Informatics,
June 2012, 31pages

GRACE-TR-2012-02:
Security Requirements Analysis and Validation with Misuse Cases and Institutional Modelling, Gideon Dadik BIBU, Nobukazu YOSHIOKA and Julian PADGET GRACE-TR-2012-02, GRACE Center, National Institute of Informatics, February 2012.18pages.

GRACE-TR-2012-01:
Meta-Models for Wireless Sensor Network Applications: Data, Group, and Node Views, Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden, GRACE-TR 2012-01, GRACE Center, National Institute of Informatics, February 2012. 9pages.

GRACE-TR-2011-07:
Towards Bidirectional Transformations on Ordered Graphs, Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano and Zhenjiang Hu, GRACE-TR-2011-07, GRACE Center, National Institute of Informatics, December 2011. 24pages.

GRACE-TR-2011-06:
Marker-directed Optimization of UnCAL Graph Transformations (revised version), Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano, GRACE-TR-2011-06, GRACE Center, National Institute of Informatics, November 2011. 26pages.

GRACE-TR-2011-05:
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), Technical Report GRACE-TR-2011-05, GRACE Center, National Institute of Informatics, August 2011. 10 pages.

GRACE-TR-2011-04:
Qing sun, Bo Wang, Zhenjiang Hu, Applying Bidirectional Transformation to Feature Model Refinement – Implementation Issues – , Technical Report GRACE-TR-2011-04, GRACE Center, National Institute of Informatics, August 2011. 14 pages.

GRACE-TR-2011-02:
Marker-directed optimization of UnCAL graph transformations, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano, GRACE-TR-2011-02, GRACE Center, National Institute of Informatics, June 2011. 22pages.

GRACE-TR-2011-01:
Simulation-based Graph Schema for View Updatability Checking of Graph Queries, Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, GRACE-TR-2011-01, GRACE Center, National Institute of Informatics, May 2011. 22pages.

GRACE-TR-2010-07:
Context-Preserving XQuery Fusion, Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, Technical Report GRACE-TR-2010-07, GRACE Center, National Institute of Informatics, September 2010, 21pages.

GRACE-TR-2010-06:
Bidirectionalizing Graph Transformations, Soichiro Hidaka, Zhenjiang Hu,Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano GRACE-TR-2010-06, GRACE Center, National Institute of Informatics, July 2010. 19 pages.

GRACE-TR-2010-05:
Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Hone Mei, Supporting Feature Model Refinement with Updatable View, Technical Report GRACE-TR-2010-05, GRACE Center, National Institute of Informatics, May 2010. 23 pages.

GRACE-TR-2010-04:
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Sound and Complete Validation of Graph Transformations, Technical Report GRACE-TR-2010-04, GRACE Center, National Institute of Informatics, May 2010. 29 pages.

GRACE-TR-2010-03:
形式手法の産業応用ワークショップ予稿集, GRACEセンター, March 2010, 66 pages.

GRACE-TR-2010-02:
GRACEセンター成果報告書,GRACEセンター, March 2010, 39 pages.

GRACE-TR-2010-01:
Hironori Wasizaki and Nobukazu Yoshioka (Editors), Proceedings of the 1st Asian Conference on Pattern Languages of Programs (AsianPLoP 2010).
Volume I (in English). 105 pages.
Volume II (in Japanese). 141 pages.

GRACE-TR-2009-07:
Hironori Wasizaki, Nobukazu Yoshioka, Eduardo B. Fernandez and Jan Jurjens (Editors), Proceedings of the Third International Workshop on Software Patterns and Quality (SPAQu’09), Technical Report GRACE-TR-2009-07, GRACE Center, National Institute of Informatics, October 2009, 49 pages.

GRACE-TR-2009-06:
Yuting Chen, Zhenjiang Hu, AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach, Technical Report GRACE-TR-2009-06, GRACE Center, National Institute of Informatics,September 2009. 18 pages.

GRACE-TR-2009-05:
飛田孝幸, 金子浩之, 田口研治, 吉岡信和, Common Criteria に特化したセキュリティ要求分析方法論の提案, Technical Report GRACE-TR-2009-05, GRACE Center, National Institute of Informatics, September 2009. 27 pages.

GRACE-TR-2009-04:
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, An Order-Sensitive Fusion for XQuery Technical Report GRACE-TR-2009-04, GRACE Center, National Institute of Informatics, September 2009, 28 pages.

GRACE-TR-2009-03:
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs Technical Report GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009. 41 pages.

GRACE-TR-2009-02:
鄭顕志,末永俊一郎,中村善行,清雄一,吉岡信和,深澤良彰,本位田真一, XACプロジェクト: オープン無線センサーネットワークミドルウェア研究開発プロジェクト Technical Report GRACE-TR-2009-02, GRACE Center, National Institute of Informatics, May 2009. 26 pages.

GRACE-TR-2009-01:
Zhenjiang Hu, Jian Zhang (editors), Proceedings of the sixth Asian Workshop on Foundations of Software, Technical Report GRACE-TR-2009-01, GRACE Center, National Institute of Informatics, April 2009. 153 pages.

GRACE-TR-2008-05:
Hui Song, Yingfei Xiong, Zhenjiang Hu, Gang Huang, Hong Mei,A Model-Driven Framework for Constructing Runtime Architecture Infrastructures,Technical Report GRACE-TR-2008-05,GRACE Center, National Institute of Informatics,December 2008. 31 pages.

GRACE-TR-2008-04:
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui,Hong Mei,Beanbag: Operation-based Synchronization with Intra-relations,Technical Report GRACE-TR-2008-04,GRACE Center, National Institute of Informatics,December 2008. 33 pages.

GRACE-TR-2008-03:
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the First International Workshop on Formal Methods Education and Training, Technical Report GRACE-TR-2008-03, GRACE Center, National Institute of Informatics, October 2008 79 pages.

GRACE-TR-2008-02:
S. Hidaka Z. Hu H. Kato K. Nakano, An Algebraic Approach to Bidirectional Model Transformation, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, September 2008. 14 pages.

GRACE-TR-2008-01:
Soichiro Hidaka, Zhenjiang Hu, Yoshiyuki Kato, Keisuke Nakano, Towards Compositional Approach to Bidirectional Model Transformations, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, August 2008. 37 pages.

コメントは停止中です。