Computer Science

Appropriate for both undergraduate and graduate introductory software engineering courses found in Computer Science and Computer Engineering departments.

This text provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. The authors emphasize, identify, and apply fundamental principles that are applicable throughout the software lifecycle, in contrast to other texts which are based in the lifecycle model of software development. This emphasis enables students to respond to the rapid changes in technology that are common today.

• NEW - Deeper analysis and explanation of object-oriented techniques.

  • Teaches students about this established and widely adopted methodology.

• NEW - Use of Unified Modeling Language (UML).

  • Encourages students to learn about graphical method of description that is widely used for requirements descriptions.

• NEW - Coverage of requirements analysis and software architecture.

  • Teaches students about these two areas that have become better understood and more standard.

• NEW - Revised and updated case studies.

  • Better demonstrate the principles discussed in the text.

• NEW - Model checking—A technique that provides automatic support to the human activity of software verification.

  • Exposes students to this powerful new verification technique.

• NEW - GQM—Used to evaluate software quality and help improve the software process.

  • Enables students to learn about this up-to-date and widely known technique.

• NEW - Coverage of Z.

  • Exposes students to this fairly well-known and established formal specification language.

• Principles and techniques are emphasized rather than specific tools.

  • Students learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier for students.

• Case studies—Including several studies of real-life software engineering projects and their analyses.

  • Demonstrates the integration of different concepts, contrasts different approaches in realistic situations, and exposes students to the diversity of problems faced in industrial practice.

• A variety of exercises—Short exercises interspersed throughout the chapters help students to extend or apply their knowledge; longer end-of-chapter exercises help students integrate the material in each chapter; term-projects provide team exercises for developing a software system.

  • Enables students to apply the principles presented in the text.

• Deeper analysis and explanation of object-oriented techniques.

  • Teaches students about this established and widely adopted methodology.

• Use of Unified Modeling Language (UML).

  • Encourages students to learn about graphical method of description that is widely used for requirements descriptions.

• Coverage of requirements analysis and software architecture.

  • Teaches students about these two areas that have become better understood and more standard.

• Revised and updated case studies.

  • Better demonstrate the principles discussed in the text.

• Model checking—A technique that provides automatic support to the human activity of software verification.

  • Exposes students to this powerful new verification technique.

• GQM—Used to evaluate software quality and help improve the software process.

  • Enables students to learn about this up-to-date and widely known technique.

• Coverage of Z.

  • Exposes students to this fairly well-known and established formal specification language.

1. Software Engineering: A Preview.

Software Engineering -- Introduction (Computer Science)
Software Testing and Verification (Computer Science)
Software Reliability (Computer Science)

Carlo Ghezzi is a professor of computer science at the Politecnico di Milano, where he holds the chair of software engineering. He was named a Fellow of the Association for Computing Machinery in 2000 for his contributions to software engineering research.

Mehdi Jazayeri is a professor of computer science at the Technische Universität Wien, where he holds the chair of distributed systems. He spent many years in software development at several Silicon Valley companies, including 10 years at Hewlett-Packard Laboratories, Palo Alto, CA.

Dino Mandrioli is a professor of computer science at the Politecnico di Milano, where he holds the chair of theoretical computer science. His research interests are centered on the application of formal methods in the practice of software engineering.

The long-awaited second edition of Fundamentals of Software Engineering presents the fundamental principles of software engineering and illustrates the application of those principles in the different phases of software development. It stresses the importance of a rigorous approach to the practice of software engineering. Over 350 exercises are provided to aid in the comprehension of the material. Over 20 in-depth case studies show how to deal with the intricacies of real-world problems.

This second edition maintains the successful structure of the first edition and enhances the contents by adding treatment of recent developments in software engineering.

New coverage to this edition includes:

• More thorough treatment of object orientation
• Greater coverage of software architecture and components
• Introduction to modeling languages Z and UML
• Description and case study of requirements engineering
• New validation techniques, including model checking
• Quality improvement paradigms, including GQM and CMM
• More material on software processes, including the unified process
• Several new case studies on process, requirements, design, organization, and systems engineering
• A comprehensive supplement package, including an Instructor's Resource CD and a Companion Website.

View a Sample Chapter PDF:

• Companion Website - Ghezzi, 2/E
  Ghezzi, Mandrioli & Jazayeri
  © 2002 | Prentice Hall | On-line Supplement | Estimated Availability: 01/28/2003
  ISBN-10: 0130325104 | ISBN-13: 9780130325105
  URL: http://www.prenhall.com/ghezzi
  

• Companion Website - Ghezzi, 2/E
  Ghezzi, Mandrioli & Jazayeri
  © 2002 | Prentice Hall | On-line Supplement | Estimated Availability: 01/28/2003
  ISBN-10: 0130325104 | ISBN-13: 9780130325105
  URL: http://www.prenhall.com/ghezzi
  
  
  

• Companion Website - Ghezzi, 2/E
  Ghezzi, Mandrioli & Jazayeri
  © 2002 | Prentice Hall | On-line Supplement | Estimated Availability: 01/28/2003
  ISBN-10: 0130325104 | ISBN-13: 9780130325105
  URL: http://www.prenhall.com/ghezzi
  

Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students, contact your Pearson Higher Education representative for pricing and ordering information.

Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.