Đặc tả Specification Cho ma trận vuông A cấp NxN gồm các số thực.. Viết đặc tả thể hiện mỗi phần tử trên đường chéo phụ của ma trận A chính là tích của tất cả các phần tử trên hàng và tr
Trang 1ĐỀ A
ĐỀ THI KẾT THÚC MÔN HỌC CÔNG NGHỆ PHẦN MỀM
I Đặc tả (Specification)
Cho ma trận vuông A cấp NxN gồm các số thực Viết đặc tả thể hiện mỗi phần tử trên đường chéo phụ của ma trận A chính là tích của tất cả các phần tử trên hàng và trên cột đi qua phần tử đó nhưng không tính nhân phần tử đó
II.Ngôn ngữ đặc tả RAISE (RSL)
Hãy định nghĩa bằng RSL kiểu Complex biểu diễn các số phức x + yi ra dạng RSL (x, y), gồm các số phức :
0* zero biểu diễn số phức 0 + 0i,
1* phép cộng Add và phép nhân Mult để cộng và nhân hai số phức
Phan Huy Khánh 5/8/17
KHOA CÔNG NGHỆ THÔNG TINTRƯỜNG ĐẠI HỌC KỸ THUẬT - ĐẠI HỌC ĐÀ NẴNG
90 PHÚT ĐỀ A
Trang 2ĐỀ THI KẾT THÚC MÔN HỌC CÔNG NGHỆ PHẦN MỀM
I Đặc tả (Specification)
Cho ma trận vuông A cấp NxN gồm các số nguyên Viết đặc tả thể hiện mỗi phần tử trên đường chéo chính của ma trận A thì tổng tất cả các phần tử trên hàng đúng bằng tổng tất cả các phần tử trên cột đi qua phần tử đó
II.Lập trình cấu trúc (Structured programming)
Trang 390 PHÚT
ĐỀ A ĐỀ THI KẾT THÚC MÔN HỌC (THI LẦN 2)
CÔNG NGHỆ PHẦN MỀM
I Đặc tả (Specification)
Một xâu (chuỗ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 xâu a, bab, aabbaa đều là đối xứng Hãy viết đặc tả thể hiện các xâu đối xứng
II.Ngôn ngữ đặc tả RAISE (RSL)
Hãy định nghĩa bằng RSL kiểu Complex biểu diễn các số phức x + yi ra dạng RSL (x, y), gồm các số phức :
2* zero biểu diễn số phức 0 + 0i,
3* phép cộng Add và phép nhân Mult để cộng và nhân hai số phức
Phan Huy Khánh 5/8/17
KHOA CÔNG NGHỆ THÔNG TINTRƯỜNG ĐẠI HỌC KỸ THUẬT - ĐẠI HỌC ĐÀ NẴNG
90 PHÚT ĐỀ B ĐỀ THI KẾT THÚC MÔN HỌC (THI LẦN 2)
Trang 4CÔNG NGHỆ PHẦN MỀM
I Đặc tả í (Specification)
Cho ma trận vuông A cấp NxN Viết đặc tả thể hiện mỗi phần tử trên đường chéo chính của ma trận A chính là tổng của tất cả các phần tử trên mỗi hàng và trên mỗi cột đi qua phần tử đó nhưng không tính cộng phần tử đó
II.Ngôn ngữ đặc tả RAISE (RSL)
1. Viết một biểu thức RSL thể hiện rằng không tồn tại một số nguyên lớn nhất
1. Điền vào chỗ còn thiếu (đặt dấu ) trong định nghĩa hàm dưới đây cho phép kiểm tra một số tự nhiên đã cho có là
chẵn không :
is_even : Nat Bool
is_even(n)
Trang 5Đề thi kết thục Môn học CÔNG NGHỆ PHẦN MỀM
150 phút (không được mang tài liệu vào phòng thi)
I Phương pháp tinh chế từng bước
Trong việc quản lý danh bạ điện thoại cho khách hàng, người
ta cần một thủ tục nắn lại (correcting) các số điện thoại đưa vào để thống nhất cách lưu trữ và in ra
Giả sử số điện thoại gồm hai phần, phần mã vùng (regional code) và phần số (number) Khi người sử dụng nhập vào máy tính một hồ sơ khách hàng tại mục Số Điện Thoại có chứa một số nào đó, ví dụ 0(51) 892.992, hoặc 051-892-992, hoặc 051.892.992, v.v , máy phải lưu trữ 051.892992 và in ra dạng 051.892.992 (Chú ý đối với các mã vùng là một số như Hà nội
4, Tp HCM 8 , chuyển số 8 của phần số qua để vẫn có dạng nn.nnnnnn)
1 Trình bày lời giải bằng phương pháp tinh chế từng bước
2 Lập trình theo đơn vị Unit của ngôn ngữ Pascal
II.Đặc tả
Cho ma trận vuông A cấp NxN Viết đặc tả thể hiện mỗi phần tử trên đường chéo chính của ma trận chính là phần tử nhỏ nhất trên mỗi hàng
III Ngôn ngữ đặc tả RAISE
Viết trên RSL một đơn thể có tên EXPONENT để tính hàm mũ ex ?
Trang 7ÑEĂ THI KEÂT THUÙC MOĐN HÓC CÔNG NGHỆ PHẦN
MỀM
150 phuùt (có thể mang tài liệu vào phòng thi)
I Phương pháp tinh chế từng bước
Trong việc quản lý danh bạ điện thoại cho khách hàng, người
ta cần một thủ tục nắn lại (correcting) các số điện thoại đưa vào để thống nhất cách lưu trữ và in ra
Giả sử số điện thoại gồm hai phần, phần mã vùng (regional code) và phần số (number) Việc nắn là làm sao khi nhập vào máy một số điện thoại, ví dụ (51) 892.992, hoặc 51-892-992, hoặc 51.892.992, v.v , máy phải lưu trữ 51.892992 và in ra dạng 51.892.992 Đối với các mã vùng một số (Hà nội 4, Tp HCM 8 ), chuyển số 8 của phần số qua để vẫn có dạng xx.xxxxxx
1.Trình bày lời giải bằng phương pháp tinh chế từng bước theo ngôn ngữ tự nhiên
2.Lập trình theo đơn vị Unit của ngôn ngữ Pascal (càng mở rộng bài toán càng tốt)
II.Ngôn ngữ đặc tả RAISE
Viết trên RSL một đơn thể có tên CIRCLE gồm các định nghĩa hàm tính diện tích area và tính chu vi circumference Có thể viết định nghĩa hàm theo những cách khác ?