Handbook of Software Engineering

  • Sungdeok Cha
  • Richard N. Taylor
  • Kyochul Kang

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Leon J. Osterweil, Volker Gruhn, Nils Schwenzfeier
    Pages 1-49
  3. Amel Bennaceur, Thein Than Tun, Yijun Yu, Bashar Nuseibeh
    Pages 51-92
  4. Richard N. Taylor
    Pages 93-122
  5. Gordon Fraser, José Miguel Rojas
    Pages 123-192
  6. Doron A. Peled
    Pages 193-222
  7. Miryung Kim, Na Meng, Tianyi Zhang
    Pages 223-284
  8. Yann-Gaël Guéhéneuc, Foutse Khomh
    Pages 285-320
  9. Eduardo Santana de Almeida
    Pages 321-348
  10. Anita Sarma
    Pages 375-398
  11. Sam Malek, Hamid Bagheri, Joshua Garcia, Alireza Sadeghi
    Pages 445-489
  12. Eric M. Dashofy
    Pages 491-516
  13. Back Matter
    Pages 517-524

About this book


This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed.

Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.


Empirical Software Engineering Requirements Engineering Software Verification and Validation Software Testing Software Development Process Management Software Product Lines Software Architecture Formal Methods Cloud Computing

Editors and affiliations

  • Sungdeok Cha
    • 1
  • Richard N. Taylor
    • 2
  • Kyochul Kang
    • 3
  1. 1.College of InformaticsKorea UniversitySeoulKorea (Republic of)
  2. 2.University of CaliforniaIrvineUSA
  3. 3.Professor EmeritusPOSTECHPohangKorea (Republic of)

Bibliographic information