Tài liệu Thư viện số

Danh mục TaiLieu.VN

Phương pháp hình thức đặc tả hệ thống hướng đối tượng dựa trên mô hình rCOS

Trong tiến trình phát triển thống nhất RUP (rational unified process) dựa trên ngôn ngữ UML (unified modeling language) [1, 4, 7], một số mô hình loại khác nhau của UML đã được sử dụng để biểu diễn các mô hình nghiệp vụ, mô hình phân tích, mô hình thiết kế và mô hình triển khai trong pha khác nhau để phát triển hệ thống.

Từ khóa: Tạp chí khoa học, Phương pháp hình thức đặc tả, Mô hình rCOS, Unified modeling language, Mô hình UML

9 p tailieu_tgu 24/02/2019 267 2

Bình luận