yr 〜
yr

Search results 7

Proceedings of the sixth Asian workshop on foundations of software (GRACE technical reports ; 2009-1)

Proceedings of the sixth Asian workshop on foundations of software (GRACE technical reports ; 2009-1)
Paper図書
Zhenjiang Hu, Jian Zhang (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2009.4<M18-B915>
National Diet Library

An algebraic approach to bidirectional model transformation (GRACE technical reports ; 2008-2)

An algebraic approach to bidirectional model transformation (GRACE technical reports ; 2008-2)
Paper図書
S.Hidaka, Z.Hu, H.Kato, K.Nakano [著]Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.9<M19-B164>
National Diet Library

Towards compositional approach to model transformation for software development (GRACE technical reports ; 2008-1)

Towards compositional approach to model transformation for software development (GRACE technical reports ; 2008-1)
Paper図書
S.Hidaka, Z.Hu, H.Kato, K.Nakano [著]Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.8<M19-B162>
National Diet Library

Beanbag : operation-based synchronization with intra-relations (GRACE technical reports ; 2008-4)

Beanbag : operation-based synchronization with intra-relations (GRACE technical reports ; 2008-4)
Paper図書
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui, Hong Mei [著]Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.12<M19-B165>
National Diet Library

A model-driven framework for constructing runtime architecture infrastructures (GRACE technical reports ; 2008-5)

A model-driven framework for constructing runtime architecture infrastructures (GRACE technical reports ; 2008-5)
Paper図書
H.Song, Y.Xiong, Z.Hu, G.Huang, H.Mei [著]Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.12<M19-B163>
National Diet Library

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)
Paper図書
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.10<M18-B914>
National Diet Library

XACプロジェクト : オープン無線センサーネットワークミドルウェア研究開発プロジェクト (GRACE technical reports ; 2009-2)

XACプロジェクト : オープン無線センサーネットワークミドルウェア研究開発プロジェクト (GRACE technical reports ; 2009-2)
Paper図書
鄭顕志, 末永俊一郎, 中村善行, 清雄一, 吉岡信和, 深澤良彰, 本位田真一 [著]Center for Global Research in Advanced Software Science and Engineering National Institute of Informatics2009.5<Y251-J855>
National Diet Library

Reached to the end of result.