วิธีการเขียนโปรแกรมจัดพิมพ์โดยสำนักพิมพ์มหาวิทยาลัยเจ้อเจียง
สารบัญ
บทที่ 1 บทนำเกี่ยวกับวิธีการเขียนโปรแกรม
1.1 การเกิดขึ้นของวิธีการเขียนโปรแกรม
1.2 เนื้อหาพื้นฐานของวิธีการเขียนโปรแกรม
บทที่ 2 ทฤษฎีพื้นฐานของวิธีการเขียนโปรแกรม
2.1 ทฤษฎีบทโครงสร้าง
2.1.1 ขั้นตอนที่มีโครงสร้าง
2.1.2 ทฤษฎีบทโครงสร้าง
2.2 หลักฐานความถูกต้องของโปรแกรม
2.2.1 แนวคิดพื้นฐาน
2.2.2 วิธีการพิสูจน์ความถูกต้องบางส่วน
2.2.3 วิธีการพิสูจน์การยุติ
2.3 ประเภทข้อมูลบทคัดย่อ
2.3.1 แนวคิดพื้นฐาน
2.3.2 ข้อกำหนดพีชคณิตของประเภทข้อมูลนามธรรม
บทที่ 3 วิธีการเขียนโปรแกรมเชิงโครงสร้าง
3.1 ภาพรวมของการเขียนโปรแกรมแบบมีโครงสร้าง
3.2 การเขียนโปรแกรมแบบมีโครงสร้าง
3.2.1 ค่อยๆ แสวงหาความประณีต
3.2.2 การเขียนโปรแกรมแบบไม่แปรผัน
บทที่ 4 วิธีการเขียนโปรแกรมเชิงวัตถุ
4.1 ภาพรวมของโปรแกรมเชิงวัตถุ
4.1.1 การเกิดขึ้นและการพัฒนาเทคโนโลยีเชิงวัตถุ
4.1.2 หลักการนามธรรมเชิงวัตถุ
4.1.3 แบบจำลองการคำนวณเชิงวัตถุ
4.2 หลักการพื้นฐานของการเขียนโปรแกรมเชิงวัตถุแบบใช้ซ้ำได้
4.2.1 หลักการเปิดและปิด (OCP)
4.2.2 หลักการทดแทนลิสคอฟ (LSP)
4.2.3 หลักการผกผันการพึ่งพา (DIP)
4.2.4 กฎดีมิเตอร์ (LOD)
4.2.5 หลักการความรับผิดชอบเดียว (SRP)
4.3 การเขียนโปรแกรมกระบวนทัศน์
4.3.1 แนวคิดพื้นฐาน
4.3.2 ตัววนซ้ำ วัตถุฟังก์ชัน และคอนเทนเนอร์
4.3.3 ตัวอย่าง
4.4 รูปแบบการออกแบบ
4.4.1 แนวคิดพื้นฐาน
4.4.2 รูปแบบการสร้างสรรค์
4.4.3 รูปแบบโครงสร้าง
4.4.4 รูปแบบพฤติกรรม
4.5 การอ้างอิงสำหรับตัวอย่างการเขียนโปรแกรมเชิงวัตถุ
-
ขยาย
