blinkit: Maintaining Invariant Traceability through Bidirectional Transformations
書誌事項
- タイトル
- blinkit: Maintaining Invariant Traceability through Bidirectional Transformations
- 著者
- Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
収録刊行物
-
- Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University
-
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University 2011(9) 1-13, 2011