将来は仕様を形式的に記述するだけで、ソフトウェアが自動的に生成されるようになるの?