Luận văn:Nghiên cứu phương pháp xây dựng mô hình tự động : Luận văn ThS. Công nghệ thông tin: 60 48 10
Nhà xuất bản:ĐHCN
Ngày:2011
Chủ đề:Công nghệ thông tin
Mô hình tự động
Công nghệ phần mềm
Miêu tả:49 tr. + CD-ROM
Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2011
Mô tả các phương pháp hình thức cho đặc tả phần mềm, các khái niệm về thành phần phần mềm, đặc tả thành phần phần mềm, máy hữu hạn trạng thái, hệ chuyển trạng thái được gán nhãn và ôtômát hữu hạn trạng thái. Nghiên cứu phương pháp xây dựng tự động mô hình mô tả chính xác hành vi của một thành phần phần mềm. Qua đó đề xuất giải pháp cho việc xây dựng mô hình thành phần phần mềm. Đưa ra kết quả thực nghiệm: công cụ sinh mô hình của một thành phần phần mềm và ý nghĩa công cụ xây dựng mô hình
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ket-noi:00050000769_Noi_dung.pdf
