Luận Văn Thạc Sĩ Ứng Dụng Của Spin Để Kiểm Chứng Sự Tuân Thủ Thể Thức Tương Tác Của Chương Trình

Ứng Dụng Của Spin Để Kiểm Chứng Sự Tuân Thủ Thể Thức Tương Tác Của Chương Trình ​

Phần mềm ngày càng đóng vai trò quan trọng trong xã hội hiện đại. Tỷ trọng giá trị phần mềm trong các hệ thống ngày càng lớn. Nhưng trong nhiều hệ thống, lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng, không chỉ về mặt kinh tế mà còn về con người, đặc biệt là các phần mềm điều khiển hệ thống và thiết bị giao thông. Nguyên nhân của các lỗi này là do phần mềm ngày càng phức tạp do các bài toán được giải quyết và hỗ trợ bởi phần mềm ngày càng lớn. Để khắc phục các khó khăn này, cách tiếp cận hướng đối tượng đã được sử dụng để phát triển phần mềm và tỏ ra hiệu quả từ những năm 90 của thế kỷ trước[17]. Tuy nhiên, do độ phức tạp của phần mềm ngày càng cao và để giảm giá thành, kiến trúc phần mềm cần được cải tiến để tăng tính dùng lại (reuse) của các yếu tố phần mềm đã phát triển trước đó. Cách tiếp cận hướng thành phần được áp dụng rộng rãi và có hiệu quả cao.

• 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ả: Hoàng Văn Thủy
• Số trang: 96
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2014

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1059465&sp=T&sp=3&suite=def
http://sachviet.edu.vn/forums/dvd-ebook-luan-van.117/
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1