瀑布模型是將軟體生存週期的各項活動規定為按固定順序而連線的若干階段工作，形如瀑布流水，最終得到軟體產品。它在2023年由溫斯頓·羅伊斯（winston royce）提出，直到80年代早期，它一直是唯一被廣泛採用的軟體開發模型。
本書中例出了瀑布模型的文件圖，但是鄙人並沒有看得很懂它的用意。
搜尋一些關於瀑布模型的解釋後看到了這樣一句話：」瀑布模型的本質是『一次通過』；它是一種文件驅動模型，在可執行產品交付之前，客戶只能通過文件來了解最終的產品會是什麼樣子。「
這才恍然大悟書中那個8種文件被各個過程生產、修改的含義。由於瀑布模型是線性的，在最終產品產生前，如何產生有用的文件指導開發、銜接兩個階段非常重要。
形式化方法建立在嚴格的數學基礎上，其目標是希望能使系統具有較高的可信度和正確性，並能使系統具有良好的結構，使其易維護，關鍵是能較好地滿足使用者需求。「形式化方法」一詞雖然一直被廣泛地應用，但在不同程度上，因理解不同，使其具有了不同的含義。一般說來，形式化方法是指具有堅實數學基礎的方法，它是數學上的綜合、分析技術的應用，用於開發計算機控制的系統，經常有推理工具的支援，它可提供乙個用於模型設計和分析的乙個嚴格而有效的途徑
構建之法03
在現實社會中，人們為了解決生活中的各種問題，需要借助於軟體。但，每個人的需求都有不同，軟體團隊通過以下幾個步驟來獲取人們的需求 1.獲取和引導需求 軟體團隊需要找到軟體得利益相關者，了解挖掘他們對軟體的需求，引導他們表達出真實需求。同時，需求還可以來自各種管理機構，還可以來自軟體企業本身，也可以來自...
構建之法03
軟體開發是一種集體活動，其中必然面臨各成員間的協調 統一問題。銀行每天都要對各網點進行清算結賬，軟體開發也是一樣的，必須找到一種方法來衡量每天的工作，保證每天的工作能夠有效的持續下去，最終把軟體開發的過程變成一種內在的過程。這種方法就稱為每日構建或是持續整合。每日構建構建的過程是完全自動化的，通過預...
構建之法閱讀筆記03
通過這幾天的閱讀，基本對本書又有了新的認識，讀完這本書是一回事，要想深入的理解又是另一回事。本書第一版出自2014年，當時軟體工程正在中國蓬勃發展，在此書出來之前大學裡的教材有些還是外國書籍的翻譯版本。豆瓣上對此書的介紹是 軟體工程牽涉的範圍很廣,同時也是一般院校的同學反映比較空洞乏味的課程。但是軟...