Mathematical Approaches to Software Quality

This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification languageVienna Development Methods (VDM)Irish school of VDM (VDM)approach of Dijkstra and Hoareclassical engineering approac