Programming Methodology (e-book download)

Programming Methodology, published by Zhejiang University Press.

Table of contents

Chapter 1 Introduction to Programming Methodology
1.1 The emergence of programming methodology
1.2 Basic content of programming methodology

Chapter 2 Basic Theory of Programming Methodology
2.1 Structural theorem
2.1.1 Structured procedures
2.1.2 Structural theorem
2.2 Proof of program correctness
2.2.1 Basic concepts
2.2.2 Partial correctness proof method
2.2.3 Terminability proof method
2.3 Abstract data types
2.3.1 Basic concepts
2.3.2 Algebraic specification of abstract data types

Chapter 3 Structured Programming Methodology
3.1 Overview of Structured Programming
3.2 Structured Programming
3.2.1 Gradually seek refinement
3.2.2 Invariant Programming

Chapter 4 Object-Oriented Programming Methodology
4.1 Overview of object-oriented programs
4.1.1 The emergence and development of object-oriented technology
4.1.2 Principles of object-oriented abstraction
4.1.3 Model of object-oriented computing
4.2 Basic principles of reusable object-oriented programming
4.2.1 Opening and closing principle (OCP)
4.2.2 Liskov Substitution Principle (LSP)
4.2.3 Dependency Inversion Principle (DIP)
4.2.4 Law of Demeter (LOD)
4.2.5 Single Responsibility Principle (SRP)
4.3 Paradigm Programming
4.3.1 Basic concepts
4.3.2 Iterators, function objects and containers
4.3.3 Examples
4.4 Design Patterns
4.4.1 Basic concepts
4.4.2 Creational Pattern
4.4.3 Structural Pattern
4.4.4 Behavioral patterns
4.5 References for object-oriented programming examples
…