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

近年のソフトウェア開発における大規模・複雑化による高コスト化・誤りの混入という2つの問題に対して、形式手法B-Methodによって作成された既存のソフトウェアの再利用・コード自動合成による、高信頼かつ低コストでソフトウェアを生成するモデル充足ソフトウェア合成手法を我々は提案してきた。
これまで提案してきたモデル細分化では現実的なB-Methodによる開発で用いられる段階的詳細化を考慮していなかったため、既存のソフトウェアからのソフトウェア部品の生成に実用上問題が生じていた。
本発表では段階的詳細化を考慮したモデル細分化手法を提案する。