Nghiên cứu phương pháp xây dựng mô hình tự động

[khuugiactinh_95]

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 Ketnooi:

You must be registered for see links