Đặc tả . Khái niệm về đặc tả. Đặc tả một vấn đề là mô tả (một cách rất riêng nhờ các kỹ thuật thể hiện) các đặc tr-ng của vấn đề đó. Vấn đề đó có thể là đối t-ợng, khái niệm, một thủ tục nào đó, Yêu cầu đầu tiên của đặc tả là phải mang tính chính xác. Phân tích và định rõ yêu cầu là b-ớc kỹ thuật đầu tiên trong tiến trình kỹ nghệ phần mềm. | Bài giảng môn học Công nghệ phẩm mềm Trang 24 CHƯƠNG 3 ĐẶC TẢ . Khái niệm về đặc tả. Đặc tả một vấn đề là mô tả một cách rất riêng nhờ các kỹ thuật thể hiện các đặc trưng của vấn đề đó. Vấn đề đó có thể là đối tượng khái niệm một thủ tục nào đó . Yêu cầu đầu tiên của đặc tả là phải mang tính chính xác. Phân tích và định rõ yêu cầu là bước kỹ thuật đầu tiên trong tiến trình kỹ nghệ phần mềm. Hoạt động phân tích và định rõ yêu cầu hướng tới đặc tả yêu cầu phần mềm đựoc thể hiện trong các khuôn cảnh như sau Các đặc tả thường mang tính trừu tượng hoá cao. Do vậy người ta phân chia thành nhiều mức đặc tả. Càng ở mức cao những mức đầu tiên của quá trình làm mịn hoặc chính xác hoá đặc tả càng trừu tượng. Càng xuống các mức thấp hơn đặc tả càng tiến dần tới cụ thể - tức là một thể hiện trên một máy tính cụ thể với một ngôn ngữ lập trình cụ thể - đây chính là quá trình làm mịn dần. . Các loại hình đặc tả. Có hai kiểu đặc tả đó là đặc tả hình thức và đặc tả phi hình thức. . Nguyễn Thế Cường - Khoa CNTT - Đại học Hàng hải http Bài giảng môn học Công nghệ phẩm mềm Trang 25 Đặc tả hình thức Là các đặc tả chính xác tức là không thể dẫn tới những cách hiểu khác nhau. Đặc tả hình thức sử dụng công cụ chủ yếu là đại số và logic. Ví dụ Đặc tả một ma trận Cấp của ma trận n x n n là số tự nhiên lẻ . Phần tử cuối của hàng 1 bằng phần tử đầu của hàng cuối. Phần tử trung tâm bằng trung bình cộng của các phần tử ở 4 góc. Hoặc có thể diễn đạt nhu sau A n x n a i j n x n n 2k 1 k e Z. a 1 n a n 1 . n 1 n 1 a T- - 2 2 a 1 1 a 1 n a n 1 a n n 4 Đặc tả phi hình thức Diễn đạt bằng những ngôn ngữ tuy không chặt chẽ nhung đuợc nhiều nguời biết và có thể trao đổi với nhau để chính xác hoá các điểm chua rõ ràng những khái niệm còn mơ hổ. Ví dụ Có hai con hậu trên bàn cờ. Hai con hậu sẽ đụng độ nếu chúng nằm trên cùng hàng cùng cột hoặc trên cùng một đuờng chéo song song với đuờng chéo chính hay đuờng chéo phụ. Rõ ràng ở đây có một số khái niệm mơ hổ. Đặc tả hỗn hợp Phối .
