(ソフトウェア工学 1) で、コンピューター プログラムのロジックとデータから設計仕様 (設計の説明) プログラミング言語に変換するプログラミング language.~(2) で表現するプロセス。