(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 61 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: (LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

ĐẠI HỌC QUỎC GI A HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHẸTRẦN QUÓC NAMPHƯONG PHÁP KIÊM CHỨNG TĨNH ĐÚNG ĐÁNCỦA CÁC BĨÉƯ ĐÒ TƯÀN Tự UML 2.0Ngành: Còng nghệ ihôn

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0ng íinChuyên ngành: Kỳ thuật phân mềmMà SỐ: 60 48 01 03LUẬN VÃN THẠC SĩNgành: cóng nghệ i hỏng (inNGƯỜI HƯỚNG DẰN KHOA HỌC: TS. TRỊNH THANH BÌNHDÕNG H

ƯỚNG DÀN: TS. PHẠM NGỌC HỪNGHà nội - 2015iMỤC LỤCMỤC LỤC....................................................................iLỎI CAM ƠN............... (LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

................................................liiLÒI CAM ĐOAN..............................................................ivDANH MỰC THUẬT NGỪ VIÉT

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

TẢT................................................VDANH MỤC HÌNH VẼ..........................................................viDANH MỤC BÁNG........

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0áp phàn tích biêu dồ tuần tự nhằm xây dựng các mỡ hinli dặc tá.32.1.Biếu đồ luẩn lựl.'MI.2.0............................................32.2.Phương ph

áp phân tích dơi tượng cua biêu dơ tuần tụ thành các khối dơn.112.3.Phương pháp sinh ôtòmat vào ra từ các khối dơn cùa biêu dồ tuần tự.142.3.1.Trường (LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

hợp khói đơn không chứa phàn đoạn nào..................162.3.2.Trường hợp khối don chữa một phân đoạn Option.................162.3.3.Trường hợp khối d

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

on chữa một phân đoạn Alternative............182.3.4.Trường hợp khối đem chứa một phàn đoạn Loop...................192.3.5.Trường hợp khối don chứa mộ

(LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0ạn Strict...............2.32.3.8.Trường hợp khối dơn chửa một phân đoạn Critical...............242.3.9.Trường hợp khối don chửa một phân đoạn Consider

...............252.3.10.Trường hợp khối đơn chứa một phân đoạn Ignore....................272.4.Phương pháp xây dựng òtỏmat vảo ra cho đối tượng cùa bi (LUẬN văn THẠC sĩ) phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2 0

ếu đồ tuần tự...28Chương 3: Công cụ sinh ôtômat vào ra từ biểu đồ tuần tự...................32