Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Beyond Velocity: A Software Manager's Playbook for Metrics that Work

Software Engineering Handbook

Software Testing and Quality Assurance: Exploring testing levels, test tools, automation, and quality metrics for improved software quality (English Edition)