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
- Bảo đảm quyền tham gia của trẻ em theo pháp luật quốc tế và pháp luật Việt Nam
- Tòa án Thương mại Quốc tế - bước chuyển mới trong giải quyết tranh chấp thương mại quốc tế
- Thu thập chứng cứ bằng biện pháp lấy lời khai của người bị kiện trong tố tụng hành chính
- Kinh nghiệm quốc tế về quản lý tín chỉ carbon và trao đổi hạn ngạch phát thải khí nhà kính
- Pháp luật Việt Nam về an ninh con người của phạm nhân trong bối cảnh hội nhập quốc tế và một số khuyến nghị hoàn thiện