Thành phần java tương tranh

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. Tuy nhiên, 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ỉ thiệt hại về mặt kinh tế mà còn có thể làm tổn thất trực tiếp sinh mạng con người. Do đó, nhu cầu nghiên cứu và đề xuất các phương pháp để kiểm chứng phần mềm ngày càng trở lên cần thiết.

26p tamynhan0 04-07-2020 24 3   Download

Luận án gồm 6 chương chính được cấu trúc như trong hình 1.2. Trong đó, chương 2 giới thiệu một số kiến thức nền cho các đóng góp của luận án trong các chương còn lại. Theo cách tiếp cận kiểm chứng ở mức mô hình thiết kế, luận án đã để xuất hai phương pháp đặc tả và kiểm chứng sự tương tác giữa các thành phần tương tranh sử dụng phương pháp hình thức với Event-B được trình bày trong các chương 3 và 4.

142p hanh_tv26 05-04-2019 33 5   Download