Concise Guide to Software Engineering: From Fundamentals to Application Methods

Description

This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering; examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality; covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches; explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language; discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier; describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems; includes key learning topics, summaries and review questions in each chapter, together with a useful glossary. This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers, quality professionals, and software managers. Front Matter....Pages i-xxiv Background....Pages 1-25 Software Project Management....Pages 27-46 Requirements Engineering....Pages 47-60 Software Design and Development....Pages 61-74 Configuration Management....Pages 75-86 Software Inspections....Pages 87-104 Software Testing....Pages 105-121 Supplier Selection and Management....Pages 123-130 Software Quality Assurance....Pages 131-138 Software Metrics and Problem-Solving....Pages 139-170 Software Reliability and Dependability....Pages 171-184 Formal Methods....Pages 185-207 Z Formal Specification Language....Pages 209-224 Unified Modelling Language....Pages 225-238 Software Process Improvement....Pages 239-254 Capability Maturity Model Integration....Pages 255-277 Software Engineering Tools....Pages 279-295 Agile Methodology....Pages 297-305 A Miscellany of Innovation....Pages 307-315 Epilogue....Pages 317-320 Back Matter....Pages 321-331