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
- Phát hiện bất thường sớm trong mạng quản lý bằng phần mềm
- Đề xuất xây dựng hệ sinh thái AI cho Việt Nam : một mô hình sơ khởi nhưng mang tính quyết định thành bại
- Pháp luật cần xem xét mối nguy từ lỗi của các phần mềm cung cấp bằng chứng
- Phần mềm quản lý và công bố dữ liệu quan trắc môi trường tự động, liên tục
- Những xu hướng phần mềm độc hại của năm 2014