状態遷移設計研究WGの活動報告

レガシーコードの蘇生術、リバースモデリングツールREｘSTMの進捗
状態遷移設計研究WGで2014年度から過去3年間にわたり議論、開発をしてきたリバースモデリングツールの活動とリリースに向けた取り組みの報告

応用技術調査委員会 山本 椋太名古屋大学 大学院