Luận văn Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFD

HỆ THỐNG HỖ TRỢ KIỂM TRA TÍNH ĐÚNG ĐẮN CỦA MÔ HÌNH DFD PHAN NGỌC ẨN Trang nhan đề Mục lục Đặt vấn đề Chương 1: Mô hình xử lý DFD. Chương 2: Giới thiệu tổng quan về mạng Petri. Chương 3: Xây dựng phương pháp kiểm tra tính đúng đắn của mô hình DFD. Chương 4: Phần mềm HTMD hỗ trợ thiết kế mô hình DFD giúp kiểm tra tính đúng đắn của mô hình DFD. Kết luận Phụ lục Tài liệu tham khảo