Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả
Chương 1: Tổng quan quy trình và quy tắc nghiệp. Chương 2: Xác thực quy trình và quy tắc nghiệp vụ. Chương 3: Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Nguyễn Thanh Tuấn |
|---|---|
| Γλώσσα: | vie |
| Έκδοση: |
Trường Đại học Bách khoa - Đại học Đà Nẵng,
2025
|
| Διαθέσιμο Online: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=11036 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Thư viện lưu trữ: | Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng |
|---|
Παρόμοια τεκμήρια
-
Kiểm chứng đặc tả bảo mật phần mềm
ανά: Trương, Ninh Thuận, κ.ά.
Έκδοση: (2015) -
Mô hình ước lượng sớm chi phí phần mềm sử dụng phương pháp lập luận theo tình huống /
ανά: Phạm Ngọc Hùng. -
Nghiên cứu xác lập phần mềm tác nghiệp sản xuất trong may đo công nghiệp
ανά: Nguyễn, Thị Lệ
Έκδοση: (2024) -
Giáo trình đặc tả hình thức
ανά: Vũ, Thanh Nguyên
Έκδοση: (2015) -
Giáo trình đặc tả hình thức
ανά: Vũ Thanh Nguyên
Έκδοση: (2015)