tailieunhanh - Doctoral thesis in information technology: Methods for modeling and verifying event driven systems

The thesis aims to provide new and effective approaches in comparison with the existing work to analyse event-driven systems whose behavior is described by imprecise requirements. These requirements are represented by Fuzzy If-Then rules. The thesis introduces a new refinement-based method for modeling imprecise requirements and verifying the significant properties such as safety and eventuality properties of such systems | VIETNAM NATIONAL UNIVERSITY, HANOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY LÊ HỒNG ANH METHODS FOR MODELING AND VERIFYING EVENT-DRIVEN SYSTEMS DOTORAL THESIS IN INFORMATION TECHNOLOGY Hà Nội – 2015 VIETNAM NATIONAL UNIVERSITY, HANOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY Lê Hồng Anh METHODS FOR MODELING AND VERIFYING EVENT-DRIVEN SYSTEMS Major: Software Engineering Mã số: DOCTORAL THESIS IN INFORMATION TECHNOLOGY SUPERVISORS: 1. Assoc. Prof. Dr. Trương Ninh Thuận 2. Assoc. Prof. Dr. Phạm Bảo Sơn Hà Nội – 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Lê Hồng Anh PHƯƠNG PHÁP MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC HỆ THỐNG HƯỚNG SỰ KIỆN Chuyên ngành: Kỹ thuật phần mềm Mã số: LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: 1. PGS. TS. Trương Ninh Thuận 2. PGS. TS. Phạm Bảo Sơn Hà Nội – 2015 Declaration of Authorship I declare that this thesis titled, ‘Methods for modeling and verifying event-driven systems’ and the work presented in it are my own. I confirm that: I have acknowledged all main sources of help. Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work. Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed myself. This work was done wholly while in studying for a PhD degree Signed: Date: i VIETNAM NATIONAL UNIVERSITY, HANOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY Lê Hồng Anh METHODS FOR MODELING AND VERIFYING EVENT-DRIVEN SYSTEMS Major: Software Engineering Mã số: DOCTORAL THESIS IN INFORMATION TECHNOLOGY SUPERVISORS: 1. Assoc. Prof. Dr. Trương Ninh Thuận 2. Assoc. Prof. Dr. Phạm Bảo Sơn Hà Nội – .