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.

  Autorentext

  Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.

Inhalt

Background

Software Project Management

Requirements Engineering

Software Design and Development

Configuration Management

Software Inspections

Software Testing

Supplier Selection and Management

Software Quality Assurance

Software Metrics and Problem Solving

Software Reliability and Dependability

Formal Methods

Z Formal Specification Language

Unified Modeling Language

Software Process Improvement

Capability Maturity Model Integration

Software Engineering Tools

Agile Methodology

A Miscellany of Innovation

Epilogue