Mathematical Approaches to Software Quality

• Κύριος συγγραφέας: O'Regan, Gerard (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2006.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.