Luận Văn Thạc Sĩ Kiểm Chứng Hệ Thống Thời Gian Thực Bằng Công Cụ Kiểm Chứng Mô Hình SAL

Kiểm Chứng Hệ Thống Thời Gian Thực Bằng Công Cụ Kiểm Chứng Mô Hình SAL​

Ngày nay, sự phát triển của các hệ thống kỹ thuật thông tin và truyền thông ngày càng nhiều và đa dạng. Các hệ thống này ngày càng trở nên phức tạp và đi sâu vào cuộc sống hàng ngày của chúng ta chẳng hạn như máy tính xách tay điện thoại di động, các loại tivi cao cấp và các đồ dùng hằng ngày như máy giặt, lò vi sóng. Vì thế, sự phụ thuộc của chúng ta ngày càng tăng và chặt chẽ hơn vào các hệ thống thông tin làm cho độ tin cậy của các hệ thống ngày càng yêu cầu cao. Để xây dựng phần mềm có chất lượng cần tuân thủ việc đảm bảo chất lượng phần mềm. Trong đó việc đảm bảo tính đúng đắn của thiết kế ở giai đoạn sớm đóng vai trò mấu chốt cho việc đảm bảo chất lượng quá trình phát triển phần mềm.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Đặng Văn Hưng
• Tác giả: Nguyễn Khắc Chung
• Số trang: 48
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2015

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1062266
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1