Ryosuke Yamasaki, Kazutaka Kobayashi, Nurul Azma Zakaria, Shuji Narazaki, Norihiko Yoshida. Refactoring-Based Stepwise Refinement in Abstract System-Level Design. In Edwin Hsing-Mean Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-hae Kim, Laurence Tianruo Yang, Bin Xiao, editors, Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings. Volume 4096 of Lecture Notes in Computer Science, pages 712-721, Springer, 2006. [doi]
Abstract is missing.