GRACE　Technical Report （TR）

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

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.