Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh : Đề tài NCKH. QC. 09 06 / Trương Anh Hoàng

By: Contributor(s): Material type: TextTextLanguage: Vietnamese Publication details: H. : ĐHQGHN , 2009Description: 12 trSubject(s): DDC classification:
  • 005.2 TR-H 2009 14
Summary: Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiê
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Đề tài Phòng DVTT Tổng hợp Kho báo, tạp chí, tra cứu 005.2 TR-H 2009 (Browse shelf(Opens below)) 1 Available 00060000028
Browsing Phòng DVTT Tổng hợp shelves, Shelving location: Kho báo, tạp chí, tra cứu Close shelf browser (Hides shelf browser)

Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiê

There are no comments on this title.

to post a comment.