Ø 模塊的功能應是可以預測的，相同輸入得到相同輸出

　　結構化設計方法

　　結構化設計(SD)方法是一種面向數據流的設計方法，它可以與SA方法銜接。

　　結構化設計采用結構圖(SC)來描述程序的結構。其基本成分有模塊、調用和輸入/輸出數據。

　　結構圖：

　　在需求分析階段用SA方法產生了數據流圖(DFD)。面向數據流的設計可以方便的將DFD轉換成程序結構圖。DFD從系統的輸入數據流到系統的輸出數據流的一連串連續變換形成一條信息流。DFD的信息流大體可分為兩種類型：變換流和事務流。與之對應的也存在兩種分析，變換分析和事務分析。變換分析是從變換流型的DFD導出程序結構圖，而事務分析則是從事務流行型的DFD導出程序結構圖。

　　SD方法的具體設計步驟為：

　　Ø 復查并精化數據流圖

　　Ø 確定DFD的信息流類型

　　Ø 根據信息流類型分別將變換流或事務流轉換成程序結構圖

　　Ø 根據軟件設計的原則對程序結構圖作改進

　　結構化程序設計

　　結構化程序(SP)設計采用自頂向下逐步求精的設計方法和單入口單出口的控制結構。

　　結構化程序設計的描述工具主要有圖形描述工具、語言描述工具和表格描述工具。常用的圖形描述工具有程序流程圖、盒圖(NS圖)和問題分析圖(PAD)。典型的語言描述工具是PDL(program design language)。典型的表格描述工具是判定表和判定樹。

　　面向數據結構的Jackson方法也十分常用:

　　Jackson方法是以數據結構為設計基礎，設計目標是得出對程序處理過程的描述，其設計過程是從描繪數據結構的Jackson圖推導出描繪程序結構的Jackson圖。這種方法最適合于詳細設計階段使用。

　　Jackson方法的具體設計步驟為：

　　Ø 分析并確定輸入和輸出的數據的邏輯結構，并用Jackson圖表示

　　Ø 找出輸入數據結構與輸出數據結構間有對應關系的數據單元

　　Ø 從描述數據結構的Jackson圖導出描述程序結構的Jackson圖

　　軟件編碼：

　　根據詳細設計說明書編寫程序，為開發項目選擇程序設計語言需要考慮的因素有應用領域、算法和計算的復雜性、軟件運行環境、用戶需求、數據結構和開發人員的水平。軟件的設計質量與程序設計語言的技術性能無關，但在程序設計轉向程序代碼時，轉化的質量受語言性能的影響。

　　好的程序應該具有模塊化結構，系統應該有較高的模塊獨立性。

　　從應用領域看，COBOL適合商業領域;FORTRAN適合科學計算;PROLOG和LISP適合人工智能領域;SMALLTALK、C++、JAVA是面向對象語言;C是開發系統的程序設計語言;