1 A verification framework for specification centered developments / Vũ Diệu Hương // .- 2021 .- Số 5 (48) .- Tr. 19-30 .- 005

Trong bài báo này đề xuất một số khung làm việc kiểm chứng cho tiến trình phát triển phần mềm lấy đặc tả làm trung tâm. Trong khung làm việc này đầu tiên chúng ta sẽ tập trung vào cải tiến chất lượng của đặc tả rồi sử dụng đặc tả có chất lượng được đảm bảo này để dẫn xuất cho hoạt động kiểm chứng thiết kế và chương trình. Khung làm việc này có thể được áp dụng trong miền các hệ thống phản ứng với tính tự động hóa cao tính thích nghi tốt và tính thực hành cao.