Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng

81 875 1
Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuố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