Mathematics in Software Reliability and Quality Assurance

Contributor(s): Dohi, Tadashi (Guest Editor), Liu, Shaoying (Guest Editor)

ISBN: 9783036537993

Publisher: Mdpi AG

Hardcover

$78.63

Pub Date: May 9, 2022

Lexile Code: 0000

Target Age Group: NA to NA

Physical Info: 0.75" H x 9.61" L x 6.69" W ( 1.48 lbs) 218 pages

BISAC Categories:

Technology and Engineering | General | Mathematics

Descriptions, Reviews, etc.

Description:

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.