Việc sử dụng các công cụ phần mềm để hỗ trợ trong sự chuyển đổi của một đặc tả chương trình vào một chương trình mà nhận ra rằng đặc điểm kỹ thuật.