TY - BOOK AU - O’Regan,Gerard ED - SpringerLink (Online service) TI - Introduction to Software Quality T2 - Undergraduate Topics in Computer Science, SN - 9783319061061 AV - QA76.6-76.66 U1 - 005.11 23 PY - 2014/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer science KW - Computer system performance KW - Software engineering KW - Information Systems KW - Computer Science KW - Programming Techniques KW - Software Engineering KW - System Performance and Evaluation KW - Management of Computing and Information Systems KW - Mathematical Logic and Formal Languages N1 - Introduction -- Software Engineering -- Project Management -- Requirements, Design and Development -- Configuration Management -- Software Inspections -- Software Testing -- Supplier Selection and Management -- Software Quality Assurance -- Software Metrics -- ISO 9000 -- Software Process Improvement -- Capability Maturity Model Integration -- Setting up a CMMI Initiative -- SCAMPI Appraisals -- Software Engineering Tools -- Formal Methods -- Z Formal Specification Language -- Unified Modelling Language -- Epilogue N2 - In order to maintain strong levels customer satisfaction and loyalty, software developers face considerable pressure to meet expectations for high-quality software products that are consistently delivered on time.  Introduction to Software Quality describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im­provement are discussed in detail, with a particular focus on the capability maturity model integration (CMMI) framework. Topics and features: Includes review questions at the end of each chapter Covers both theory and practice, in addition to providing guidance on applying the theory in an industrial environment Examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance Provides detailed coverage of software metrics and problem solving Describes SCAMPI appraisals and how they form part of the continuous improvement cycle Presents an introduction to formal methods and the Z specification language, which are important in the safety critical field Discusses UML, which is used to describe the architecture of the system Reviews the history of the field of software quality, highlighting the pioneers who made key contributions to this area This clearly written and easy-to-follow textbook will be invaluable to students of computer science who wish to learn how to build high-quality and reliable software on time and on budget. Software engineers, quality professionals and software managers in industry will also find the book to be a useful tool for self-study UR - http://dx.doi.org/10.1007/978-3-319-06106-1 ER -