Mathematics in Software Reliability and Quality Assurance

• Tác giả: Tadashi Dohi, Shaoying Liu
• Ngôn ngữ: eng
• ISBN-13: 978-3036537993
• Thông tin xuất bản: Basel : MDPI - Multidisciplinary Digital Publishing Institute, 2022
• Mô tả vật lý: 1 electronic resource (218 p.)
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 249866
• Chủ đề: 1. History of engineering & technology; 2. Technology: general issues

Tóm tắt

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.