《構建之法》教會了我很多東西，不一定是程式設計技巧，而是思考的方式。
形式化方法建立在嚴格的數學基礎上，其目標是希望能使系統具有較高的可信度和正確性，並能使系統具有良好的結構，使其易維護，關鍵是能較好地滿足使用者需求。「形式化方法」一詞雖然一直被廣泛地應用，但在不同程度上，因理解不同，使其具有了不同的含義。一般說來，形式化方法是指具有堅實數學基礎的方法，它是數學上的綜合、分析技術的應用，用於開發計算機控制的系統，經常有推理工具的支援，它可提供乙個用於模型設計和分析的乙個嚴格而有效的途徑。
在對本書的學習中，我學習到了**規範是什麼，怎麼才算是規範的**，**空格要求等相關問題。學習了通過編寫單元測試來進行測試，可以使模組的質量能夠得到穩定的、量化的保證。我通過學習學會了如何測試用例，來保證程式的質量。我還學習了psp相關知識，通過編寫psp**來記錄我在程式的各個模組的開發上消耗的時間。對於團隊合作，我也有了更加清晰的認識。
現在因為網際網路的發展，人們為了解決現實社會和生活中的各種問題，總是會求助於軟體。而為了全面而準確地找到軟體的需求，一般我們按照以下步驟。1.獲取和引導需求；2.分析和定義需求；3.驗證需求；4.在軟體產品的生命週期中管理需求。而在軟體團隊分析軟體需求時還要考慮一些利益相關者，比如，使用者，顧客，市場分析師，監管機構，軟體工程師，我們不可能滿足所有利益相關者的要求，但是我們需要做到讓相關角色在這個階段有機會參與和提出他們的需求和意見。
我們作為未來的軟體工程師，讓我們一起為軟體工程行業的未來而努力吧！
《構建之法》閱讀筆記06
最近我們要開始進行團隊合作，所以重點閱讀了 構建之法 與團隊合作有關的部分。首先團隊合作有很多模式，我們應該確立我們的模式，這樣才能更好的分配任務，並且對團隊的每個成員利益最大化。我覺得我們的團隊更像是交響樂團模式，大家都有各自的有點，但是更要跟隨指揮的節奏，這樣才能把曲目演奏好，同樣的，我們的團隊...
構建之法閱讀筆記06
夢斷 06 程式設計師常依賴一種稱為 媽媽測試 的手段，以對計算機一無所知的父母為假象用例，有時甚至請這類使用者親自體驗。這是現在程式設計師的通病，做出來的軟體或許在計算機上是完美無誤的程式，甚至是最優化做快的演算法，但是使用者的體驗和反饋卻並不是很好，這就要考慮到軟體設計的問題了，良好的軟體設計像...
《構建之法》閱讀筆記06
最近我們要開始進行團隊合作，所以重點閱讀了 構建之法 與團隊合作有關的部分。首先團隊合作有很多模式，我們應該確立我們的模式，這樣才能更好的分配任務，並且對團隊的每個成員利益最大化。我覺得我們的團隊更像是交響樂團模式，大家都有各自的有點，但是更要跟隨指揮的節奏，這樣才能把曲目演奏好，同樣的，我們的團隊...