Thạc Sĩ Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFD

Thảo luận trong 'Khoa Học Công Nghệ' bắt đầu bởi Mit Barbie, 6/12/11.

  1. Mit Barbie

    Mit Barbie New Member

    Bài viết:
    2,273
    Được thích:
    1
    Điểm thành tích:
    0
    Xu:
    0Xu
    #1 Mit Barbie, 6/12/11
    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
     

    Các file đính kèm:

Đang tải...
Chủ đề tương tự
  1. Quy Ẩn Giang Hồ

    Tiến Sĩ Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

    Quy Ẩn Giang Hồ, 21/6/17, trong diễn đàn: Khoa Học Công Nghệ
    Trả lời:
    0
    Xem:
    708
    Quy Ẩn Giang Hồ
    21/6/17
  2. Quy Ẩn Giang Hồ

    Thạc Sĩ Một số phương pháp giải hệ phương trình trong chương trình toán Trung học phổ thông

    Quy Ẩn Giang Hồ, 20/6/17, trong diễn đàn: Khoa Học Công Nghệ
    Trả lời:
    0
    Xem:
    400
    Quy Ẩn Giang Hồ
    20/6/17
  3. Bích Tuyền Dương

    Thạc Sĩ Nghiên cứu các hệ thống File phân tán và ứng dụng

    Bích Tuyền Dương, 14/8/14, trong diễn đàn: Khoa Học Công Nghệ
    Trả lời:
    0
    Xem:
    1,112
    Bích Tuyền Dương
    14/8/14
  4. Củ Đậu Đậu

    Thạc Sĩ Giải pháp nâng cao hiệu quả của giản đồ lập lịch dựa trên độ tin cậy trong các hệ thống tính toán tì

    Củ Đậu Đậu, 17/4/14, trong diễn đàn: Khoa Học Công Nghệ
    Trả lời:
    0
    Xem:
    772
    Củ Đậu Đậu
    17/4/14
  5. Bích Tuyền Dương

    Thạc Sĩ Thiết kế hệ thống điều khiển từ xa qua đường điện thoại

    Bích Tuyền Dương, 8/5/13, trong diễn đàn: Khoa Học Công Nghệ
    Trả lời:
    0
    Xem:
    1,794
    Bích Tuyền Dương
    8/5/13