Mathematical Approaches to Software Quality

• Main Author: O'Regan, Gerard (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2006.
• Subjects: Computer science.; Software engineering.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Mathematics of Computing.; Discrete Mathematics in Computer Science.

The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical metho...

Table of Contents:

• Introduction
• Software Engineering Mathematics
• Logic for Software Engineering
• Z Specification Language
• Vienna Development Method
• Irish School of VDM
• Dijkstra and Hoare
• The Parnas Way
• Cleanroom and Software Reliability
• Unified Modeling Language
• Technology Transfer
• Glossary.