Programmiermethodik (E-Book-Download)

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
…