(1) ในด้านวิศวกรรมซอฟต์แวร์ กระบวนการ expressing โปรแกรมคอมพิวเตอร์ในการ language.~(2) การเขียนโปรแกรมที่แปลงของตรรกะและข้อมูลจากการออกแบบข้อกำหนด (คำอธิบายออก) เป็นภาษาการเขียนโปรแกรม