Phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0 : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
Luận văn ThS. Kỹ thuật phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2015
Saved in:
Main Author: | Trần, Quốc Nam |
---|---|
Other Authors: | Phạm, Ngọc Hùng, người hướng dẫn |
Format: | Theses and Dissertations |
Language: | Vietnamese |
Published: |
ĐHCN
2017
|
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/43007 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
Similar Items
-
Phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL
by: Nguyễn, Văn Hòa
Published: (2017) -
Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
by: Hoàng, Văn Thủy
Published: (2017) -
Kiểm chứng sự tuân thủ giữa đặc tả điều khiển truy cập và cài đặt : Luận văn ThS. Công nghệ thông tin: 60 48 10
by: Nguyễn, Hồng Phong
Published: (2017) -
Kiểm chứng các dịch vụ web : Luận văn ThS. Công nghệ thông tin : 60 48 10
by: Nguyễn, Thị Thúy Nga
Published: (2017) -
Kiểm chứng một số ràng buộc trong chương trình Java sử dụng AOP : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
by: Lê, Ngọc Minh
Published: (2017)