Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 61 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Nghiên cứu thiết kế theo hợp đồng và xây dựng công cụ hỗ trợ

Tác giả: Nguyễn Thế Nam

Lĩnh vực: Công Nghệ Thông Tin

Nội dung tài liệu:

Nghiên cứu này tập trung vào công nghệ thiết kế theo hợp đồng (Design by Contract) và các khái niệm liên quan. Đề tài đi sâu vào việc làm thế nào để xây dựng các đặc tả cho các thành phần phần mềm và đảm bảo sự kết hợp tin cậy giữa chúng. Bên cạnh đó, nghiên cứu còn đề cập đến các cơ chế đảm bảo tính đúng đắn và tin cậy của phần mềm, cũng như các mô hình dựa trên CORBA, đặc biệt là kỹ nghệ phần mềm hướng thành phần. Một phần quan trọng của nghiên cứu là việc xây dựng một công cụ hỗ trợ đặc tả và kiểm chứng, giúp người dùng kiểm tra sự phù hợp của các thành phần khi kết nối với nhau một cách trực quan. Công cụ này áp dụng các công nghệ hiện đại như mô hình Model-View-Controller (MVC) và lập trình Java.

Mục lục chi tiết:

  • Mở đầu
  • Chương 1: Tính đúng đắn, tính tin cậy của phần mềm
  • Chương 2: Giới thiệu về Design by Contract
  • Chương 3: Mô hình thành phần CORBA
  • Chương 4: Xây dựng công cụ đặc tả và kiểm chứng thành phần
  • Kết luận
  • Hướng phát triển
  • Tài liệu tham khảo
  • Phụ lục