TAILIEUCHUNG - 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 – .

• Công nghệ thông tin
• Doctoral thesis in information technology
• Software Engineering
• Methods for modeling
• Verifying event driven systems
• Verifying database trigger systems
• Summary of Information Technology Doctoral thesis
• Summary Doctoral thesis
• Mobile Ad Hoc network
• Load balancing routing technology
• Ensuring quality of transmission
• Information technology
• Information technology doctoral thesis
• Mining fuzzy association rules
• Linguistic information
• Mathematical foundation for informatics
• Summary of the Doctoral thesis
• Summary of the Doctoral thesis in public Management
• State management
• Information technology industry
• Organizing the state management apparatus
• Luận án Tiến sĩ
• Luận án Tiến sĩ Công nghệ thông tin
• Decision tables
• Based attribute reduction
• Information systems
• Summary of Doctoral Thesis of Scientific Education
• Summary of Doctoral Thesis
• Teaching Methodology of Mathematics
• Teaching methods
• Math pedagogical students
• Kỹ thuật phần mềm