Đang tải... (xem toàn văn)
Thông tin tài liệu
Ngày đăng: 25/03/2015, 10:23
Xem thêm: Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng
Từ khóa liên quan
Mục lục
Mục lục
DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT
DANH MỤC CÁC HÌNH VẼ
DANH MỤC CÁC BẢNG
MỞ ĐẦU
Chương I: GIỚI THIỆU CHUNG
I.1. Phương pháp phát triển phần mềm hướng đối tượng
I.1.1. Khái niệm
I.1.2. Các ưu điểm của phương pháp hướng đối tượng
I.2. Tiến trình thống nhất
I.2.1. Khái niệm về tiến trình thống nhất
I.2.2. Các đặc trưng của tiến trình thống nhất
I.2.3. Vòng đời của một tiến trình thống nhất
I.2.4. Một tiến trình tích hợp
I.3. Ngôn ngữ hình thức trong phát triển phần mềm
I.3.1. Mục tiêu của việc áp dụng phương pháp hình thức
I.3.2. Ưu điểm của phương pháp hình thức
I.3.3. Ngôn ngữ đặc tả hình thức
I.4. Mục tiêu và nội dung của đề tài
II.1. rCOS – Một phép làm mịn hệ thống đối tượng
Tài liệu cùng người dùng
Tài liệu liên quan