共同研究・競争的資金等の研究課題

2013年4月 - 2014年3月

抽象化に基づいたUML設計の検証支援ツールの開発

IPA（情報処理推進機構） 2013年度ソフトウェア工学分野の先導的研究支援事業 (RISE)