Metodologi Pemrograman, diterbitkan oleh Zhejiang University Press.
Daftar isi
Bab 1 Pengantar Metodologi Pemrograman 1.1 Munculnya metodologi pemrograman 1.2 Isi dasar metodologi pemrograman
Bab 2 Teori Dasar Metodologi Pemrograman 2.1 Teorema struktural 2.1.1 Prosedur terstruktur 2.1.2 Teorema struktural 2.2 Bukti kebenaran program 2.2.1 Konsep dasar 2.2.2 Metode pembuktian kebenaran sebagian 2.2.3 Metode bukti penghentian 2.3 Tipe data abstrak 2.3.1 Konsep dasar 2.3.2 Spesifikasi aljabar tipe data abstrak
Bab 3 Metodologi Pemrograman Terstruktur 3.1 Ikhtisar Pemrograman Terstruktur 3.2 Pemrograman Terstruktur 3.2.1 Secara bertahap mengupayakan perbaikan 3.2.2 Pemrograman Invarian
Bab 4 Metodologi Pemrograman Berorientasi Objek 4.1 Ikhtisar program berorientasi objek 4.1.1 Muncul dan berkembangnya teknologi berorientasi objek 4.1.2 Prinsip abstraksi berorientasi objek 4.1.3 Model komputasi berorientasi objek 4.2 Prinsip dasar pemrograman berorientasi objek yang dapat digunakan kembali 4.2.1 Prinsip pembukaan dan penutupan (OCP) 4.2.2 Prinsip Substitusi Liskov (LSP) 4.2.3 Prinsip Pembalikan Ketergantungan (DIP) 4.2.4 Hukum Demeter (LOD) 4.2.5 Prinsip Tanggung Jawab Tunggal (SRP) 4.3 Pemrograman Paradigma 4.3.1 Konsep dasar 4.3.2 Iterator, objek fungsi dan kontainer 4.3.3 Contoh 4.4 Pola Desain 4.4.1 Konsep dasar 4.4.2 Pola Penciptaan 4.4.3 Pola Struktural 4.4.4 Pola perilaku 4.5 Referensi contoh pemrograman berorientasi objek …
