Bạn nên xem đặc tả phần mềm theo phương pháp nào: Ví dụ hướng đối tượng hay hướng cấu trúc. Với mỗi loại có thể có các ngôn ngữ khác nhau.

UML là một ngôn ngữ mô hình hoá, cũng có thể dùng làm đặc tả phần mềm, phân tích, và thiết kế.

Còn nếu chỉ viết thuật toán thì có thể dùng giả mã, C, C++, hoặc Pascal đều được.

Ngôn ngữ Z, hình như là một ngôn ngữ hình thức, thường sử dụng đối với các thuật toán cần độ chính xác cao, ví dụ như các hệ thống điều khiển, xử lý...