Đặc tả phi hình thức phần mềm

Bài giảng  Công nghệ phần mềm nâng cao: Đặc tả yêu cầu phần mềm bao gồm những nội dung về mục tiêu và yêu cầu, phân tích yêu cầu, các phương pháp đặc tả (đặc tả phi hình thức, đặc tả hình thức, các công cụ); chuẩn tài liệu đặc tả. Mời các bạn tham khảo bài giảng để nắm bắt nội dung chi tiết.

34p ngkhacvu 22-05-2015 300 57   Download

Ký pháp Z, hay còn được gọi là ngôn ngữ Z được xây dựng dựa trên lý thuyết tập hợp và logic toán học. Đây là một ngôn ngữ toán học chặt chẽ, được sử dụng chủ yếu trong đặc tả hình thức để đặc tả các yêu cầu chức năng của 1 hệ thống, đặc biệt là hệ thống phần mềm. Ngôn ngữ Z không được thiết kế để mô tả các yêu cầu phi chức năng của hệ thống, ví dụ như công dụng, hiệu năng, kích thước hay độ tin cậy của hệ thống. Ngôn ngữ cũng không được thiết kế cho các...

17p spamspam 16-01-2011 669 145   Download