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

[maxe (gt)]

最近自學軟體工程

我看的事 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
推 garywine1201:不太清楚你不懂的是哪一塊＠＿＠？
※ 編輯: maxe            來自: 218.168.52.80        (04/27 20:24)
※ 編輯: maxe            來自: 218.168.52.80        (04/27 20:25)
推 maxe:修改過了 麻煩再看看吧
推 amazng:formal method算是專有名詞  只的是用某些數學方法
→ amazng:去"證明"某個program 是否滿足某個property