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

Author: (USA) Robert Liskov
Publisher:
Publish Date: 2006-06-01
Features: This book is written by a renowned expert in programming theory and serves as the textbook for the programming practice course in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT). It discusses development methodologies for constructing highly reliable, maintainable, and easily modifiable software, emphasizing the concept of modular software development. Through numerous examples, it guides readers on how to perform modularization and organize various modules effectively to form large-scale software systems. The first eight chapters of the book introduce some highly useful abstract concepts in the field of programming, such as process abstraction, iterative abstraction, and the most important data abstraction. Additionally, the book uses extensive examples to define these data abstractions in informal specifications, 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 content. 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 through the surface to the essence and thereby grasp the key principles of programming. It is highly suitable as a textbook for software engineering programs, cultivating students' abstract thinking abilities from lower grades. Furthermore, it is also an excellent reference for software developers.