モデルを用いた仕様書とコードの整合性確認手法
河口怜央,林香織,佐藤博之,小林展英,竹内広宜
情報処理学会研究報告(IPSJ SIG Technical Report)
2025-SE-220
27
1
8