A verification framework for specification centered developments
Tác giả: Vũ Diệu Hương
Số trang:
Tr. 19-30
Số phát hành:
Số 5 (48)
Kiểu tài liệu:
Tạp chí trong nước
Nơi lưu trữ:
03 Quang Trung
Mã phân loại:
005
Ngôn ngữ:
Tiếng Việt
Từ khóa:
Phần mềm, kiểm chứng, trung tâm, hệ thống phản ứng
Tóm tắt:
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.
Tạp chí liên quan
- Nghiên cứu mật độ xương và một số yếu tố liên quan ở bệnh nhân xơ gan
- Nghiên cứu đặc điểm lâm sàng, hình ảnh siêu âm khớp ở người bệnh thoái hóa khớp gối giai đoạn 0-2 theo Kellgren - Lawrence
- Đặc điểm một số chỉ số xét nghiệm ở bệnh nhân thiếu máu tan máu tự miễn điều trị tại Bệnh viện Bạch Mai năm 2023
- Tổng quan các vấn đề về viêm tai ngoài cấp
- Sử dụng liệu pháp hút chân không trong điều trị nhiễm trùng sau phẫu thuật vẹo cột sống