[問題] 這是關於component-level design的一些問題

看板CSSE (電腦科學及軟體工程)作者 (gt)時間18年前 (2007/04/26 22:00), 編輯推噓3(301)
留言4則, 3人參與, 最新討論串1/1
最近自學軟體工程 我看的事 software Engineering:A practition's approach 5/e 中文翻作 軟體工程 -實物專家做法 其中有張投影片 怎麼看都看不懂 不知哪位大哥能解說一下 ps.這邊問這種問題違反板規嗎? 以下為投影片內容 標題: Algorithm design 1.the closest design activity to coding 2.the approach: -review the design description for the component 回顧元件的設計敘述?? 在這的意思是要去了解元件 然在在做演算法的設計嗎? -use stepwise refinement to develop algorithm 使用逐步細分的方式開發演算法(這比較能懂) -use structured programming to implement procedural logic 用結構化的程式設計去實作程序邏輯? 程序邏輯是? 又與structured programming的關係是?? -use 'formal methods' to prove logic 使用正式方法去驗證邏輯??所謂的formal methods是?? 是有某位人物發明這個方法?? 還是說用中規中矩的方式來驗證邏輯~~此處的邏輯又是誰的邏輯呢 演算法的邏輯嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.168.45.89

04/27 09:48, , 1F
不太清楚你不懂的是哪一塊@_@?
04/27 09:48, 1F
※ 編輯: maxe 來自: 218.168.52.80 (04/27 20:24) ※ 編輯: maxe 來自: 218.168.52.80 (04/27 20:25)

04/27 20:25, , 2F
修改過了 麻煩再看看吧
04/27 20:25, 2F

04/28 02:10, , 3F
formal method算是專有名詞 只的是用某些數學方法
04/28 02:10, 3F

04/28 02:11, , 4F
去"證明"某個program 是否滿足某個property
04/28 02:11, 4F
文章代碼(AID): #16CB1oVw (CSSE)
文章代碼(AID): #16CB1oVw (CSSE)