ソフトウェアの黙示的生成と明示的編集のための環境の開発