Bộ đề thi lần 1 môn Công nghệ phần mềm - Đại học Đà Nẵng

I. Đặc tả (Specification) | Một xâu (string) được gọi là đối xứng nếu các ký tự cách đều đầu xâu và cuối xâu là giống nhau. Ví dụ các câu a, bab, aabbaa đều là đối xứng. Hãy viết đặc tả thể hiện các câu đối xứng, từ đó chuyển thành một thủ tục Pascal (hoặc C). II. Ngôn ngữ đặc tả RAISE (RSL)

Để định nghĩa kiểu complex cho các số phức x+ yi (i = -1), RSL sử dụng dạng (x, y). Giả sử zero biểu diễn số phức 04 0i. Hãy biểu diễn các số phức sau đây:

• Phép Add để cộng hai số phức và phép Sub để trừ hai số phức. • Phép Mult để nhân hai số phức