Programmiermethodik, veröffentlicht von Zhejiang University Press.
Inhaltsverzeichnis
Kapitel 1 Einführung in die Programmiermethodik
1.1 Die Entstehung der Programmiermethodik
1.2 Grundlegende Inhalte der Programmiermethodik
Kapitel 2 Grundlegende Theorie der Programmiermethodik
2.1 Struktursatz
2.1.1 Strukturierte Verfahren
2.1.2 Struktursatz
2.2 Nachweis der Programmkorrektheit
2.2.1 Grundkonzepte
2.2.2 Methode zum teilweisen Korrektheitsnachweis
2.2.3 Terminabilitätsnachweismethode
2.3 Abstrakte Datentypen
2.3.1 Grundkonzepte
2.3.2 Algebraische Spezifikation abstrakter Datentypen
Kapitel 3 Strukturierte Programmiermethodik
3.1 Überblick über strukturierte Programmierung
3.2 Strukturierte Programmierung
3.2.1 Streben Sie nach und nach nach einer Verfeinerung
3.2.2 Invariante Programmierung
Kapitel 4 Objektorientierte Programmiermethodik
4.1 Übersicht über objektorientierte Programme
4.1.1 Die Entstehung und Entwicklung objektorientierter Technologie
4.1.2 Prinzipien der objektorientierten Abstraktion
4.1.3 Modell des objektorientierten Rechnens
4.2 Grundprinzipien der wiederverwendbaren objektorientierten Programmierung
4.2.1 Öffnungs- und Schließprinzip (OCP)
4.2.2 Liskov-Substitutionsprinzip (LSP)
4.2.3 Prinzip der Abhängigkeitsinversion (DIP)
4.2.4 Demetergesetz (LOD)
4.2.5 Single-Responsibility-Prinzip (SRP)
4.3 Paradigmenprogrammierung
4.3.1 Grundkonzepte
4.3.2 Iteratoren, Funktionsobjekte und Container
4.3.3 Beispiele
4.4 Designmuster
4.4.1 Grundkonzepte
4.4.2 Schöpfungsmuster
4.4.3 Strukturmuster
4.4.4 Verhaltensmuster
4.5 Referenzen für objektorientierte Programmierbeispiele
…
Expandieren
