GRACE Technical Report (TR)

GRACE technical reports are published as a means to ensure the timely publication of scholarly and technical work contributed by members of the Center for Global Research in Advanced Software Science and Engineering (GRACE).

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-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-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.