軟件開發(fā)問題框架：現(xiàn)實世界問題的結(jié)構(gòu)化分析

譯者序
 前言
 致謝
 第1章  關(guān)注于問題
 1. 1  解決方案之前的問題
 1. 2  計算機和世界
 1. 3  初始的問題焦點
 1. 4  問題不在接口上
 1. 5  描述外部世界的挑戰(zhàn)
 1. 5. 1  計算機的魅力
 1. 5. 2  "系統(tǒng)"的兩個含義
 1. 5. 3  "模型"的兩個含義
 1. 6  無縫開發(fā)
 1. 7  一些解決方案
 1. 8  本書的范圍
 第2章  定位問題并確定問題的邊界
 2. 1  上下文圖
 2. 1. 1  物理領域
 2. 1. 2  共享現(xiàn)象的接口
 2. 2  上下文圖確定問題的邊界
 2. 2. 1  數(shù)據(jù)庫領域
 2. 2. 2  醫(yī)生以及周期和范圍領域
 2. 2. 3  ICU病人領域
 2. 3  真實的問題
 2. 3. 1  客戶
 2. 3. 2  進入外部世界要多遠
 2. 4  領域接口
 2. 4. 1  共享現(xiàn)象是抽象的
 2. 4. 2  連接領域
 2. 4. 3  忽略連接領域
 2. 4. 4  當連接領域不能忽略時
 2. 5  處理較大的上下文
 2. 6  機器領域
 2. 6. 1  什么處于機器中
 2. 6. 2  當機器是問題領域時
 第3章  問題和子問題
 3. 1  問題圖
 3. 1. 1  一個簡單的問題圖
 3. 1. 2  另一個簡單的例子
 3. 1. 3  簡單問題
 3. 1. 4  問題分析和問題圖
 3. 2  現(xiàn)實的問題
 3. 2. 1  分解
 3. 2. 2  問題結(jié)構(gòu)化
 3. 3  子問題示例
 3. 3. 1  供暖顯示
 3. 3. 2  輸入周期和范圍
 3. 3. 3  會員報表
 3. 3. 4  火爐操作
 第4章  基本問題類和框架
 4. 1  問題類
 4. 1. 1  問題框架
 4. 1. 2  五種基本框架
 4. 1. 3  問題框架如何互不相同
 4. 2  關(guān)于現(xiàn)象和領域
 4. 2. 1  個體
 4. 2. 2  關(guān)系
 4. 2. 3  因果現(xiàn)象和符號現(xiàn)象
 4. 2. 4  領域類型
 4. 3  問題框架
 4. 3. 1  需求式行為框架
 4. 3. 2  命令式行為框架
 4. 3. 3  信息顯示框架
 4. 3. 4  簡單工件框架
 4. 3. 5  變換框架
 4. 3. 6  變換限制
 第5章  框架關(guān)注點和開發(fā)描述
 5. 1  框架關(guān)注點
 5. 2  需求式行為框架關(guān)注點
 5. 2. 1  框架關(guān)注點
 5. 2. 2  三個描述
 5. 2. 3  為什么一個描述不夠
 5. 3  命令式行為框架關(guān)注點
 5. 3. 1  違抗
 5. 3. 2  框架關(guān)注點
 5. 3. 3  合理的命令需求
 5. 3. 4  可行的命令需求
 5. 3. 5  門和馬達領域特性
 5. 3. 6  機器規(guī)格說明
 5. 4  信息顯示框架關(guān)注點
 5. 4. 1  框架關(guān)注點
 5. 4. 2  車輛和感應器領域特性
 5. 5  簡單工件框架關(guān)注點
 5. 5. 1  框架關(guān)注點
 5. 5. 2  晚會規(guī)劃領域描述
 5. 5. 3  用戶命令
 5. 5. 4  需求
 5. 5. 5  晚會規(guī)劃編輯規(guī)格說明
 5. 6  變換框架關(guān)注點
 5. 6. 1  輸入領域特性
 5. 6. 2  輸出領域特性
 5. 6. 3  需求
 5. 6. 4  遍歷
 5. 6. 5  框架關(guān)注點
 5. 6. 6  變換機器的效率
 5. 7  兩點注釋
 5. 7. 1  問題框架和開發(fā)方法
 5. 7. 2  框架失配
 第6章  框架風格和開發(fā)描述
 6. 1  框架和風格
 6. 1. 1  領域描述的范圍
 6. 1. 2  領域風格
 6. 2  靜態(tài)風格
 6. 2. 1  物理的靜態(tài)領域
 6. 2. 2  結(jié)構(gòu)化風格
 6. 3  動態(tài)風格
 6. 3. 1  動態(tài)領域的寬容性
 6. 3. 2  抑制
 6. 3. 3  離散現(xiàn)象和連續(xù)現(xiàn)象
 6. 4  控制風格
 6. 4. 1  行為狀態(tài)
 6. 4. 2  行為領域特征
 6. 5  非形式化的風格
 6. 5. 1  拘泥于形式的假設
 6. 5. 2  指代
 6. 5. 3  定義更方便的術(shù)語
 6. 6  概念風格
 6. 6. 1  概念作為實體
 6. 6. 2  實體和需求進程
 6. 6. 3  標記進程
 第7章  模型領域和現(xiàn)實世界
 7. 1  信息問題
 7. 2  第一個例子
 7. 2. 1  問題
 7. 2. 2  從變量到模型
 7. 2. 3  關(guān)于作為模型
 7. 2. 4  更多的變量
 7. 3  引入一個模型領域
 7. 3. 1  模型和現(xiàn)實世界
 7. 3. 2  現(xiàn)實世界領域特性
 7. 3. 3  設計模型
 7. 3. 4  維護和使用模型
 7. 4  另一個模型例子
 7. 4. 1  問題
 7. 4. 2  一個不帶模型的版本
 7. 4. 3  一個更難的版本
 7. 4. 4  一個樸素的線路模型
 7. 4. 5  一個更實際的模型
 7. 5  模型中的控制和定義
 7. 5. 1  C3引起C1
 7. 5. 2  C3根據(jù)C1來定義
 7. 5. 3  C1引起C3
 7. 6  一些模型關(guān)注點
 第8章  變體框架
 8. 1  框架和變體
 8. 2  描述變體
 8. 2. 1  問題圖
 8. 2. 2  描述領域
 8. 2. 3  變換問題描述變體
 8. 2. 4  信息問題描述變體
 8. 3  操作者變體
 8. 3. 1  信息問題操作者變體
 8. 3. 2  命令式信息需求
 8. 3. 3  組合基本框架和變體框架
 8. 3. 4  修改默認行為
 8. 3. 5  重載默認行為
 8. 4  連接變體
 8. 4. 1  帶連接領域的需求式行為框架
 8. 4. 2  因果遠程領域
 8. 4. 3  領域特性描述
 8. 4. 4  組合變體
 8. 4. 5  可叫牌遠程領域和連接領域
 8. 4. 6  作為連接領域的文檔
 8. 5  控制變體
 8. 5. 1  一個變換問題
 8. 5. 2  其他控制變體
 第9章  特定的關(guān)注點
 9. 1  框架關(guān)注點及其他
 9. 2  溢出關(guān)注點
 9. 2. 1  當機器太快了
 9. 2. 2  針對溢出的策略
 9. 3  初始化關(guān)注點
 9. 3. 1  機器和外部世界的初始化
 9. 3. 2  初始化和描述的跨度
 9. 3. 3  操作指令和領域描述
 9. 3. 4  通過機器的初始化
 9. 3. 5  信息問題中的初始化
 9. 4  可靠性關(guān)注點
 9. 4. 1  評估可靠性關(guān)注點
 9. 4. 2  分離可靠性關(guān)注點
 9. 4. 3  通過分解解決可靠性
 9. 4. 4  信息問題中的可靠性
 9. 4. 5  診斷的困難
 9. 5  身份關(guān)注點
 9. 5. 1  身份關(guān)注點中的接口
 9. 5. 2  一個身份模型
 9. 5. 3  模型創(chuàng)建和維護
 9. 6  完整性關(guān)注點
 9. 6. 1  一種形式的完整性
 9. 6. 2  描述的跨度
 9. 6. 3  兩個啟發(fā)式
 9. 6. 4  避免死鎖
 9. 6. 5  一般的觀察
 第10章  再論分解
 10. 1  引言
 10. 2  包路由器問題1
 10. 2. 1  一個簡單的分解
 10. 2. 2  框架關(guān)注點
 10. 3  包路由器問題2
 10. 3. 1  靜態(tài)模型中的預計算
 10. 3. 2  身份關(guān)注點
 10. 3. 3  一些可能的自動機
 10. 3. 4  可靠性
 10. 3. 5  初始化
 10. 3. 6  完整性
 10. 4  分解啟發(fā)式
 10. 4. 1  簡單的啟發(fā)式
 10. 4. 2  不同的節(jié)奏
 10. 4. 3  多于兩種語氣
 10. 4. 4  復雜領域或需求
 10. 4. 5  為用戶或操作者建模
 第11章  組合框架
 11. 1  引言
 11. 2  組合問題
 11. 2. 1  公共領域
 11. 2. 2  一個非交互的組合
 11. 2. 3  共享顯示領域
 11. 2. 4  命令式行為和需求式行為
 11. 2. 5  創(chuàng)建和使用詞法領域
 11. 3  組合關(guān)注點
 11. 3. 1  可通約的描述
 11. 3. 2  一致性
 11. 3. 3  優(yōu)先級
 11. 3. 4  干擾
 11. 3. 5  同步
 第12章  增長式軟件開發(fā)
 12. 1  軟件開發(fā)的不成熟性
 12. 1. 1  軟件質(zhì)量
 12. 1. 2  靈丹妙藥綜合癥
 12. 1. 3  成熟和熟練
 12. 2  開發(fā)失敗的風險
 12. 3  淺層需求
 12. 4  非功能需求
 12. 5  外行的做法
 12. 6  陷入復雜性中
 12. 7  集中注意力
 12. 8  合理看待問題框架
 12. 8. 1  不是靈丹妙藥
 12. 8. 2  尋找更多的框架
 12. 8. 3  從經(jīng)驗中學習
 附錄  表示法
 術(shù)語表
 參考文獻