Chi tiết| Tên | 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 |
| Lĩnh vực | Tin học |
| Tác giả | Nguyễn Mạnh Đức; Đặng Văn Đức; Nguyễn Văn Vỵ |
| Nhà xuất bản / Tạp chí | Khoa học và Công nghệ Tập 45 Số 2 Năm 2008 |
| Số hiệu ISSN/ISBN | ISSN 1859-2171 |
| Tóm tắt nội dung | |
Bài báo trình bày những nghiên cứu bước đầu về một tiến trình để đặc tả một quá trình phát triển hệ thống hướng đối tượng. Xuất phát từ biểu đồ miền lĩnh vực nghiệp vụ, quá trình phát triển hệ thống dựa trên RUP nhưng được thực hiện bằng các phép biến đổi hình thức trên cở sở của quan hệ đại số và các luật để đảm bảo tính đúng đắn của các kết quả nhận được Tải file 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 tại đây |
|
