検索
課題ページに戻る
2018 年度 終了報告書
整合性を保持する形式仕様の自動抽象化システム「ソフトウェア顕微鏡」の開発
研究課題
戦略的な研究開発の推進
戦略的創造研究推進事業
ACT-I
PDF
体系的番号
JPMJPR17UA
DOI
https://doi.org/10.52926/JPMJPR17UA.17940694
研究代表者
小林 努
情報・システム研究機構, 国立情報学研究所, 特任研究員
研究期間 (年度)
2017 – 2018
研究領域
情報と未来