Program Development Principles -- Abstraction, Specification, and Object-Oriented Design (English Version)

Author: (USA) Liskov B. et al.
Publisher:
Publish Date: 2006-06-01
Features: This book is written by renowned experts in programming theory and serves as the textbook for the programming practice course at the Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (MIT). It discusses development methodologies for constructing highly reliable, easily maintainable, and quickly modifiable software, emphasizing modular development. With numerous examples, the book guides readers on how to modularize and organize various modules effectively to build large-scale software systems. The first eight chapters introduce some highly useful abstract concepts in programming, such as procedural abstraction, iterative abstraction, and the most important—data abstraction. Additionally, the book uses informal specifications and a wealth of examples to define these data abstractions in detail, describe the tasks modules need to accomplish, and define the performance boundary conditions required for modules. The last seven chapters focus on how to use abstraction to build large-scale software, primarily emphasizing software engineering. Based on type hierarchies, they propose debugging, testing, requirements analysis, top-down, and iterative development processes for data abstraction. The book also briefly introduces the concept of design patterns. This is a book that imparts insights, enabling readers to see beyond the surface and grasp the key principles of programming. It is highly suitable as a textbook for software engineering programs, helping students develop abstract thinking skills from an early stage. Furthermore, it is an excellent reference for software developers.