@techreport{oai:soar-ir.repo.nii.ac.jp:00021875,
 author = {岡野, 浩三},
 month = {},
 note = {研究種目：基盤研究(C), 研究期間：2016～2018, 課題番号：16K00094, 研究代表者：岡野　浩三, 研究者番号：70252632, Other, 2016～2018年度科学研究費助成事業（基盤研究(C)）研究成果報告書　課題番号：16K00094　研究代表者：岡野　浩三},
 title = {モデルと制約に基づくソフトウェア開発に関する研究},
 year = {2019}
}