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
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ên cứu lập trình hướng khía cạnh và cài đặt chức năng ki...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Đại học Quốc gia Hà Nội
2015
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56253 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-56253 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-562532015-06-17T09:55:43Z 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 Trương, Thị Thuận Nguyễn, Việt Hà Lập trình Java Lập trình hướng khía cạnh Biểu đồ Công nghệ thông tin 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ên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP. 2015-06-12T03:32:46Z 2015-06-12T03:32:46Z 2009 Working Paper http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56253 vi application/pdf Đại học Quốc gia Hà Nội |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
Vietnamese |
| topic |
Lập trình Java Lập trình hướng khía cạnh Biểu đồ Công nghệ thông tin |
| spellingShingle |
Lập trình Java Lập trình hướng khía cạnh Biểu đồ Công nghệ thông tin Trương, Anh Hoàng Trương, Thị Thuận Nguyễn, Việt Hà 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 |
| description |
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ên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP. |
| format |
Working Paper |
| author |
Trương, Anh Hoàng Trương, Thị Thuận Nguyễn, Việt Hà |
| author_facet |
Trương, Anh Hoàng Trương, Thị Thuận Nguyễn, Việt Hà |
| author_sort |
Trương, Anh Hoàng |
| title |
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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
Đại học Quốc gia Hà Nội |
| publishDate |
2015 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56253 |
| _version_ |
1757666631408943104 |