Đang tải... (xem toàn văn)
Ngày đăng: 25/03/2015, 09:58
Xem thêm: Nghiên cứu phương pháp xây dựng mô hình tự động, Nghiên cứu phương pháp xây dựng mô hình tự động, Chương 2: Các phương pháp hình thức cho đặc tả phần mềm, 1 Hệ thống chuyển trạng thái được gán nhãn, 3 Hệ chuyển trạng thái được gán nhãn an toàn, thuộc tính an toàn, tính thỏa mãn, 5 Ôtômát hữu hạn trạng thái, Chương 3: Các phương pháp sinh tự động mô hình thành phần phần mềm, 1 Phương pháp học sử dụng giải thuật L*, 2 Phương pháp xây dựng mô hình sử dụng thuật toán Thompson, 1 Công cụ xây dựng mô hình thành phần phần mềm, 3 Ý nghĩa công cụ xây dựng mô hình