000 04111nam a22005415i 4500
001 978-3-319-06106-1
003 DE-He213
005 20200421111844.0
007 cr nn 008mamaa
008 140522s2014 gw | s |||| 0|eng d
020 _a9783319061061
_9978-3-319-06106-1
024 7 _a10.1007/978-3-319-06106-1
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
100 1 _aO'Regan, Gerard.
_eauthor.
245 1 0 _aIntroduction to Software Quality
_h[electronic resource] /
_cby Gerard O'Regan.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXXVII, 354 p. 124 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aUndergraduate Topics in Computer Science,
_x1863-7310
505 0 _aIntroduction -- 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.
520 _aIn 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.
650 0 _aComputer science.
650 0 _aComputer system failures.
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aMathematical logic.
650 0 _aManagement information systems.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aMathematical Logic and Formal Languages.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319061054
830 0 _aUndergraduate Topics in Computer Science,
_x1863-7310
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-06106-1
912 _aZDB-2-SCS
942 _cEBK
999 _c55737
_d55737