新編程序設(shè)計(jì)方法學(xué)

定　價(jià)：￥18.00

作　者：	陳海波，王申康編著
出版社：	浙江大學(xué)出版社
叢編項(xiàng)：	新世紀(jì)高等院校精品教材
標(biāo)　簽：	程序設(shè)計(jì)

購買這本書可以去

ISBN：	9787308036542	出版時(shí)間：	2004-01-01	包裝：	平裝
開本：	26cm	頁數(shù)：	139	字?jǐn)?shù)：

內(nèi)容簡介

　　《新世紀(jì)高等院校精品教材：新編程序設(shè)計(jì)方法學(xué)》系統(tǒng)介紹了程序設(shè)計(jì)方法學(xué)的基本理論，結(jié)構(gòu)化程序設(shè)計(jì)的原理、方法與實(shí)例，模塊化程序設(shè)計(jì)的原理、方法和實(shí)例，面向?qū)ο蟪绦蛟O(shè)計(jì)方法的原理、方法和實(shí)例。《新世紀(jì)高等院校精品教材：新編程序設(shè)計(jì)方法學(xué)》適用于計(jì)算機(jī)本科高年級(jí)學(xué)生、研究生作為教材使用，也可供計(jì)算機(jī)軟件研究和開發(fā)的科研工作者參考。

作者簡介

暫缺《新編程序設(shè)計(jì)方法學(xué)》作者簡介

圖書目錄

第一章程序設(shè)計(jì)方法學(xué)簡介
1.1 程序設(shè)計(jì)方法學(xué)的產(chǎn)生
1.2 程序設(shè)計(jì)方法學(xué)的基本內(nèi)容
第二章程序設(shè)計(jì)方法學(xué)的基本理論
2.1 結(jié)構(gòu)化定理
2.1.1 結(jié)構(gòu)化程序
2.1.2 結(jié)構(gòu)化定理
2.2 程序正確性證明
2.2.1 基本概念
2.2.2 部分正確性證明方法
2.2.3 終止性證明方法
2.3 抽象數(shù)據(jù)類型
2.3.1 基本概念
2.3.2 抽象數(shù)據(jù)類型的代數(shù)規(guī)范
第三章結(jié)構(gòu)化程序設(shè)計(jì)方法學(xué)
3.1 結(jié)構(gòu)化程序設(shè)計(jì)概述
3.2 結(jié)構(gòu)化程序設(shè)計(jì)
3.2.1 逐步求精
3.2.2 不變式程序設(shè)計(jì)
第四章面向?qū)ο蟪绦蛟O(shè)計(jì)方法學(xué)
4.1 面向?qū)ο蟪绦蚋攀?br />4.1.1 面向?qū)ο蠹夹g(shù)的產(chǎn)生與發(fā)展
4.1.2 面向?qū)ο蟪橄蟮脑?br />4.1.3 面向?qū)ο笥?jì)算的模型
4.2 可復(fù)用面向?qū)ο蟪绦蛟O(shè)計(jì)的基本原則
4.2.1 開閉原則（OCP）
4.2.2 里氏代換原則（LSP）
4.2.3 依賴倒轉(zhuǎn)原則（DIP）
4.2.4 迪米特法則（LOD）
4.2.5 單責(zé)任原則（SRP）
4.3 范型程序設(shè)計(jì)
4.3.1 基本概念
4.3.2 迭代子、函數(shù)對(duì)象和容器
4.3.3 實(shí)例
4.4 設(shè)計(jì)模式
4.4.1 基本概念
4.4.2 創(chuàng)建型模式
4.4.3 結(jié)構(gòu)型模式
4.4.4 行為型模式
4.5 面向?qū)ο蟪绦蛟O(shè)計(jì)實(shí)例
參考文獻(xiàn)