Luận Án Tiến Sĩ Phương Pháp Mô Hình Hóa Và Kiểm Chứng Các Hệ Thống Hướng Sự Kiện

Modeling and verification plays an important role in software engineering because it improves the reliability of software systems. Software development technologies introduce a variety of methods or architectural styles. Each system based on a different architecture is often proposed with different suitable approaches to verify its correctness. Among these architectures, the field of event-driven architecture is broad in both academia and industry resulting the amount of work on modeling and verification of event-driven systems.

• Luận án tiến sĩ công nghệ thông tin
• Chuyên ngành: Kỹ thuật phần mềm
  
• Mã số: 62.48.01.03
• Tác giả: Lê Hồng Anh
  
• Hướng dẫn: PGS. TS. Trương Ninh Thuận, PGS. TS. Phạm Bảo Sơn
  
• 174 Trang
• File PDF
• Ngôn ngữ: Tiếng Anh
• Trường ĐH Công Nghệ 2015

Link Download
http://data.uet.vnu.edu.vn/jspui/handle/123456789/659
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1