FOSE2014 モデル変換を用いたリファクタリング検証手法 (サイバー増大号) -- (特集ソフトウェア工学の基礎)