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 31 4   Download

Flash là một công nghệ rất hiệu quả, phổ biến và cho phép lập trình viên có thể tạo ra những ứng dụng với đầy đủ các hiệu ứng hình ảnh, âm thanh đặc sắc. Những công nghệ tương tự như Java Applet hay một “đứa con” sáng giá của Microsoft là Silverlight cũng không thể đứng vững và cạnh tranh được với Flash. Nhưng một vấn đề nảy sinh ở đây là khả năng tương tác giữa các công nghệ này với các thành phần xung quanh nó (như các thẻ HTML) dường như không thể. Chúng bị cô...

114p coc_xanh 16-01-2013 305 80   Download