Chi tiết| Tên | Một số thuật toán tinh chế cấu trúc hệ thống hướng đối tượng dựa trên các luật làm mịn của rCOS |
| Lĩnh vực | Tin học |
| Tác giả | Đặng Văn Đức; Nguyễn Văn Vỵ; Nguyễn Mạnh Đức |
| Nhà xuất bản / Tạp chí | Khoa học Tự nhiên và Công nghệ, Hà Nội 2007 Năm 2007 |
| Số hiệu ISSN/ISBN | |
| Tóm tắt nội dung | |
Bài báo này trình bày một số thuật toán tinh chế cấu trúc hướng đối tượng trên cơ sở các luật làm mịn của hệ thống rCOS, chúng phục vụ cho việc thiết kế các hệ thống hướng đối tượng theo chiến lược làm mịn dần từng bước. Những kết quả của các thuật toán này đã được kiểm nghiệm bằng công cụ Rational Rose với ngôn ngữ mô hình hoá UML, cho thấy tính đúng đắn của các thuật toán trong tiến trình phát triển hệ thống phần mềm hướng đối tượng |
|
