Đặc tả và kiểm chứng phần mềm là một trong những phương pháp kiểm tra các hệ thống liệu có thỏa thiết kế hay không? Việc kiểm tra hệ thống được thực hiện trên nhiều pha trong quy trình sản xuất phần mềm,từ thiết kế,đặc tả,viết mã,kiểm thử,kiểm chứng,kiểm tra có thỏa yêu cầu người dùng (validation). Đồ án tốt nghiệp Đại học Chuyên ngành Công nghệ thông tin Người hướng dẫn: ThS Đỗ Văn Chiểu Tác giả: Vũ Đức Hậu Số trang: 41 Kiểu file: PDF - True Ngôn ngữ: Tiếng Việt Trường Đại học Dân lập Hải Phòng 2012 Link download: https://lib.hpu.edu.vn/handle/123456789/18289 https://drive.google.com/uc?id=1xeJj0huZ7VVHAdwynX1ovfi7uoSmPAEthttps://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1