情報処理学会 第79回全国大会講演要旨

　我々はB-Methodの高信頼な既存ソフトウェアを分解、整備し、それらの部品群を自動結合することで、新規ソフトウェアの仕様を満たす実装を合成する手法を提案してきた。しかし、従来の結合手法には未対応の構文があり、手法を適用できる範囲が限定されている。さらに、この手法で合成した実装には不要な式が含まれるため、冗長な計算が発生する。そのため、結合手法を多様な構文に対応させ、また合成される実装から不要な式を排除する必要があった。
　本研究では、形式仕様に基づくソフトウェア部品に対して幅広く適用でき、さらに最適化された実装を合成できる実用性の高い結合手法を提案する。