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 language
• Vienna Development...