Luận Văn Thạc Sĩ Nghiên Cứu Phương Pháp Kiểm Chứng Mô Hình Phần Mềm Dựa Trên SAT

Nghiên Cứu Phương Pháp Kiểm Chứng Mô Hình Phần Mềm Dựa Trên SAT​

Ngày nay, với tốc độ phát triển cực kỳ nhanh của lĩnh vực công nghệ thông tin tại Việt Nam và trên thế giới, nhất là đối với phần mềm đã thâm nhập vào hầu hết các lĩnh vực của đời sống như mua bán (mua hàng trực tuyến, các ứng dụng về kế toán, quản lý, . . . ), các lĩnh vực ngân hàng (quản lý tài khoản, giao dịch trực tuyến,. . . ), các lĩnh vực giải trí (trò chơi, phim ảnh, . . . ). Với sự bùng nổ về số lượng các phần mềm thì việc đảm bảo về chất lượng đang là những yêu cầu cấp bách trong hoàn cảnh hiện nay. Trên thế giới đã có rất nhiều bài báo, đề tài, công trình nghiên cứu về kiểm chứng mô hình, về các hướng khác nhau của kiểm chứng mô hình nhưng hướng nghiên cứu tập trung vào giải quyết vấn đề bùng nổ không gian trạng thái trong kiểm chứng mô hình luôn luôn là đề tài mang lại nhiều tranh luận, cảm hứng cũng như nghiên cứu nhất.

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

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