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

2013年6月 - 2015年2月

形式仕様とテスト生成の部分的・段階的な活用~探索を通したコード中心インクリメンタル型開発の支援

情報処理推進機構  ソフトウェア工学分野の先導的研究支援事業
  • 石川 冬樹

資金種別
競争的資金