我々は形式手法の一つのB Methodで記述された既存ソフトウェアから生成した部品を再利用するソフトウェア合成手法を提案している。ここで、本手法をモジュール構造と段階的詳細化に対応させる新たな手法の確立が課題である。

先行研究では上記手法の概要が提案されたが、手法の検証は不十分だった。具体的には、子モジュールが2つの単純なモジュール構造かつ段階的詳細化が子モジュールでの1回のみという最小限のソフトウェアでの検証だった。そこで本発表では、先行研究の検証不足を埋めるべく、孫モジュールを有し親と子のモジュール両方で段階的詳細化を行うソフトウェアで検証を行い、その結果を発表する。